Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics by Platzer, André

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics (Paperback) (ISBN-13: 9783642444746)

Vendor: André Platzer
Product type: Books
Format: Paperback
$109.99
$109.99
$109.99
Subtotal: $109.99
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics by Platzer, André

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

$109.99
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics by Platzer, André

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

$109.99
Format: Paperback
Description
Description
x

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.



Author: André Platzer
ISBN-10: 3642444741
ISBN-13: 9783642444746
Publisher: Springer
Language: English
Published: 11/28/2014
Pages: 426
Format: Paperback
Weight: 1.40lbs
Size: 9.21h x 6.14w x 0.93d
By André Platzer
By André Platzer
x

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.

Recently Viewed Products