Supervisory control of discrete event systems with distinguishers
From MaRDI portal
Publication:889009
DOI10.1016/J.AUTOMATICA.2015.03.025zbMath1323.93049OpenAlexW2052063212MaRDI QIDQ889009
Gustavo Bouzon, José E. R. Cury, Max H. de Queiroz, Marcelo C. M. Teixeira
Publication date: 5 November 2015
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2015.03.025
System identification (93B30) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items (4)
Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems ⋮ Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction ⋮ Composite supervisory control for symmetric discrete-event systems ⋮ Optimal modular control of discrete event systems with distinguishers and approximations
Uses Software
Cites Work
- Approximating the minimal sensor selection for supervisory control
- On observability of discrete-event systems
- A general architecture for decentralized supervisory control of discrete-event systems
- Hierarchical control of discrete-event systems
- Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
- Introduction to Discrete Event Systems
- Compositional Verification in Supervisory Control
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Think globally, act locally: decentralized supervisory control
- Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
- Supervisory Control Architecture for Discrete-Event Systems
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Verification of Nonconflict of Supervisors Using Abstractions
- Decentralized control and coordination of discrete-event systems with partial observation
- On the consistency of hierarchical supervision in discrete-event systems
- NP-completeness of sensor selection problems arising in partially observed discrete-event systems
- Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking
- Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems
This page was built for publication: Supervisory control of discrete event systems with distinguishers
