Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Platzer, Andre
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - USA Springer 2010 - 426p
Contents
Introduction
Part: I Logics and Proof Calculi for Hybrid Systems
Diffential Dynamic Logic d
Diffential Algebraic Dynamic Logic DAL
Diffential Temporal Dynamic Logic DTL
Part: II Automated Theorem Proving for Hybrid Systems
Deduction Modulo Real Algebra and Computer Algebra
Computing Differential Invariants as Fixed Points
Part: III Case Studies and Applications in Hybrid Systems Verification
European Train Control System
Air Traffic Collision Avoidance
Conclusion
Part: IV Appendix
First Order Logic and Theorem Proving
Differential Equations
Hybrid Automata
Keymaera Implementation
References
Index
Operators and Proof Rules
9783642444746
Electronics and Communication
629.89 / PLA
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - USA Springer 2010 - 426p
Contents
Introduction
Part: I Logics and Proof Calculi for Hybrid Systems
Diffential Dynamic Logic d
Diffential Algebraic Dynamic Logic DAL
Diffential Temporal Dynamic Logic DTL
Part: II Automated Theorem Proving for Hybrid Systems
Deduction Modulo Real Algebra and Computer Algebra
Computing Differential Invariants as Fixed Points
Part: III Case Studies and Applications in Hybrid Systems Verification
European Train Control System
Air Traffic Collision Avoidance
Conclusion
Part: IV Appendix
First Order Logic and Theorem Proving
Differential Equations
Hybrid Automata
Keymaera Implementation
References
Index
Operators and Proof Rules
9783642444746
Electronics and Communication
629.89 / PLA