Althoff, M.;Dolan, J. M.Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles1162-1167Proc. of the 14th IEEE Conference on Intelligent Transportation Systems2011
Althoff, M.;Krogh, B. H.Zonotope Bundles for the Efficient Computation of Reachable Sets6814-6821Proc. of the 50th IEEE Conference on Decision and Control2011
Althoff, M.;Krogh, B. H.;Stursberg, O.Modeling, Design, and Simulation of Systems with Uncertainties69-94Rauh, A.;Auer, E.Springer2011
Althoff, M.;Guernic, C. Le;Krogh, B. H.Reachable Set Computation for Uncertain Time-Varying Linear Systems93-102Hybrid Systems: Computation and Control2011
Althoff, M.;Mergel, A.Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous CarsIEEE Transactions on Intelligent Transportation Systems20111241237-1247
Althoff, M.;Rajhans, A.;Krogh, B. H.;Yaldiz, S.;Li, X.;Pileggi, L.Formal Verification of Phase-Locked Loops Using Reachability Analysis and ContinuizationProc. of the Int. Conference on Computer Aided Design2011
Patil, M. J.;Althoff, M.Energy-consistent, Galerkin approach for the nonlinear dynamics of beams using intrinsic equationsJournal of Vibration and Control201117111748-1758