A sound and complete proof rule for region stability of hybrid systems

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

Volumn 4416 LNCS, Issue , 2007, Pages 750-753

  Podelski, Andreas ^a   Wagner, Silke ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; VERIFICATION;

HYBRID SYSTEMS; PROOF RULE; REGION STABILITY;

COMPUTER SYSTEMS;

EID: 38049171306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_76     Document Type: Conference Paper

References (19)

1. M.S. Branicky. Stability of hybrid systems: State of the art. In CDC'97.
2. M.S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. In Trans. on Automatic Control, 1998.
3. A.R. Bradley, H. Sipma, Z. Manna. Termination of Polynomial Programs. In VMCAI'05.
4. P. Cousot. Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. In VMCAI'05.
5. B. Cook, A. Podelski, A. Rybalchenko.Abstraction Refinement for Termination. In SAS'05.
6. B. Cook, A. Podelski, A. Rybalchenko. Termination proofs for systems code. In PLDI'06.
7. M. Colon, H. Sipma. Synthesis of Linear Ranking Functions. In TACAS'01.
8. M. Colon, H. Sipma. Practical Methods for Proving Program Termination. In CAV'02.
9. A. Gotsman, B. Cook, A. Podelski, A. Rybalchenko, M. Vardi. Proving that software eventually does something good. In POPL'07 (to appear).
10. T.A. Henzinger. The Theory of Hybrid Automata. In LICS'96.
11. D. Liberzon. Switching in Systems and Control. Birkhäuser, 2003.
12. V. Lakshmikantham, S. Leela, A.A. Martynyuk. Practical Stability of Nonlinear Systems. World Scientific Pub Co Inc, 1990.
13. S. Pettersson. Analysis and Design of Hybrid Systems. Ph.D. Thesis, Chalmers University of Technology, Göteborg, Sweden, 1999.
14. A. Podelski, A. Rybalchenko. Transition Invariants. In LICS, 2004.
15. A. Podelski, A. Rybalchenko. A Complete Method for the Synthesis of Linear Ranking Functions. In VMCAI'04.
16. A. Podelski, A. Rybalchenko. Transition Predicate Abstraction and Fair Termination. In POPL'05.
17. A. Podelski, S. Wagner. Model Checking of Hybrid Systems: From Reachability towards Stability. In HSCC'06.
18. A. Tiwari. Termination of linear programs. In CAV'04.
19. H. Ye, A.N. Michel, L. Hou. Stability Analysis of discontinuous Dynamical Systems with Applications. In IFAC'96.