Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /

• Main Author: Platzer, André (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Subjects: Computer science.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Control engineering.; Robotics.; Mechatronics.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Mathematics of Computing.; Logics and Meanings of Programs.; Control, Robotics, Mechatronics.

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems a...

Table of Contents:

• 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.