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

Verification and Control of Hybrid Systems

Kirjailija:
sidottu, 2009
englanti

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
2009 ed.
ISBN
9781441902238
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
15.6.2009
Sivumäärä
202