Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems

DOI10.1016/j.automatica.2012.04.004zbMath1246.93004OpenAlexW2098092309MaRDI QIDQ445939

Jan H. van Schuppen, Rong Su, Jacobus E. Rooda

Publication date: 27 August 2012

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2012.04.004

zbMATH Keywords

discrete-event systemsautomaton abstractioncoordinated distributed supervisory controlmaximal permissivenessnon-deterministic finite-state automata

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Related Items (11)

What information really matters in supervisor reduction? ⋮ Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates ⋮ An efficient simulation procedure for the expected opportunity cost using metamodels ⋮ Modular supervisory control for multi-floor manufacturing processes ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ Supervisor localisation for large-scale discrete-event systems under partial observation ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Coordination control of discrete-event systems revisited ⋮ New results on supervisor localization, with case studies

Uses Software

• UMDES

Cites Work

• Unnamed Item
• An implementation of an efficient algorithm for bisimulation equivalence
• Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
• Decentralized supervisory control of discrete-event systems
• Undecidable problems of decentralized observation and control on regular languages
• Supervisory control of modular systems with global specification languages
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Structural decentralised control of concurrent discrete-event systems
• Hierarchical control of discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of concurrent discrete-event systems
• Supervisory Control Architecture for Discrete-Event Systems
• Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
• Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
• Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
• Hierarchical interface-based supervisory control-part II: parallel case
• Nonblocking Supervisory Control of State Tree Structures
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution

This page was built for publication: Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems