Gå direkte til innholdet
Logical Analysis of Hybrid Systems
Spar

Logical Analysis of Hybrid Systems

Forfatter:
innbundet, 2010
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
9783642145087
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
5.9.2010
Antall sider
426