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