Synopsis
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, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.
"synopsis" may belong to another edition of this title.
About the Author
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 Science Magazine's annual "Brilliant 10" in 2009, he received the ACM Doctoral Dissertation Honorable Mention Award in 2009, he was among the IEEE Intelligent Systems' biennial "AI's 10 to Watch" in 2011, and he received an NSF Career award in 2011. His research interests include the logical foundations of cyberphysical systems, theorem proving and model checking.
From the Back Cover
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, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logical Analysis of Hybrid Systems: Proving Theorems...
Stock Image
Platzer:Logical Analysis of Hybrid Syst (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # f85164d6194e0a3f49f93678f9d5d7c0
Stock Image
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020228285
Seller Image
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23135492-n
Stock Image
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642444746_new
Buy New
£ 94.13
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23135492-n
Buy New
£ 94.12
Shipping:
£ 15
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logical Analysis of Hybrid Systems
Published by
Springer Berlin Heidelberg Nov 2014, 2014
ISBN 10: 3642444741
ISBN 13: 9783642444746
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems.This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation. 456 pp. Englisch. Seller Inventory # 9783642444746
Seller Image
Logical Analysis of Hybrid Systems
Published by
Springer Berlin Heidelberg, 2014
ISBN 10: 3642444741
ISBN 13: 9783642444746
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A unique approach to hybrid systems verification The first book that leverages the power of logic for hybrid systemsIntended for researchers, postgraduates, and professionals bookA unique approach to hybrid systems verificationThe first book t. Seller Inventory # 11801114
Seller Image
Logical Analysis of Hybrid Systems | Proving Theorems for Complex Dynamics
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Logical Analysis of Hybrid Systems | Proving Theorems for Complex Dynamics | André Platzer | Taschenbuch | xxx | Englisch | 2014 | Springer Berlin | EAN 9783642444746 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 104913736
Seller Image
Logical Analysis of Hybrid Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2014, 2014
ISBN 10: 3642444741
ISBN 13: 9783642444746
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems.This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch. Seller Inventory # 9783642444746
Seller Image
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
Published by
Springer Berlin Heidelberg, 2014
ISBN 10: 3642444741
ISBN 13: 9783642444746
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems.This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation. Seller Inventory # 9783642444746