Progressive events in supervisory control and compositional verification

DOI10.1007/s11768-014-4097-8zbMath1324.93095MaRDI QIDQ5257781

Robi Malik, Simon Ware

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

zbMATH Keywords

supervisory control; controller constraints and structure; model validation in design methods

Mathematics Subject Classification ID

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

• UMDES

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