On the computation of natural observers in discrete-event systems

DOI10.1007/s10626-008-0054-3zbMath1195.93081OpenAlexW2097523314MaRDI QIDQ5962024

Lei Feng, W. Murray Wonham

Publication date: 16 September 2010

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

Full work available at URL: https://doi.org/10.1007/s10626-008-0054-3

zbMATH Keywords

observerdiscrete-event systemsmodel abstractionnatural projection

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (18)

Coordination Control of Distributed Discrete-Event Systems ⋮ Synthesis of covert actuator and sensor attackers ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Natural projection as partial model checking ⋮ On a structural property in the state complexity of projected regular languages ⋮ Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation ⋮ Synthesis of covert actuator attackers for free ⋮ Distributed supervisory control of discrete-event systems with communication delay ⋮ Abstraction-based failure diagnosis for discrete event systems ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ State Complexity of Projected Languages ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Coordination control of discrete-event systems revisited ⋮ Computation of supervisors for reconfigurable machine tools ⋮ Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximating the minimal sensor selection for supervisory control
• An implementation of an efficient algorithm for bisimulation equivalence
• Design and implementation of a Petri net based supervisor for a flexible manufacturing system
• Modular control and coordination of discrete-event systems
• On the computation of observers in discrete-event systems
• Decentralized supervisory control of discrete-event systems
• Hierarchical control of discrete-event systems
• Nonblocking supervisory control of state tree structures.
• Supervisory Control Architecture for Discrete-Event Systems
• On the consistency of hierarchical supervision in discrete-event systems
• Optimal sensor selection for discrete-event systems with partial observation
• NP-completeness of sensor selection problems arising in partially observed discrete-event systems
• Dynamical consistency in hierarchical supervisory control
• Hierarchical interface-based supervisory Control-part I: serial case
• Hierarchical interface-based supervisory control-part II: parallel case
• Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems

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