Siirry suoraan sisältöön
Verification and Control of Hybrid Systems
Tallenna

Verification and Control of Hybrid Systems

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.

Alaotsikko
A Symbolic Approach
Kirjailija
Paulo Tabuada
Painos
Softcover reprint of hardcover 1st ed. 2009
ISBN
9781441954985
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
5.11.2010
Sivumäärä
202