Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
From MaRDI portal
Publication:2503503
DOI10.1016/S0167-6911(02)00322-5zbMath1157.93444OpenAlexW1972357705MaRDI QIDQ2503503
Toshimitsu Ushio, Shigemasa Takai
Publication date: 21 September 2006
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6911(02)00322-5
Related Items (12)
A new class of supervisors for timed discrete event systems under partial observation ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ Supervisor localization of discrete-event systems under partial observation ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Supervisory control of state-tree structures with partial observation ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ On computation of supremal controllable, normal sublanguages ⋮ Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems ⋮ Supervisory Control with Partial Observations ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction
Uses Software
Cites Work
- Unnamed Item
- On observability of discrete-event systems
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Modular supervisory control of discrete-event systems
- On-line control of partially observed discrete event systems
- Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Online supervisor synthesis for partially observed discrete-event systems
- Optimal Supervisory Control of Discrete Event Dynamical Systems
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
This page was built for publication: Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
