Modular diagnosability of Discrete Event Systems Synchronized by Observable or Unobservable Events
João Carlos Basilio, Armand Toguyéni · IFAC-PapersOnLine · 2023
Discrete Event Systems often have a modular architecture. Modularity is indeed an engineering method that allows to split a problem into sub-systems and to favor the reuse of modeling primitives. To take into account this modularity the notion of modular diagnosability arose. However, all of the existing works rely on a strong assumption, namely the observability of the events common to the modules. This work aims at relaxing this assumption and thus at proposing a broader framework for the application of modular diagnosability to systems characterized by regular languages.