Gå direkte til innholdet
Verification and Control of Hybrid Systems
Spar

Verification and Control of Hybrid Systems

Forfatter:
Engelsk

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.

Undertittel
A Symbolic Approach
Forfatter
Paulo Tabuada
Opplag
Softcover reprint of hardcover 1st ed. 2009
ISBN
9781441954985
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
5.11.2010
Antall sider
202