Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
Hybrid systems: from verification to falsification
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Adaptive cruise control: hybrid, distributed, and now formally verified
FM'11 Proceedings of the 17th international conference on Formal methods
Design and experimental validation of a nonlinear wheel slip control algorithm
Automatica (Journal of IFAC)
Hi-index | 0.00 |
From the Publisher:This book should be of use to academic researchers and graduate students as well as to engineers in the automotive industry.