Gå direkt till innehållet
Logical Analysis of Hybrid Systems
Spara

Logical Analysis of Hybrid Systems

Författare:
inbunden, 2010
Engelska
Lägsta pris på PriceRunner
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.
Undertitel
Proving Theorems for Complex Dynamics
Författare
André Platzer
Upplaga
2010 ed.
ISBN
9783642145087
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2010-09-05
Sidor
426