As soon as possible: Time optimal control for timed automata

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

Volumn 1569, Issue , 1999, Pages 19-30

  Asarin, Eugene ^a   Maler, Oded ^b  

^a INSTITUTE FOR INFORMATION TRANSMISSION PROBLEMS   (Russian Federation)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

CONTROLLER SYNTHESIS; FOLLOWING PROBLEM; OPTIMAL STRATEGIES; TIME OPTIMAL CONTROL; TIMED AUTOMATA; TIMED GAME AUTOMATA; TRANSITION RELATIONS; VALUE FUNCTIONS;

AUTOMATA THEORY;

EID: 84949464140     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_6     Document Type: Conference Paper

References (9)

1. AD94. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126 (1994) 183-235
2. AMP95. Asarin, E., Maler, O., Pnueli, A.: Symbolic Controller Synthesis for Discrete and Timed Systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.): Hybrid Systems II. Lecture Notes in Computer Science, Vol. 999. Springer (1995) 1-20
3. AMPS98. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller Synthesis for Timed Automata. In: Proc. IFAC Symposium on System Structure and Control. Elsevier (1998) 469-474
4. Ber95. Bertsekas, D.P.: Dynamic Programming and Optimal Control. Athena Scientific (1995)
5. MPS95. Maler, O., Pnueli, A., Sifakis, J.: On the Synthesis of Discrete Controllers for Timed Systems. In: Mayr, E.W., Puech, C. (eds.): Proc. STACS'95. Lecture Notes in Computer Science, Vol. 900. Springer (1995) 229-242
6. PA89. Passino, K.M., Antsaklis, P.J.: On the Optimal Control of Discrete Event Systems. In: Proc. CDC'89. IEEE (1989) 2713-2718
7. RW87. Ramadge, P.J., Wonham, W.M.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. of Control and Optimization 25 (1987) 206-230
8. TLS98. Tomlin, C., Lygeros, J., Sastry, S.: Synthesizing Controllers for Nonlinear Hybrid Systems, in Henzinger, T.A., Sastry, S. (eds.): Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, Vol. 1386. Springer (1998) 360-373
9. W97. Wong-Toi, H.: The Synthesis of Controllers for Linear Hybrid Automata. In: Proc. CDC'97. IEEE (1997) 4607-4612