Matthias Althoff

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Probabilistic Map-based Pedestrian Motion Prediction Taking Traffic Participants into Consideration.

[BibT_eX]

[DOI]

Jingyuan Wu

Johannes Ruenz

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Worst-case Analysis of the Time-To-React Using Reachable Sets.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles.

[BibT_eX]

[DOI]

Christina Miller

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles.

[BibT_eX]

[DOI]

Sebastian Lutz

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Tactical Decision Making for Cooperative Vehicles Using Reachable Sets.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Anytime Safety Verification of Autonomous Vehicles.

[BibT_eX]

[DOI]

Felix Gruber

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Efficient Computation of Invariably Safe States for Motion Planning of Self-Driving Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Hierarchical Path Planner Using Workspace Decomposition and Parallel Task-Space RRTs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stefan B. Liu

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Reachset Conformance Testing of Human Arms with a Biomechanical Model.

[BibT_eX]

[DOI]

Cedric Stark

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Reachset Model Predictive Control for Disturbed Nonlinear Systems.

[BibT_eX]

[DOI]

Niklas Kochdumper

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

A Formally Verified Motion Planner for Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Implementation of Taylor models in CORA 2018.

[BibT_eX]

[DOI]

Dmitry Grebenyuk

Niklas Kochdumper

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Andreas A. Malikopoulos

IEEE Trans. Intell. Veh., 2017

Computing possible driving corridors for automated vehicles.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules.

[BibT_eX]

[DOI]

Peter Zahn

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Driving strategy selection for cooperative vehicles using maneuver templates.

[BibT_eX]

[DOI]

Marion Leibold

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

SPOT: A tool for set-based prediction of traffic participants.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

CommonRoad: Composable benchmarks for motion planning on roads.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Ensuring drivability of planned motions using formal methods.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Negotiation of drivable areas of cooperative vehicles for conflict resolution.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Determining the maximum time horizon for vehicles to safely follow a trajectory.

[BibT_eX]

[DOI]

Silvia Magdici

Zhenzhang Ye

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Interaction-aware occupancy prediction of road vehicles.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Comparison of trajectory tracking controllers for autonomous vehicles.

[BibT_eX]

[DOI]

Davide Calzolari

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Calculating human reachable occupancy for guaranteed collision-free planning.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Provably safe motion of mobile robots in human environments.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Evolutionary cost-optimal composition synthesis of modular robots considering a given task.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Efficient Computation of Interval-Arithmetic-Based Robust Controllers for Rigid Robots.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Combined inverse-dynamics/passivity-based control for robots with elastic joints.

[BibT_eX]

[DOI]

Jörn Malzahn

Nikolaos G. Tsagarakis

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata.

[BibT_eX]

[DOI]

Stanley Bak

Sergiy Bogomolov

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Xin Chen

Fabian Immler

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Enhancing motion safety by identifying safety-critical passageways.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Methods for order reduction of zonotopes.

[BibT_eX]

[DOI]

Anna-Kathrin Kopetzki

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Online verification of multiple safety criteria for a robot trajectory.

[BibT_eX]

[DOI]

Dario Beckert

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.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Estimating the region of attraction via forward reachable sets.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Compositional transient stability analysis of power systems via the computation of reachable sets.

[BibT_eX]

[DOI]

Yu Christine Chen

Proceedings of the 2017 American Control Conference, 2017

2016

Set-Based Prediction of Traffic Participants on Arbitrary Road Networks.

[BibT_eX]

[DOI]

Silvia Magdici

IEEE Trans. Intell. Veh., 2016

Online motion synthesis with minimal intervention control and formal safety guarantees.

[BibT_eX]

[DOI]

Martijn J. A. Zeestraten

Sylvain Calinon

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.

[BibT_eX]

[DOI]

Albert Rizaldi

Fabian Immler

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Fail-safe motion planning of autonomous vehicles.

[BibT_eX]

[DOI]

Silvia Magdici

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?

[BibT_eX]

[DOI]

Robert Lösch

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Overapproximative arm occupancy prediction for human-robot co-existence built from archetypal movements.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

A task-driven algorithm for configuration synthesis of modular robots.

[BibT_eX]

[DOI]

Esra Icer

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Reachset Conformance Testing of Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Implementation of Interval Arithmetic in CORA 2016.

[BibT_eX]

[DOI]

Dmitry Grebenyuk

Proceedings of the ARCH@CPSWeek 2016, 2016

Estimating the domain of attraction based on the invariance principle.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On estimating the Robust Domain of Attraction for uncertain non-polynomial systems: An LMI approach.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Combining zonotopes and support functions for efficient reachability analysis of linear systems.

[BibT_eX]

[DOI]

Goran Frehse

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

STL Model Checking of Continuous and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2016

Closed-form expressions of convex combinations.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Ultimate robust performance control of rigid robot manipulators using interval arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

On enlarging backward reachable sets via Zonotopic set membership.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Intelligent Control, 2016

Cost-optimal composition synthesis for modular robots.

[BibT_eX]

[DOI]

Esra Icer

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

On Computing the Minkowski Difference of Zonotopes.

[BibT_eX]

[DOI]

CoRR, 2015

On time-memory trade-off for collision detection.

[BibT_eX]

[DOI]

Albert Rizaldi

Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Formalising Traffic Rules for Accountability of Autonomous Vehicles.

[BibT_eX]

[DOI]

Albert Rizaldi

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Automatic centralized controller design for modular and reconfigurable robot manipulators.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Daniel Althoff

Sebastian A. Scherer

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

An Introduction to CORA 2015.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Control synthesis for non-polynomial systems: A domain of attraction perspective.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014

Online Verification of Automated Road Vehicles Using Reachability Analysis.

[BibT_eX]

[DOI]

John M. Dolan

IEEE Trans. Robotics, 2014

Reachability Analysis of Nonlinear Differential-Algebraic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Formal verification of maneuver automata for parameterized motion primitives.

[BibT_eX]

[DOI]

Thomas Sattel

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

2013

Formal verification of phase-locked loops using reachability analysis and continuization.

[BibT_eX]

[DOI]

Commun. ACM, 2013

Comparison of trajectory tracking controllers for emergency situations.

[BibT_eX]

[DOI]

Thomas Sattel

Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013

Should collision avoidance systems use yaw stabilization?

[BibT_eX]

[DOI]

Thomas Sattel

Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Road occupancy prediction of traffic participants.

[BibT_eX]

[DOI]

Florian Gambert

Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Transient stability analysis by reachable set computation.

[BibT_eX]

[DOI]

Milos Cvetkovic

Marija Ilic

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

Avoiding geometric intersection operations in reachability analysis of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Reachability computation of low-order models for the safety verification of high-order road vehicle models.

[BibT_eX]

[DOI]

John M. Dolan

Proceedings of the American Control Conference, 2012

2011

Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars.

[BibT_eX]

[DOI]

Alexander Mergel

IEEE Trans. Intell. Transp. Syst., 2011

Set-based computation of vehicle behaviors for the online verification of autonomous vehicles.

[BibT_eX]

[DOI]

John M. Dolan

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Reachable set computation for uncertain time-varying linear systems.

[BibT_eX]

[DOI]

Colas Le Guernic

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Zonotope bundles for the efficient computation of reachable sets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010

Probabilistic collision state checker for crowded environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009

Model-Based Probabilistic Collision Detection in Autonomous Driving.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2009

Safety assessment for stochastic linear systems using enclosing hulls of probability density functions.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

2008

Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars).

[BibT_eX]

[DOI]

Autom., 2008

Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Reachability analysis of linear systems with uncertain parameters and inputs.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Safety Assessment of Autonomous Cars using Verification Techniques.

[BibT_eX]

[DOI]