Supervisory control of discrete event systems with distinguishers

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

zbMATH Keywords

supervisory controlapproximationsdiscrete event systemsdistinguishers

Mathematics Subject Classification ID

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

• UMDES
• Supremica

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