English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

This paper deals with the problem of enforcing modular diagnosability fordiscrete-event systems that don't satisfy this property by their naturalmodularity. We introduce an approach to achieve this property combiningexisting modules into new virtual modules. An underlining mathematical problemis to find a partition of a set, such that the partition satisfies the requiredproperty. The time complexity of such problem is very high. To overcome it, thepaper introduces a structural analysis of the system's modules. In the analysiswe focus on the case when the modules participate in diagnosis with theirobservations, rather then the case when indistinguishable observations areblocked due to concurrency.

Virtual Modules in Discrete-Event Systems: Achieving Modular Diagnosability