Games for synthesis of controllers with partial observation
Top Cited Papers
- 1 June 2003
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 303 (1) , 7-34
- https://doi.org/10.1016/s0304-3975(02)00442-5
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Undecidable problems of decentralized observation and controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Effective control synthesis for DES under partial observationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- μ-Calculus SynthesisPublished by Springer Nature ,2000
- A Discrete Strategy Improvement Algorithm for Solving Parity GamesPublished by Springer Nature ,2000
- Fast and simple nested fixpointsInformation Processing Letters, 1996
- Diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 1995
- Think globally, act locally: decentralized supervisory controlIEEE Transactions on Automatic Control, 1992
- The control of discrete event systemsProceedings of the IEEE, 1989
- State-strategies for games in Fσδ ∩ GδσThe Journal of Symbolic Logic, 1983
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982