Constructing decidable hybrid systems with velocity bounds

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 467-472

  Belta, Calin ^a   Habets, Luc C G J M ^b  

^a Drexel University   (United States)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMISTRY; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL METHODS; GRAPH THEORY; MOTION PLANNING; ROBOTS; SET THEORY; VECTORS;

DISCRETE EVENTS; FINITE STATE MACHINES; HYBRID SYSTEMS; MULTI-AFFINE DYUNAMICS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 14344257460     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1428674     Document Type: Conference Paper

References (26)

1. R. Alur, T. Henzinger, and E. Sontag, Eds., Hybrid System III: Verification and Control, ser. LNCS 1066. Springer-Verlag, 1996.
2. T. Henzinger and S. Sastry, Eds., Hybrid Systems: Computation and Control, ser. LNCS 1386. Springer, 1998.
3. F. Vaandrager and J. van Schuppen, Eds., Hybrid Systems: Computation and Control, ser. LNCS 1569. Springer, 1999.
4. N. Lynch and B. Krogh, Eds., Hybrid Systems: Computation and Control, set. LNCS 1790. Springer, 2000.
5. M. Bern and D. Eppstein, Mesh Generation And Optimal Triangulation, set. Lecture Notes Series on Computing. World Scientific, 1992, vol. 1.
6. C. Belta, L. Habets, and V. Kumar, "Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks," in 41st IEEE Conference on Decision and Control, Las Vegas, NV, 2002.
7. C. Belta, "On controlling aircraft and underwater vehicles," in IEEE International Conference on Robotics and Automation, New Orleans, LA, 2004.
8. L. Habets and J. van Schuppen, "A control problem for affine dynamical systems on a full-dimensional polytope," Automatica, vol. 40, pp. 21-35, 2004.
9. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Oliviero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoretical Computer Science, vol. 138, pp. 3-34, 1995.
10. R. Alur, T. Dang, and F. Ivancic, "Progress on reachability analysis of hybrid systems using predicate abstraction," in Hybrid Systems: Computation and Control, LNCS 2623. Springer-Verlag, 2003, pp. 4-19.
11. D. M. R. Park, Concurrency and automata on infinite sequences, ser. Lecture Notes in Computer Science. Springer-Verlag, 1980, vol. 104.
12. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
13. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, 2003.
14. E. Haghverdi, P. Tabuada, and G. Pappas, Bisimulation relations for dynamical and control systems, ser. Electronic Notes in Theoretical Computer Science, Blute and e. Peter Selinger, Eds. Elsevier, 2003, vol. 69.
15. T. A. Henzinger, P. W. Kopke, A. Pun, and P. Varaiya, "What is decidable about hybrid automata?" J. Comput. Syst. Sci., vol. 57, pp. 94-124, 1998.
16. R. Alur and D. L. Dill, "A theory of timed automata," Theoret. Comput. Sci., vol. 126, pp. 183-235, 1994.
17. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Lecture Notes in Computer Science. New York: Springer-Verlag, 1993, vol. 736, pp. 209-229.
18. X. Nicolin, A. Olivero, J. Sifakis, and S. Yovine, "An approach to the description and analysis of hybrid automata," in Lecture Notes in Computer Science. New York: Springer-Verlag, 1993, vol. 736, pp. 149-178.
19. A. Pun and P. Varaiya, "Decidability of hybrid systems with rectangular differential inclusions," Computer Aided Verification, pp. 95104, 1994.
20. G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal hybrid systems," Math. Control, Signals, Syst, vol. 13, no. 1, pp. 1-21, 2000.
21. G. Lafferriere, G. J. Pappas, and S. Yovine, "A new class of decidable hybrid systems," in Lecture Notes in Computer Science. New York: Springer-Verlag, 1999, vol. 1569, pp. 137-151.
22. _, "Reachability computation for linear hybrid systems," in Proc. 14th IFAC World Congress, Beijing, P.R.C, July 1999.
23. R. Alut, T. Dang, and E Ivancic, "Reachability analysis of hybrid systems via predicate abstraction," in Fifth International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, 2002.
24. A. Tiwari and G. Khanna, "Series of abstractions for hybrid automata," in Fifth International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, 2002.
25. R. Ghosh, A. Tiwari, and C. Tomlin, "Automated symbolic reachability analysis; with application to delta-notch signaling automata," in Lecture Notes in Computer Science. New York: Springer-Verlag, 2003, vol. 2623, pp. 233-248.
26. C. Belta and L. Habets, "Control of rectangular multi-affine systems with applications to genetic networks," IEEE Transactions on Automatic Control, 2004, submitted.