Distributed games and distributed control for asynchronous systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2976, Issue , 2004, Pages 455-465

  Gastin, Paul ^a   Lerman, Benjamin ^a   Zeitoun, Marc ^a  

^a UNIVERSITÉ PARIS DIDEROT   (France)

Author keywords

Distributed control; Distributed game; Distributed strategy

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONOUS SYSTEM; ASYNCHRONOUS TRANSITION SYSTEM; DISTRIBUTED CONTROL; DISTRIBUTED CONTROLLER; DISTRIBUTED GAMES; DISTRIBUTED STRATEGIES; MEMORYLESS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 33746213434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24698-5_49     Document Type: Article

References (14)

1. R. Cori, Y. Métivier, and W. Zielonka. Asynchronous mappings and asynchronous cellular automata. Inform, and Comput, 106:159-202, 1993.
2. V. Diekert and Y. Métivier. Handbook of Formal languages, volume 3, chapter Partial Commutations and Traces, pages 457-533. Springer, 1997.
3. V. Diekert and G. Rozenberg, editors. The Book of Traces. World Scientific, 1995.
4. O. Kupferman and M. Y. Vardi. Synthesizing distributed systems. In Proc. of the LICS '01. Computer Society Press, 2001.
5. P. Madhusudan and P. S. Thiagarajan. Distributed controller synthesis for local specifications. In Proc. of the ICALP '01, volume 2076 of Lect. Notes Comp. Sci., pages 396-407. Springer, 2001.
6. P. Madhusudan and P. S. Thiagarajan. A decidable class of asynchronous distributed controllers. In Proc. of the CONCUR '02, volume 2421 of Lect. Notes Comp. Sci., pages 145-160. Springer, 2002.
7. S. Mohalik and I. Walukiewicz. Distributed games. In FSTTCS '03, Lect. Notes Comp. Sci. Springer, 2003.
8. J. Pin and D. Perrin. Infinite words. Automata, Semigroups, Logic and Games. Elsevier, To appear.
9. A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthetize. In Proc. of the 31th IEEE Symp. FOCS, pages 746-757, 1990.
10. P. Ramadge and W. Wonham. The control of discrete event systems. In Proceedings of the IEEE, volume 77, pages 81-98, 1989.
11. W. Thomas. Infinite games and verification. In Proc. of CAV'02, volume 2404 of Lect. Notes Comp. Sci., pages 58-64. Springer, 2002.
12. J. Vöge and M. Jurdziński. A discrete strategy improvement algorithm for solving parity games. In Proc. of CAV'00, volume 1855 of Lect. Notes Comp. Sci., pages 202-215. Springer, 2000.
13. W. Zielonka. Asynchronous automata. In G. Rozenberg and V. Diekert, editors, Book of Traces, pages 175-217. World Scientific, Singapore, 1995.
14. W. Zielonka. Infinite games on finitely coloured graphs with applications to automata on infinite trees. Theoretical Computer Science, 200(1-2):135-183, 1998.