Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /

• Κύριος συγγραφέας: Platzer, André (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Θέματα: 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...

Πίνακας περιεχομένων:

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