Supervisory control synthesis of discrete-event systems using a coordination scheme
From MaRDI portal
Publication:1941245
DOI10.1016/j.automatica.2011.07.008zbMath1260.93112arXiv1007.2707OpenAlexW1585701699MaRDI QIDQ1941245
Tomáš Masopust, Jan Komenda, Jan H. van Schuppen
Publication date: 12 March 2013
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.2707
Controllability (93B05) Feedback control (93B52) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Applications of graph theory to circuits and networks (94C15)
Related Items (15)
State complexity of projection on languages recognized by permutation automata and commuting letters ⋮ On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ On conditional decomposability ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Supervisory control of state-tree structures with partial observation ⋮ On a structural property in the state complexity of projected regular languages ⋮ A switched multicontroller for an SEIADR epidemic model with monitored equilibrium points and supervised transients and vaccination costs ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ Distributed computation of supremal conditionally controllable sublanguages ⋮ State Complexity of Projected Languages ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures ⋮ Coordination control of discrete-event systems revisited
Uses Software
Cites Work
- Unnamed Item
- Formulas for calculating supremal controllable and normal sublanguages
- On controllability and normality of discrete event dynamical systems
- A general architecture for decentralized supervisory control of discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Supervisory control of modular systems with global specification languages
- Supervisory control of product and hierarchical discrete event systems
- Hierarchical control of discrete-event systems
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Modular Control of Discrete-Event Systems With Coalgebra
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Synthesis Method for Hierarchical Interface-Based Supervisory Control
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
- On the computation of natural observers in discrete-event systems
This page was built for publication: Supervisory control synthesis of discrete-event systems using a coordination scheme
