Matthias Althoff
According to our database^{1},
Matthias Althoff
authored at least 146 papers
between 2007 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on dnb.info
On csauthors.net:
Bibliography
2021
IEEE Trans. Intell. Veh., 2021
IEEE Trans. Autom. Control., 2021
IEEE Control. Syst. Lett., 2021
Reachabilitybased Identification, Analysis, and Control Synthesis of Robot Systems.
CoRR, 2021
2020
Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace.
IEEE Trans. Autom. Control., 2020
CoRR, 2020
Formal synthesis of closedform sampleddata controllers for nonlinear continuoustime systems under STL specifications.
CoRR, 2020
Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour.
CoRR, 2020
CoRR, 2020
Pedestrian Models for Autonomous Driving Part I: low level models, from sensing to tracking.
CoRR, 2020
CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Cooperative Raw Sensor Data Fusion for Ground Truth Generation in Autonomous Driving.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Mutual Absolute Calibration of Lidar Mounting Positions on Vehicles using CAD Models.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Safe Reinforcement Learning for Autonomous Lane Changing Using SetBased Prediction.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Scenario Factory: Creating SafetyCritical Traffic Scenarios for Automated Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
A MultiStep Approach to Accelerate the Computation of Reachable Sets for Road Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020
Proceedings of the 11th ACM/IEEE International Conference on CyberPhysical Systems, 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Computing NonConvex InnerApproximations of Reachable Sets for Nonlinear Continuous Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
Proceedings of the 2020 American Control Conference, 2020
2019
ACM Trans. Cyber Phys. Syst., 2019
Effortless creation of safe robots from modules through selfprogramming and selfverification.
Sci. Robotics, 2019
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.
CoRR, 2019
Proceedings of the Simulating Connected Urban Mobility, 2019
Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Modelbased Offline Vehicle Tracking in Automotive Applications Using a Precise 3D Model.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multiobjective Genetic Algorithms.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
ARCHCOMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
ARCHCOMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
A modal interface contract theory for guarded input/output automata with an application in traffic system design.
Proceedings of the 2019 American Control Conference, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
IEEE Trans. Robotics, 2018
IEEE Trans. Intell. Transp. Syst., 2018
IEEE Trans. Control. Syst. Technol., 2018
IEEE Trans Autom. Sci. Eng., 2018
Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics.
IEEE Robotics Autom. Mag., 2018
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Probabilistic Mapbased Pedestrian Motion Prediction Taking Traffic Participants into Consideration.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Efficient MixedInteger Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Automatic Generation of SafetyCritical Test Scenarios for Collision Avoidance of Road Vehicles.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Computationally Efficient Failsafe Trajectory Planning for Selfdriving Vehicles Using Convex Optimization.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Highlevel Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
SetBased Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Efficient Computation of Invariably Safe States for Motion Planning of SelfDriving Vehicles.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Hierarchical Path Planner Using Workspace Decomposition and Parallel TaskSpace RRTs.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
IntervalArithmeticBased Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
ARCHCOMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
ARCHCOMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
IEEE Transactions on Intelligent Vehicles New Senior Editors and Associate Editors.
IEEE Trans. Intell. Veh., 2017
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
Verifying the safety of lane change maneuvers of selfdriving vehicles based on formalized traffic rules.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Evolutionary costoptimal composition synthesis of modular robots considering a given task.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Efficient Computation of IntervalArithmeticBased Robust Controllers for Rigid Robots.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017
Proceedings of the Integrated Formal Methods  13th International Conference, 2017
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems.
Proceedings of the 2017 American Control Conference, 2017
Proceedings of the 2017 American Control Conference, 2017
Compositional transient stability analysis of power systems via the computation of reachable sets.
Proceedings of the 2017 American Control Conference, 2017
2016
IEEE Trans. Intell. Veh., 2016
Online motion synthesis with minimal intervention control and formal safety guarantees.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.
Proceedings of the NASA Formal Methods  8th International Symposium, 2016
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016
Can automated road vehicles harmonize with traffic flow while guaranteeing a safe distance?
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016
Overapproximative arm occupancy prediction for humanrobot coexistence built from archetypal movements.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the ARCH@CPSWeek 2016, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
On estimating the Robust Domain of Attraction for uncertain nonpolynomial systems: An LMI approach.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Combining zonotopes and support functions for efficient reachability analysis of linear systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016
Proceedings of the 2016 American Control Conference, 2016
Ultimate robust performance control of rigid robot manipulators using interval arithmetic.
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the IEEE International Symposium on Intelligent Control, 2016
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
CoRR, 2015
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015
Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
Automatic centralized controller design for modular and reconfigurable robot manipulators.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
2014
IEEE Trans. Robotics, 2014
IEEE Trans. Autom. Control., 2014
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
2013
Formal verification of phaselocked loops using reachability analysis and continuization.
Commun. ACM, 2013
Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013
Reachability analysis of nonlinear systems using conservative polynomialization and nonconvex sets.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
2012
Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012
Avoiding geometric intersection operations in reachability analysis of hybrid systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Reachability computation of loworder models for the safety verification of highorder road vehicle models.
Proceedings of the American Control Conference, 2012
2011
Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars.
IEEE Trans. Intell. Transp. Syst., 2011
Setbased computation of vehicle behaviors for the online verification of autonomous vehicles.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
2009
IEEE Trans. Intell. Transp. Syst., 2009
Safety assessment for stochastic linear systems using enclosing hulls of probability density functions.
Proceedings of the 10th European Control Conference, 2009
2008
Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars).
Autom., 2008
Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments.
Proceedings of the 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2008
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the American Control Conference, 2007