TY  - CHAP
AU  - Jairam Sukumar
AU  - Subir K Roy
AU  - Kusum Lata
AU  - Navakanta Bhat
ED  - Federico Casolo
Y1  - 2010-01-01
PY  - 2010
T1  - Formal Verification of Hybrid Automotive Systems
N2  - The book reveals many different aspects of motion control and a wide multiplicity of approaches  to the problem as well. Despite the number of examples, however, this volume is not meant to be exhaustive: it intends to offer some original insights for all researchers who will hopefully make their experience available for a forthcoming publication on the subject.
BT  - Motion Control
SP  - Ch. 7
UR  - https://doi.org/10.5772/6963
DO  - 10.5772/6963
SN  - 
PB  - IntechOpen
CY  - Rijeka
Y2  - 2024-04-24
ER  -