Progressive events in supervisory control and compositional verification
From MaRDI portal
Publication:5257781
DOI10.1007/s11768-014-4097-8zbMath1324.93095MaRDI QIDQ5257781
Publication date: 29 June 2015
Published in: Control Theory and Technology (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/10289/9358
93B51: Design techniques (robust design, computer-aided design, etc.)
93A13: Hierarchical systems
93C65: Discrete event control/observation systems
Related Items
Progressive events in supervisory control and compositional verification, Optimal modular control of discrete event systems with distinguishers and approximations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Multitasking supervisory control of discrete-event systems
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
- Supervisor reduction for discrete-event systems
- A hierarchical and modular control architecture for sequential behaviours
- A lattice-theoretical fixpoint theorem and its applications
- Introduction to Discrete Event Systems
- Compositional Verification in Supervisory Control
- Design of nonblocking modular supervisors using event priority functions
- Verification of Nonconflict of Supervisors Using Abstractions
- Progressive events in supervisory control and compositional verification
- Hierarchical interface-based supervisory Control-part I: serial case
- Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
- CONFLICTS AND FAIR TESTING