2 Ebooks par Paulo Tabuada
Paulo Tabuada: 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. Th …
PDF
Anglais
€128.39
Rupak Majumdar & Paulo Tabuada: Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revise …
PDF
Anglais
DRM
€57.91
