Matthias Althoff
Matthias Althoff
Associate Professor in Computer Science, Technische Universität München
Dirección de correo verificada de in.tum.de - Página principal
TítuloCitado porAño
Model-based probabilistic collision detection in autonomous driving
M Althoff, O Stursberg, M Buss
IEEE Transactions on Intelligent Transportation Systems 10 (2), 299-310, 2009
2072009
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization
M Althoff, O Stursberg, M Buss
2008 47th IEEE Conference on Decision and Control, 4042-4048, 2008
2022008
Online verification of automated road vehicles using reachability analysis
M Althoff, JM Dolan
IEEE Transactions on Robotics 30 (4), 903-918, 2014
1782014
Reachability analysis and its application to the safety assessment of autonomous cars
M Althoff
Technische Universität München, 2010
1712010
An introduction to CORA 2015
M Althoff
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, 2015
1472015
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
M Althoff, O Stursberg, M Buss
Nonlinear analysis: hybrid systems 4 (2), 233-249, 2010
1302010
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
M Althoff
Proceedings of the 16th international conference on Hybrid systems …, 2013
862013
Reachability analysis of nonlinear differential-algebraic systems
M Althoff, BH Krogh
IEEE Transactions on Automatic Control 59 (2), 371-383, 2013
832013
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
M Althoff, A Rajhans, BH Krogh, S Yaldiz, X Li, L Pileggi
Communications of the ACM 56 (10), 97-104, 2013
812013
Reachability analysis of linear systems with uncertain parameters and inputs
M Althoff, O Stursberg, M Buss
2007 46th IEEE Conference on Decision and Control, 726-732, 2007
792007
Comparison of Markov chain abstraction and Monte Carlo simulation for the safety assessment of autonomous cars
M Althoff, A Mergel
IEEE Transactions on Intelligent Transportation Systems 12 (4), 1237-1247, 2011
742011
Reachable set computation for uncertain time-varying linear systems
M Althoff, C Le Guernic, BH Krogh
Proceedings of the 14th international conference on Hybrid systems …, 2011
672011
Safety verification of autonomous vehicles for coordinated evasive maneuvers
M Althoff, D Althoff, D Wollherr, M Buss
2010 IEEE Intelligent Vehicles Symposium, 1078-1083, 2010
572010
Zonotope bundles for the efficient computation of reachable sets
M Althoff, BH Krogh
2011 50th IEEE conference on decision and control and European control …, 2011
552011
CommonRoad: Composable benchmarks for motion planning on roads
M Althoff, M Koschi, S Manzinger
2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017
532017
Formal and compositional analysis of power systems using reachable sets
M Althoff
IEEE Transactions on Power Systems 29 (5), 2270-2280, 2014
482014
Probabilistic collision state checker for crowded environments
D Althoff, M Althoff, D Wollherr, M Buss
2010 IEEE international conference on robotics and automation, 1492-1498, 2010
482010
Safety assessment of autonomous cars using verification techniques
M Althoff, O Stursberg, M Buss
2007 American Control Conference, 4154-4159, 2007
442007
Design and capabilities of the Munich cognitive automobile
M Goebl, M Althoff, M Buss, G Farber, F Hecker, B Heißing, S Kraus, ...
2008 IEEE Intelligent Vehicles Symposium, 1101-1107, 2008
432008
Avoiding geometric intersection operations in reachability analysis of hybrid systems
M Althoff, BH Krogh
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
412012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20