Hess, D.;Althoff, M.;Sattel, T.
Should Collision Avoidance Systems use Yaw Stabilization?
2058-2062
Proc. of the 16th International IEEE Conference on Intelligent Transportation Systems
2013

Althoff, M.;Hess, D.;Gambert, F.
Road Occupancy Prediction of Traffic Participants
99-105
Proc. of the 16th International IEEE Conference on Intelligent Transportation Systems
2013

Althoff, M.
Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets
173-182
Hybrid Systems: Computation and Control
2013

Althoff, M.;Rajhans, A.;Krogh, B. H.;Yaldiz, S.;Li, X.;Pileggi, L.
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
Communications of the ACM
2013
56
10
97-104

Hess, D.;Althoff, M.;Sattel, T.
Comparison of Trajectory Tracking Controllers for Emergency Situations
163-170
Proc. of the IEEE Intelligent Vehicles Symposium
2013