Gå direkte til innholdet
Logical Analysis of Hybrid Systems
Spar

Logical Analysis of Hybrid Systems

Forfatter:
Engelsk
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.
Undertittel
Proving Theorems for Complex Dynamics
Opplag
2010 ed.
ISBN
9783642444746
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
28.11.2014
Antall sider
426