Overview
- A unique approach to hybrid systems verification
- The first book that leverages the power of logic for hybrid systems
- Intended for researchers, postgraduates, and professionals book
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
-
Logics and Proof Calculi for Hybrid Systems
-
Automated Theorem Proving for Hybrid Systems
-
Case Studies and Applications in Hybrid Systems Verification
Keywords
About this book
Reviews
Authors and Affiliations
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.
Bibliographic Information
Book Title: Logical Analysis of Hybrid Systems
Book Subtitle: Proving Theorems for Complex Dynamics
Authors: André Platzer
DOI: https://doi.org/10.1007/978-3-642-14509-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2010
Hardcover ISBN: 978-3-642-14508-7Published: 05 September 2010
Softcover ISBN: 978-3-642-44474-6Published: 28 November 2014
eBook ISBN: 978-3-642-14509-4Published: 02 September 2010
Edition Number: 1
Number of Pages: XXX, 426
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Mathematics of Computing, Logics and Meanings of Programs, Control, Robotics, Mechatronics