Althoff, M.;Dolan, J. M.
Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles
1162-1167
Proc. of the 14th IEEE Conference on Intelligent Transportation Systems
2011

Althoff, M.;Krogh, B. H.
Zonotope Bundles for the Efficient Computation of Reachable Sets
6814-6821
Proc. of the 50th IEEE Conference on Decision and Control
2011

Althoff, M.;Krogh, B. H.;Stursberg, O.
Modeling, Design, and Simulation of Systems with Uncertainties
69-94
Rauh, A.;Auer, E.
Springer
2011

Althoff, M.;Guernic, C. Le;Krogh, B. H.
Reachable Set Computation for Uncertain Time-Varying Linear Systems
93-102
Hybrid Systems: Computation and Control
2011

Althoff, M.;Mergel, A.
Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars
IEEE Transactions on Intelligent Transportation Systems
2011
12
4
1237-1247

Althoff, M.;Rajhans, A.;Krogh, B. H.;Yaldiz, S.;Li, X.;Pileggi, L.
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
Proc. of the Int. Conference on Computer Aided Design
2011

Patil, M. J.;Althoff, M.
Energy-consistent, Galerkin approach for the nonlinear dynamics of beams using intrinsic equations
Journal of Vibration and Control
2011
17
11
1748-1758