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 analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author...
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are s...
This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst--Rudiger Olderog's work. After a laudatio section that provides a brief overview of Ernst--Rudiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program...
This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's co...
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 analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author...
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are s...
Cyberphysical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks.
This textbook teaches undergraduate students the core principles...
Cyberphysical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other ...
