Nonlinear Modeling and Control Design of Active Helicopter Blades
Journal of the American Helicopter Society
2012
57
1
1-11
Transient Stability Analysis by Reachable Set Computation
Proc. of the IEEE PES Conference on Innovative Smart Grid Technologies Europe
2012
Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models
Proc. of the American Control Conference
2012
Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems
Hybrid Systems: Computation and Control
2012