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ítulo
Citado por
Citado por
Añ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
2142009
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
2092008
Online verification of automated road vehicles using reachability analysis
M Althoff, JM Dolan
IEEE Transactions on Robotics 30 (4), 903-918, 2014
1872014
Reachability analysis and its application to the safety assessment of autonomous cars
M Althoff
Technische Universität München, 2010
1752010
An introduction to CORA 2015
M Althoff
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, 2015
1542015
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
892013
Reachability analysis of nonlinear differential-algebraic systems
M Althoff, BH Krogh
IEEE Transactions on Automatic Control 59 (2), 371-383, 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 linear systems with uncertain parameters and inputs
M Althoff, O Stursberg, M Buss
2007 46th IEEE Conference on Decision and Control, 726-732, 2007
802007
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
772011
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
682011
CommonRoad: Composable benchmarks for motion planning on roads
M Althoff, M Koschi, S Manzinger
2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017
642017
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
592010
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
562011
Formal and compositional analysis of power systems using reachable sets
M Althoff
IEEE Transactions on Power Systems 29 (5), 2270-2280, 2014
502014
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
452007
Implementation of Interval Arithmetic in CORA 2016
M Althoff, D Grebenyuk
432016
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20