Decentralized control of infinite systems
From MaRDI portal
Publication:645050
DOI10.1007/s10626-011-0106-yzbMath1226.93013OpenAlexW2011515819MaRDI QIDQ645050
Tristan Le Gall, Hervé Marchand, Thierry Massart, Gabriel Kalyon
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
abstract interpretationpartial observationsymbolic transition systemscontroller synthesis of modular systemsdecentralized controller synthesis
Related Items (2)
Overview of networked supervisory control with imperfect communication channels ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay
Uses Software
Cites Work
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach
- Modular supervisory control of discrete-event systems
- Decentralized state feedback control of discrete event systems
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
- A general architecture for decentralized supervisory control of discrete-event systems
- A lattice-theoretical fixpoint theorem and its applications
- Introduction to Discrete Event Systems
- Supervisory control of concurrent discrete-event systems
- Think globally, act locally: decentralized supervisory control
- Characterization of all M-controllable subpredicates of a given predicate
- M -controllable subpredicates arising in state feed back 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
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Decentralized control of infinite systems
