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