Reachability analysis of multi-affine systems

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

Volumn 3927 LNCS, Issue , 2006, Pages 348-362

  Kloetzer, Marius ^a   Belta, Calin ^a  

^a Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL NETWORKS; MULTI-AFFINE SYSTEMS; REACHABILITY ANALYSIS;

AUTOMATA THEORY; COMPUTER SCIENCE; FUNCTIONS; ITERATIVE METHODS; ROBOTS;

LARGE SCALE SYSTEMS;

EID: 33745787278     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_27     Document Type: Conference Paper

References (24)

1. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
2. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, 2003.
3. 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.
4. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What is decidable about hybrid automata?" J. Comput. Syst. Sci., vol. 57, pp. 94-124, 1998.
5. R. Alur and D. L. Dill, "A theory of timed automata," Theoret. Comput. Sci., vol. 126, pp. 183-235, 1994.
6. 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.
7. 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.
8. A. Puri and P. Varaiya, "Decidability of hybrid systems with rectangular differential inclusions," Computer Aided Verification, pp. 95-104, 1994.
9. G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal hybrid systems," Math. Control, Signals, Syst, vol. 13, no. 1, pp. 1-21, 2000.
10. 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.
11. _, "Reachability computation for linear hybrid systems," in Proc. 14th IFAC World Congress, Beijing, P.R.C, July 1999.
12. R. Alur, T. Dang, and F. Ivancic, "Reachability analysis of hybrid systems via predicate abstraction," in Fifth International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, 2002.
13. A. Tiwari and G. Khanna, "Series of abstractions for hybrid automata," in Fifth International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, 2002.
14. 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.
15. 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.
16. C. Belta and L. Habets, "Constructing decidable hybrid systems with velocity bounds," in 43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas, 2004.
17. C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot planning and control in polygonal environments," IEEE Trans. on Robotics, vol. 21, no. 5, pp. 864-874, 2005.
18. C. Belta and L. Habets, "Control of a class of nonlinear systems on rectangles," IEEE Transactions on Automatic Control, 2005, to appear.
19. C. Belta, "On controlling aircraft and underwater vehicles," in IEEE International Conference on Robotics and Automation, New Orleans, LA, 2004.
20. V. Volterra, "Fluctuations in the abundance of a species considered mathematically," Nature, vol. 118, pp. 558-560, 1926.
21. A. Lotka, Elements of physical biology. New York: Dover Publications, Inc., 1925.
22. M. Kloetzer and C. Belta, "Reachability analysis of multi-affine systems," Boston University, Brookline, MA, Technical report CISE-2005-IR-0070, October 2005. [Online]. Available: http://www.bu.edu/systems/ research/publications/2005/ 2005-IR-0070.pdf
23. P. Tabuada and G. Pappas, "Model checking LTL over controlable linear systems is decidable," in Hybrid Systems : Computation and Control, ser. Lecture Notes in Computer Science: Springer Verlag, 2003, vol. 2623.
24. M. Kloetzer and' C. Belta, "Reachability analysis of multi-affine systems (ramas)," URL. http://iasi.bu.edu/~software/reach-ma.htm.