Progressive events in supervisory control and compositional verification

DOI10.1007/S11768-014-4097-8zbMath1324.93095OpenAlexW1968747967MaRDI 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 controlcontroller constraints and structuremodel validation in design methods

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Related Items (2)

Optimal modular control of discrete event systems with distinguishers and approximations ⋮ Progressive events in supervisory control and compositional verification

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

This page was built for publication: Progressive events in supervisory control and compositional verification