Decentralized control of infinite systems
From MaRDI portal
Recommendations
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- Games for synthesis of controllers with partial observation.
- Symbolic models for infinite networks of control systems: a compositional approach
- Decentralized state feedback control of discrete event systems
- Decentralized supervisory control with communicating controllers
Cites work
- A general architecture for decentralized supervisory control of discrete-event systems
- A lattice-theoretical fixpoint theorem and its applications
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach
- Characterization of all M-controllable subpredicates of a given predicate
- Decentralized state feedback control of discrete event systems
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
- Introduction to Discrete Event Systems
- M -controllable subpredicates arising in state feed back control of discrete event systems
- Modular supervisory control of discrete-event systems
- On the language generated under fully decentralized supervision
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Supervisory control of concurrent discrete-event systems
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- Think globally, act locally: decentralized supervisory control
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(3)
This page was built for publication: Decentralized control of infinite systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645050)
