Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
DOI10.1016/J.AUTOMATICA.2012.04.004zbMATH Open1246.93004OpenAlexW2098092309MaRDI QIDQ445939FDOQ445939
Authors: Rong Su, Jan H. van Schuppen, 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
Recommendations
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Coordination control of discrete-event systems revisited
- Coordination control of distributed discrete-event systems
- scientific article; zbMATH DE number 1086786
discrete-event systemsautomaton abstractioncoordinated distributed supervisory controlmaximal permissivenessnon-deterministic finite-state automata
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Cites Work
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
- Supervisory Control of a Class of Discrete Event Processes
- Decentralized supervisory control of discrete-event systems
- Structural decentralised control of concurrent discrete-event systems
- Hierarchical control of discrete-event systems
- Supervisory control of concurrent discrete-event systems
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Supervisory Control Architecture for Discrete-Event Systems
- 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
- An implementation of an efficient algorithm for bisimulation equivalence
- Undecidable problems of decentralized observation and control on regular languages
- Supervisory control of modular systems with global specification languages
- Title not available (Why is that?)
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
Cited In (16)
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Maximally permissive controlled system synthesis for modal logic
- An efficient simulation procedure for the expected opportunity cost using metamodels
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Supervisor localisation for large-scale discrete-event systems under partial observation
- What information really matters in supervisor reduction?
- New results on supervisor localization, with case studies
- Coordination control of discrete-event systems revisited
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- Modular supervisory control for multi-floor manufacturing processes
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
Uses Software
This page was built for publication: Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q445939)
