Control and synthesis, from a distributed
perspective
Anca Muscholl (LaBRI, Univ. of Bordeaux)
Lecture material
Reading material
- W. Thomas,
Languages, automata, and logic, Handbook of formal languages,
vol. 3, 1997.
- W. Thomas,
The synthesis of strategies in infinite games, STACS,
1995.
- Automata, Logics, and Infinite Games (eds. E. Grädel,
W. Thomas, Th. Wilke), Springer 2002.
Chapter 2 (Infinite games)
- Automata, Logics, and Infinite Games (eds. E. Grädel,
W. Thomas, Th. Wilke), Springer 2002.
Chapter 7 (Parity games)
- P.J.G. Ramadge et G.M. Wonham,
The control of discrete event systems, IEEE, 1989.
Anca Muscholl