Tell your friends about this item:
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics Andre Platzer 2010 edition
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Andre Platzer
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.
424 pages, 137 black & white illustrations, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | September 5, 2010 |
| ISBN13 | 9783642145087 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 426 |
| Dimensions | 164 × 246 × 23 mm · 780 g |
| Language | French |
More by Andre Platzer
Show allMere med samme udgiver
See all of Andre Platzer ( e.g. Paperback Book and Hardcover Book )