Distributed Controller Synthesis for Local Specifications
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 396-407
- https://doi.org/10.1007/3-540-48224-5_33
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Distributed reactive systems are hard to synthesizePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Alternating-time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Control of Synchronous SystemsPublished by Springer Nature ,2000
- Church's Problem RevisitedBulletin of Symbolic Logic, 1999
- Controllers for discrete event systems via morphismsPublished by Springer Nature ,1998
- Module checkingPublished by Springer Nature ,1996
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and SafraTheoretical Computer Science, 1995
- On the synthesis of a reactive modulePublished by Association for Computing Machinery (ACM) ,1989
- Multiple-person alternationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Solving Sequential Conditions by Finite-State StrategiesTransactions of the American Mathematical Society, 1969