Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /

• Main Author: Platzer, Andr.̌ (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Subjects: Computer science.; Logic design.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Mathematics of Computing.; Logics and Meanings of Programs.; Control, Robotics, Mechatronics.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14509-4

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<U+0013>chemical process control, and biomedical devices. Hyb...

Table of Contents:

• Introduction
• Differential Dynamic Logic dL
• Differential-Algebraic Dynamic Logic DAL
• Differential Temporal Dynamic Logic dTL
• Deduction Modulo Real Algebra and Computer Algebra
• Computing Differential Invariants as Fixed Points
• European Train Control System
• Air Traffic Collision Avoidance
• Conclusion.