Matthias Althoff
Matthias Althoff
Assistant 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
2052009
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
1992008
Online verification of automated road vehicles using reachability analysis
M Althoff, JM Dolan
IEEE Transactions on Robotics 30 (4), 903-918, 2014
1672014
Reachability analysis and its application to the safety assessment of autonomous cars
M Althoff
Technische Universität München, 2010
1652010
An introduction to CORA 2015
M Althoff
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, 2015
1422015
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
1222010
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
M Althoff
Proceedings of the 16th international conference on Hybrid systems …, 2013
852013
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 nonlinear differential-algebraic systems
M Althoff, BH Krogh
IEEE Transactions on Automatic Control 59 (2), 371-383, 2013
772013
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
752007
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
712011
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
652011
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
CommonRoad: Composable benchmarks for motion planning on roads
M Althoff, M Koschi, S Manzinger
2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017
522017
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
512011
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
462010
Safety assessment of autonomous cars using verification techniques
M Althoff, O Stursberg, M Buss
2007 American Control Conference, 4154-4159, 2007
462007
Formal and compositional analysis of power systems using reachable sets
M Althoff
IEEE Transactions on Power Systems 29 (5), 2270-2280, 2014
442014
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
402012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20