On the computation of observers in discrete-event systems

DOI10.1023/B:DISC.0000005010.55515.27zbMATH Open1035.93049MaRDI QIDQ1424973FDOQ1424973

Authors: D. Massart 

Publication date: 15 March 2004

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Recommendations

• On the computation of natural observers in discrete-event systems
• Computing observers from observation policies in discrete-event systems
• Observability of discrete event dynamic systems
• Hierarchical control of discrete-event systems
• scientific article; zbMATH DE number 4102885

zbMATH Keywords

discrete-event systemsobserverscausal reporter mapsnatural projections

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07) Discrete event control/observation systems (93C65)

Cited In (18)

• Using subobservers to synthesize opacity-enforcing supervisors
• A language measure for partially observed discrete event systems
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
• Overview of networked supervisory control with imperfect communication channels
• Hierarchical fault diagnosis for discrete-event systems under global consistency
• System theory for system identification.
• Computing observers from observation policies in discrete-event systems
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
• Stabilizing observers
• On the computation of natural observers in discrete-event systems
• On the complexity of synthesizing a minimum-weighted supervisor under partial observation
• Compositional coordinator synthesis of extended finite automata
• Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
• Generalised projections in finite state automata and decidability of state determinacy
• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
• 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

This page was built for publication: On the computation of observers in discrete-event systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1424973)