A comparison of control problems for timed and hybrid systems

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

Volumn 2289, Issue , 2002, Pages 134-148

  Cassez, Franck ^a   Henzinger, Thomas A ^b   Raskin, Jean François ^c  

^a ECOLE CENTRALE DE NANTES   (France)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

CONTROL ACTIONS; CONTROL PROBLEMS; DISCRETE-TIME CONTROL; SAMPLING RATES; TIME UNITS; TIMED AUTOMATA; ZENO EFFECT;

CONTROLLERS;

EID: 84958173226     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_13     Document Type: Conference Paper

References (14)

1. E. Asarin, O. Bournier, T. Dang, O. Maler, and A. Pnueli. Effective synthesis of switching controllers for linear systems. In Proc. IEEE, 88:1011–1025, 2000.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
3. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
4. E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems II, LNCS 999, pp. 1–20. Springer, 1995.
5. E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In IFAC Symp. System Structure and Control, pp. 469–474. Elsevier, 1998.
6. L. de Alfaro, T.A. Henzinger, and R. Majumdar. Symbolic algorithms for infinite-state games. In CONCUR: Concurrency Theory, LNCS 2154, pp. 536–550. Springer, 2001.
7. T.A. Henzinger, B. Horowitz, and R. Majumdar. Rectangular hybrid games. In CONCUR: Concurrency Theory, LNCS 1664, pp. 320–335. Springer, 1999.
8. T.A. Henzinger and P.W. Kopke. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science, 221:369–392, 1999.
9. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? J. Computer and System Sciences, 57:94–124, 1998.
10. T.A. Henzinger and J.-F. Raskin. Robust undecidability of real-time and hybrid systems. In Hybrid Systems: Computation and Control, LNCS 1790, pp. 145-159. Springer, 2000.
11. G. Hoffmann and H. Wong-Toi. The input-output control of real-time discreteevent systems. In RTSS: Real-time Systems Symp., pp. 256–265. IEEE, 1992.
12. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS: Theoretical Aspects of Computer Science, LNCS 900, pp. 229–242. Springer, 1995.
13. C. Tomlin, J. Lygeros, and S. Sastry. A game-theoretic approach to controller design for hybrid systems. In Proc. IEEE, 88:949–970, 2000.
14. H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In CDC: Conf. Decision and Control, pp. 4607–4612. IEEE, 1997.