On the computation of observers in discrete-event systems
From MaRDI portal
Publication:1424973
DOI10.1023/B:DISC.0000005010.55515.27zbMath1035.93049MaRDI QIDQ1424973
Publication date: 15 March 2004
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items (15)
Hierarchical fault diagnosis for discrete-event systems under global consistency ⋮ Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ System theory for system identification. ⋮ Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation ⋮ On the complexity of synthesizing a minimum-weighted supervisor under partial observation ⋮ Distributed supervisory control of discrete-event systems with communication delay ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ Nonblocking check in fuzzy discrete event systems based on observation equivalence ⋮ Nonconflict check by using sequential automaton abstractions based on weak observation equivalence ⋮ Generalised projections in finite state automata and decidability of state determinacy ⋮ On the computation of natural observers in discrete-event systems ⋮ Compositional coordinator synthesis of extended finite automata ⋮ A language measure for partially observed discrete event systems ⋮ Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
This page was built for publication: On the computation of observers in discrete-event systems
