Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
From MaRDI portal
Publication:434470
DOI10.1007/s10626-011-0101-3zbMath1242.93074OpenAlexW2045602111MaRDI QIDQ434470
Tristan Le Gall, Thierry Massart, Gabriel Kalyon, Hervé Marchand
Publication date: 10 July 2012
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://dipot.ulb.ac.be/dspace/bitstream/2013/133310/1/KLMM10b.pdf
Feedback control (93B52) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items
BOCoSy: Small but Powerful Symbolic Output-Feedback Control, Decentralized control of infinite systems, SMACS
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Formulas for calculating supremal controllable and normal sublanguages
- The complexity of two-player games of incomplete information
- Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
- Solvability of centralized supervisory control under partial observation
- On observability of discrete-event systems
- Modular supervisory control of discrete-event systems
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
- A first step towards adaptive control for linear systems in max algebra
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- A lattice-theoretical fixpoint theorem and its applications
- Supervisory control of a rapid thermal multiprocessor
- Introduction to Discrete Event Systems
- Effective Control Synthesis for Partially Observed Discrete-Event Systems
- Graph-Based Algorithms for Boolean Function Manipulation
- Characterization of all M-controllable subpredicates of a given predicate
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Algorithms for Omega-Regular Games with Imperfect Information
- Tools and Algorithms for the Construction and Analysis of Systems
- Hybrid Systems: Computation and Control
- Modular Feedback Logic for Discrete Event Systems
