Timed control synthesis for external specifications

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

Volumn 2285, Issue , 2002, Pages 571-582

  D’Souza, Deepak ^a   Madhusudan, P ^a  

^a CHENNAI MATHEMATICAL INSTITUTE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CLOCKS; COMPUTABILITY AND DECIDABILITY; CONTROLLERS;

CONTROL SYNTHESIS; DETERMINISTIC SPECIFICATIONS; TIMED AUTOMATA; TIMED CONTROL; TIMED LANGUAGES; TIMED PLANTS;

SPECIFICATIONS;

EID: 84937406851     PISSN: None     EISSN: None     Source Type: Journal    
DOI: 10.1007/3-540-45841-7_47     Document Type: Article

References (17)

1. M. Abadi, L. Lamport, P. Wolper: Realizable and Unrealizable Concurrent Program Specifications, Proc. 16th ICALP, LNCS 372, Springer-Verlag (1989).
2. R. Alur, D. L. Dill: A theory of timed automata, Theoretical Computer Science Vol 126 (1994).
3. E. Asarin, O. Maler, A. Pnueli, J. Sifakis: Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, Elsevier (1998).
4. J.R. Büchi, L.H Landweber: Solving sequential conditions by finite-state strategies, Trans. AMS, Vol 138 (1969).
5. D. D’Souza, P. Madhusudan: Controller synthesis for timed specifications, Technical Report TCS-01-2, Chennai Mathematical Institute http://www.cmi.ac.in (2001).
6. T.A. Henzinger: The theory of hybrid automata, Proc. 11th IEEE LICS, (1996).
7. G. Hoffmann, H. Wong-Toi: The control of dense real-time discrete event systems, Conference on Decision and Control, Brighton (1991).
8. O. Kupferman, P. Madhusudan, P.S. Thiagarajan, M. Vardi: Open systems in reactive environments: Control and Synthesis, CONCUR’00, LNCS 1877 (2000).
9. O. Maler, A. Pnueli, J. Sifakis: On the Synthesis of Discrete Controllers for Timed Systems, Proc. STACS’95 LNCS 900, Spinger-Verlag (1995).
10. R. McNaughton: Infinite games played on finite graphs, Annals ofPure and Applied Logic, Vol 65 (1993).
11. A. Pnueli, R. Rosner: On the Synthesis of a Reactive Module, Proc. 16th ACM POPL (1989).
12. P.J.G. Ramadge, W.M. Wonham: The control of discrete event systems, IEEE Trans. on Control Theory, Vol 77 (1989).
13. D. Schmitz, J. Vöge: Implementation of a strategy improvement algorithm for parity games, Proc. CIAA 2000, London, Ontario (2000).
14. W. Thomas: Automata on infinite objects, Handbook ofTheoretical Computer Science, North Holland (1990).
15. W. Thomas: On the Synthesis of Strategies in Infinite Games, Proc. 12th STACS, LNCS 900, Springer-Verlag (1995).
16. W. Thomas: Languages, Automata, and Logic, Handbook ofFormal Language Theory, Springer-Verlag (1997).
17. W. Zielonka: Infinite games on finitely coloured graphs with applications to automata on infinite trees, Theoretical Computer Science Vol 200 (1998).