Gå direkt till innehållet
Verification and Control of Hybrid Systems
Spara

Verification and Control of Hybrid Systems

Författare:
Engelska
Lägsta pris på PriceRunner

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.

Undertitel
A Symbolic Approach
Författare
Paulo Tabuada
Upplaga
Softcover reprint of hardcover 1st ed. 2009
ISBN
9781441954985
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2010-11-05
Sidor
202