Distributed computation of supremal conditionally controllable sublanguages
From MaRDI portal
Recommendations
- Coordination control of discrete-event systems revisited
- On computation of supremal controllable, normal sublanguages
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Supervisory control synthesis of discrete-event systems using a coordination scheme
Cites work
- Coordination control of discrete-event systems revisited
- scientific article; zbMATH DE number 3959244 (Why is no real title available?)
- Introduction to Discrete Event Systems
- On conditional decomposability
- On nonconflicting languages that arise in supervisory control of discrete event systems
- PSPACE-completeness of modular supervisory control problems
- Supervisory control of modular systems with global specification languages
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- Verification of Nonconflict of Supervisors Using Abstractions
Cited in
(6)- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- On conditional decomposability
- Coordination control of discrete-event systems revisited
- On computation of supremal controllable, normal sublanguages
- On the language generated under fully decentralized supervision
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
This page was built for publication: Distributed computation of supremal conditionally controllable sublanguages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2792732)
