Platzer, André
Logical Analysis of Hybrid Systems
Table of contents
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
Keywords: Computer Science, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics), Mathematics of Computing, Logics and Meanings of Programs, Control, Robotics, Mechatronics
- Author(s)
- Platzer, André
- Publisher
- Springer
- Publication year
- 2010
- Language
- en
- Edition
- 1
- Page amount
- 30 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783642145094
