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

Logical Analysis of Hybrid Systems

Författare:
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
9783642444746
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2014-11-28
Sidor
426