Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

By André Platzer

Book Overview

Logics and Proof Calculi for Hybrid Systems.- Differential Dynamic Logic d?.- Differential-Algebraic Dynamic Logic DAL.- Differential Temporal Dynamic Logic dTL.- Automated Theorem Proving for Hybrid Systems.- Deduction Modulo Real Algebra and Computer Algebra.- Computing Differential Invariants as Fixed Points.- Case Studies and Applications in Hybrid Systems Verification.- European Train Control System.- Air Traffic Collision Avoidance.- Conclusion.

• Format: Paperback
• Language: English
• ISBN: 3642444741
• ISBN13: 9783642444746
• Release Date: November 2014
• Publisher: Springer
• Length: 426 Pages
• Weight: 1.40 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"