Skip to main content
SpringerLink
Log in

As Soon as Possible: Time Optimal Control for Timed Automata

  • Conference paper
  • First Online:
Book cover Hybrid Systems: Computation and Control (HSCC 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1569))

Included in the following conference series:

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 to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science126 (1994) 183–235

    Article  MathSciNet  Google Scholar 

  2. 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

    Chapter  Google Scholar 

  3. 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

    Google Scholar 

  4. Bertsekas, D.P.: Dynamic Programming and Optimal Control. Athena Scientific (1995)

    Google Scholar 

  5. 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

    Google Scholar 

  6. Passino, K.M., Antsaklis, P.J.: On the Optimal Control of Discrete Event Systems. In: Proc. CDC’89. IEEE (1989) 2713–2718

    Google Scholar 

  7. Ramadge, P.J., Wonham, W.M.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. of Control and Optimization25 (1987) 206–230

    Article  MathSciNet  Google Scholar 

  8. 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

    Chapter  Google Scholar 

  9. Wong-Toi, H.: The Synthesis of Controllers for Linear Hybrid Automata. In: Proc. CDC’97. IEEE (1997) 4607–4612

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Information Transmission Problems, 19 Bol. Karetnyi per., 101447, Moscow, Russia

    Eugene Asarin

  2. Verimag, 2, av. de Vignate, 38610, Gières, France

    Oded Maler

Authors
  1. Eugene Asarin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Oded Maler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computing Science Institute, University of Nijmegen, P.O. Box 9010, 6500, GL, Nijmegen, The Netherlands

    Frits W. Vaandrager

  2. CWI, P.O. Box 94079, 1090, GB, Amsterdam, The Netherlands

    Jan H. van Schuppen

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation