Decentralized control of infinite systems
DOI10.1007/S10626-011-0106-YzbMATH Open1226.93013OpenAlexW2011515819MaRDI QIDQ645050FDOQ645050
Authors: Gabriel Kalyon, Tristan Le Gall, H. Marchand, Thierry Massart 
Publication date: 8 November 2011
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00594665/file/JDES-decentralized-modular.pdf
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
abstract interpretationpartial observationsymbolic transition systemscontroller synthesis of modular systemsdecentralized controller synthesis
Cites Work
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- A lattice-theoretical fixpoint theorem and its applications
- Introduction to Discrete Event Systems
- Modular supervisory control of discrete-event systems
- A general architecture for decentralized supervisory control of discrete-event systems
- Supervisory control of concurrent discrete-event systems
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
- Think globally, act locally: decentralized supervisory control
- Characterization of all M-controllable subpredicates of a given predicate
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Decentralized state feedback control of discrete event systems
- M -controllable subpredicates arising in state feed back control of discrete event systems
- On the language generated under fully decentralized supervision
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach
Cited In (3)
Uses Software
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)
