Logical Analysis of Hybrid Systems

1. Introduction
André Platzer

2. Differential Dynamic Logic dℒ
André Platzer

3. Differential-Algebraic Dynamic Logic DAL
André Platzer

4. Differential Temporal Dynamic Logic dTL
André Platzer

5. Deduction Modulo Real Algebra and Computer Algebra
André Platzer

6. Computing Differential Invariants as Fixed Points
André Platzer

7. European Train Control System
André Platzer

8. Air Traffic Collision Avoidance
André Platzer

9. Conclusion
André Platzer

Avainsanat: Computer Science, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics), Mathematics of Computing, Logics and Meanings of Programs, Control, Robotics, Mechatronics