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

at dnb.info
On csauthors.net:
Bibliography
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
2018
On the Combined InverseDynamics/PassivityBased Control of ElasticJoint Robots.
IEEE Trans. Robotics, 2018
Computing the Drivable Area of Autonomous Road Vehicles in Dynamic Road Scenes.
IEEE Trans. Intelligent Transportation Systems, 2018
OntheFly Control Design of Modular Robot Manipulators.
IEEE Trans. Contr. Sys. Techn., 2018
Overapproximative Human Arm Occupancy Prediction for Collision Avoidance.
IEEE Trans. Automation Science and Engineering, 2018
Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics.
IEEE Robot. Automat. Mag., 2018
Evaluating Location Compliance Approaches for Automated Road Vehicles.
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
Worstcase Analysis of the TimeToReact Using Reachable Sets.
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
Tactical Decision Making for Cooperative Vehicles Using Reachable Sets.
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
Anytime Safety Verification of Autonomous Vehicles.
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
Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots.
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
Reachset Conformance Testing of Human Arms with a Biomechanical Model.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018
Reachset Model Predictive Control for Disturbed Nonlinear Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
A Formally Verified Motion Planner for Autonomous Vehicles.
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
Implementation of Taylor models in CORA 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. Intelligent Vehicles, 2017
Computing possible driving corridors for automated vehicles.
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
Driving strategy selection for cooperative vehicles using maneuver templates.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
SPOT: A tool for setbased prediction of traffic participants.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
CommonRoad: Composable benchmarks for motion planning on roads.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017
Ensuring drivability of planned motions using formal methods.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Negotiation of drivable areas of cooperative vehicles for conflict resolution.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Determining the maximum time horizon for vehicles to safely follow a trajectory.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Interactionaware occupancy prediction of road vehicles.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Comparison of trajectory tracking controllers for autonomous vehicles.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
Calculating human reachable occupancy for guaranteed collisionfree planning.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Provably safe motion of mobile robots in human environments.
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
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.
Proceedings of the Integrated Formal Methods  13th International Conference, 2017
Combined inversedynamics/passivitybased control for robots with elastic joints.
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
TimeTriggered Conversion of Guards for Reachability Analysis of Hybrid Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
ARCHCOMP17 Category Report: Continuous Systems with Nonlinear Dynamics.
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
Enhancing motion safety by identifying safetycritical passageways.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Methods for order reduction of zonotopes.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Online verification of multiple safety criteria for a robot trajectory.
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
Estimating the region of attraction via forward reachable sets.
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
SetBased Prediction of Traffic Participants on Arbitrary Road Networks.
IEEE Trans. Intelligent Vehicles, 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
Failsafe motion planning of autonomous vehicles.
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
A taskdriven algorithm for configuration synthesis of modular robots.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
Reachset Conformance Testing of Hybrid Automata.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Implementation of Interval Arithmetic in CORA 2016.
Proceedings of the ARCH@CPSWeek 2016, 2016
Estimating the domain of attraction based on the invariance principle.
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
STL Model Checking of Continuous and Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2016
Closedform expressions of convex combinations.
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
Costoptimal composition synthesis for modular robots.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
On timememory tradeoff for collision detection.
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
Formalising Traffic Rules for Accountability of Autonomous Vehicles.
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
Safety control of robots under Computed Torque control using reachable sets.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
An Introduction to CORA 2015.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
Control synthesis for nonpolynomial systems: A domain of attraction perspective.
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
Online Verification of Automated Road Vehicles Using Reachability Analysis.
IEEE Trans. Robotics, 2014
Reachability Analysis of Nonlinear DifferentialAlgebraic Systems.
IEEE Trans. Automat. Contr., 2014
Formal verification of maneuver automata for parameterized motion primitives.
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
Comparison of trajectory tracking controllers for emergency situations.
Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013
Should collision avoidance systems use yaw stabilization?
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013
Road occupancy prediction of traffic participants.
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
Transient stability analysis by reachable set computation.
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. Intelligent Transportation Systems, 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
Formal verification of phaselocked loops using reachability analysis and continuization.
Proceedings of the 2011 IEEE/ACM International Conference on ComputerAided Design, 2011
Reachable set computation for uncertain timevarying linear systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Zonotope bundles for the efficient computation of reachable sets.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Safety verification of autonomous vehicles for coordinated evasive maneuvers.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010
Probabilistic collision state checker for crowded environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
2009
ModelBased Probabilistic Collision Detection in Autonomous Driving.
IEEE Trans. Intelligent Transportation Systems, 2009
Safety assessment for stochastic linear systems using enclosing hulls of probability density functions.
Proceedings of the European Control Conference, 2009
2008
Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars).
Automatisierungstechnik, 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
Reachability analysis of linear systems with uncertain parameters and inputs.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007