Skip to main content

Just-in-time Self-Verification of Autonomous Systems

Searching for OpenAIRE data...

Publications

CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms

Author(s): Christian Pek, Vitaliy Rusinov, Stefanie Manzinger, Murat Can Uste, Matthias Althoff
Published in: 2020 IEEE Intelligent Vehicles Symposium (IV), 2020, Page(s) 1013-1020
DOI: 10.1109/iv47402.2020.9304544

Automatic Synthesis of Human Motion from Temporal Logic Specifications

Author(s): Matthias Althoff, Matthias Mayer, Robert Muller
Published in: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, Page(s) 4040-4046
DOI: 10.1109/iros45743.2020.9341666

Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis

Author(s): Amr Alanwar, Hazem Said, Matthias Althoff
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4133-4139
DOI: 10.1109/cdc40024.2019.9029929

Scalable Robust Model Predictive Control for Linear Sampled-Data Systems

Author(s): Felix Gruber, Matthias Althoff
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 438-444
DOI: 10.1109/cdc40024.2019.9029873

AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis

Author(s): N. Kochdumper and F. Gruber and V. Gaßmann and M. Klischat and B. Schürmann and M. Althoff
Published in: 2021

On the co-NP-Completeness of the Zonotope Containment Problem

Author(s): A. Kulmburg and M. Althoff
Published in: 2021

Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm

Author(s): Victor Gasmann, Matthias Althoff
Published in: 2020 American Control Conference (ACC), 2020, Page(s) 4715-4721
DOI: 10.23919/acc45564.2020.9147938

Event-Triggered Diffusion Kalman Filters

Author(s): Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff
Published in: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), 2020, Page(s) 206-215
DOI: 10.1109/iccps48487.2020.00032

Provably-Correct and Comfortable Adaptive Cruise Control

Author(s): Matthias Althoff, Sebastian Maierhofer, Christian Pek
Published in: IEEE Transactions on Intelligent Vehicles, Issue 6/1, 2021, Page(s) 159-174, ISSN 2379-8904
DOI: 10.1109/tiv.2020.2991953

Computing Safe Sets of Linear Sampled-Data Systems

Author(s): Felix Gruber, Matthias Althoff
Published in: IEEE Control Systems Letters, Issue 5/2, 2021, Page(s) 385-390, ISSN 2475-1456
DOI: 10.1109/lcsys.2020.3002476

Set-based Prediction of Traffic Participants Considering Occlusions and Traffic Rules

Author(s): Markus Koschi, Matthias Althoff
Published in: IEEE Transactions on Intelligent Vehicles, 2021, Page(s) 1-1, ISSN 2379-8904
DOI: 10.1109/tiv.2020.3017385

Set Propagation Techniques for Reachability Analysis

Author(s): Matthias Althoff, Goran Frehse, Antoine Girard
Published in: Annual Review of Control, Robotics, and Autonomous Systems, Issue 4/1, 2021, Page(s) 369-395, ISSN 2573-5144
DOI: 10.1146/annurev-control-071420-081941