Abstract
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from every state, the remaining behaviors reach F as soon as possible. This consists in extending the controller synthesis problem for timed automata, solved in [MPS95,AMPS98], to deal with quantitative properties of behaviors. The problem is formulated using the notion of a timed game automaton, and an optimal strategy is constructed as a fixed-point of an operator on the space of value functions defined on state-clock configurations.
This work was partially supported by the European Community Esprit-LTR Project 26270 VHS (Verification of Hybrid systems), the French-Israeli collaboration project 970MAEFUT5 (Hybrid Models of Industrial Plants) and by Research Grants 97-01-00692 and 96-15-96048 of Russian Foundation of Basic Research.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science126 (1994) 183–235
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
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
Bertsekas, D.P.: Dynamic Programming and Optimal Control. Athena Scientific (1995)
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
Passino, K.M., Antsaklis, P.J.: On the Optimal Control of Discrete Event Systems. In: Proc. CDC’89. IEEE (1989) 2713–2718
Ramadge, P.J., Wonham, W.M.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. of Control and Optimization25 (1987) 206–230
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
Wong-Toi, H.: The Synthesis of Controllers for Linear Hybrid Automata. In: Proc. CDC’97. IEEE (1997) 4607–4612
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asarin, E., Maler, O. (1999). As Soon as Possible: Time Optimal Control for Timed Automata. In: Vaandrager, F.W., van Schuppen, J.H. (eds) Hybrid Systems: Computation and Control. HSCC 1999. Lecture Notes in Computer Science, vol 1569. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48983-5_6
Download citation
DOI: https://doi.org/10.1007/3-540-48983-5_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65734-7
Online ISBN: 978-3-540-48983-2
eBook Packages: Springer Book Archive