.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Logical Analysis of Hybrid Systems
Andre Platzer
€ 130.88
FREE Delivery in Ireland
Description for Logical Analysis of Hybrid Systems
Hardback. In this book, 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's coherent logical approach covers theory, practice, and applications. Num Pages: 426 pages, biography. BIC Classification: TJFM; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 246 x 164 x 23. Weight in Grams: 796.
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 develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, ... Read more
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 develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, ... Read more
Product Details
Format
Hardback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
426
Condition
New
Number of Pages
426
Place of Publication
Berlin, Germany
ISBN
9783642145087
SKU
V9783642145087
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Andre Platzer
The author is an assistant professor in the Computer Science Department at Carnegie Mellon University. He has an M.Sc. in computer science from the University of Karlsruhe, Germany and a Ph.D. in computer science from the University of Oldenburg, Germany. Among other awards he won best paper awards at the Tableaux 2007 and FM 2009 conferences, he was among Popular ... Read more
Reviews for Logical Analysis of Hybrid Systems
"This book offers a truly unique approach to hybrid systems verification with logic and theorem proving." (Edmund M. Clarke, Carnegie Mellon University)