Pre-orders for reasoning about stability

HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control

Volumn , Issue , 2012, Pages 197-206

  Prabhakar, Pavithra ^a   Dullerud, Geir ^b   Viswanathan, Mahesh ^c  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

Bisimulations; Pre orders; Stability; Uniform continuity; Verification

Indexed keywords

BISIMULATION RELATIONS; BISIMULATIONS; CONTINUITY CONDITIONS; CONTINUITY CONSTRAINTS; CONTINUOUS SIMULATION; DISCRETE-STATE SYSTEMS; EQUILIBRIUM STATE; LOGICAL CHARACTERIZATION; LYAPUNOV STABILITY; PRE-ORDERS; STABILITY PROPERTIES; STABLE SYSTEMS; STATE SPACE; UNIFORM CONTINUITY; UNIFORM CONTINUITY CONDITIONS;

CONVERGENCE OF NUMERICAL METHODS; FAULT TOLERANCE; HYBRID SYSTEMS; VERIFICATION;

SYSTEM STABILITY;

EID: 84860629044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2185632.2185662     Document Type: Conference Paper

References (24)

1. R. Alur, T. Dang, and F. Ivancic. Counter-Example Guided Predicate Abstraction of Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems, pages 208-223, 2003.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. M. S. Branicky. Stability of hybrid systems: state of the art. In Conference on Decision and Control, pages 120-125, 1997.
4. T. Brihaye and C. Michaux. On the expressiveness and decidability of o-minimal hybrid systems. Journal of Complexity, 21(4):447-478, 2005. (Pubitemid 40952001)
5. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample- Guided Abstraction Refinement. In Computer Aided Verification, pages 154-169, 2000.
6. P. J. L. Cuijpers. On bicontinuous bisimulation and the preservation of stability. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 676-679, 2007.
7. J. Davoren. Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics. In Proceedings of the International Conference on Logical Foundations of Computer Science, pages 162-180, 2007.
8. J. Davoren and R. Goré. Bimodal logics for reasoning about continuous dynamics. In Advances in Modal Logic, volume 3, pages 91-110. 2002.
9. G. Fainekos and G. Pappas. Robustness of tenporal logic specifications. In Proceedings of the International 204 Conference on Formal Approaches to Testing and Runtime Verification, 2006.
10. A. Girard, A. A. Julius, and G. J. Pappas. Approximate simulation relations for hybrid systems. Discrete Event Dynamic Systems, 18(2):163-179, 2008. (Pubitemid 351642165)
11. A. Girard and G. J. Pappas. Approximate bisimulation relations for constrained linear systems. Automatica, 43(8):1307-1317, 2007. (Pubitemid 47016363)
12. A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 201-214, 2008.
13. R. Goebel, R. Sanfelice, and A. Teel. Hybrid dynamical systems. IEEE Control Systems, Control Systems Magazine, 29:28-93, 2009.
14. D. Grobman. Homeomorphism of systems of differential equations. Doklady Akad. Nauk SSSR, 128:880-881, 1959.
15. D. Grobman. Topological classification of neighborhoods of a singularity in n-space. Mat. Sbornik, 56(98):77-94, 1962.
16. P. Hartman. A lemma in the theory of structural stability of differential equations. Proceedings of the American Mathematical Society, 11:610-620, 1960.
17. T. A. Henzinger. The Theory of Hybrid Automata. In Logic In Computer Science, pages 278-292, 1996.
18. H. F. Jean-Pierre Aubin. Set-valued Analysis. Boston : Birkhauser, 1990.
19. D. K. Kaynar, N. A. Lynch, R. Segala, and F. W. Vaandrager. Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. In Real-Time Systems Symposium, pages 166-177. IEEE Computer Society, 2003.
20. H. K. Khalil. Nonlinear Systems. Prentice-Hall, Upper Saddle River, NJ, 1996.
21. G. Lafferriere, G. Pappas, and S. Sastry. O-minimal Hybrid Systems. Mathematics of Control, Signals, and Systems, 13(1):1-21, 2000. (Pubitemid 30578622)
22. D. Lee and M. Yannakakis. Online Minimization of Transition Systems (Extended Abstract). In Symposium on Theory Of Computing, pages 264-274. ACM, 1992. (Pubitemid 23608045)
23. R. Milner. Communication and Concurrency. Prentice-Hall, Inc, 1989.
24. P. Prabhakar, V. Vladimerou, M. Viswanathan, and G. Dullerud. Verifying tolerant systems using polynomial approximations. In Proceedings of the IEEE Real Time Systems Symposium, 2009.