default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthias Althoff
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j54]Laura Lützow
, Matthias Althoff:
Scalable Reachset-Conformant Identification of Linear Systems. IEEE Control. Syst. Lett. 8: 520-525 (2024)- [j53]Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff:
Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference. IEEE Control. Syst. Lett. 8: 2033-2038 (2024) - [j52]Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff:
Publishers' Note to "Distributed set-based observers using diffusion strategies" [Journal of the Franklin Institute 360 (2023) 6976-6993]. J. Frankl. Inst. 361(6): 106669 (2024) - [j51]Yuanfei Lin, Chenran Li, Mingyu Ding, Masayoshi Tomizuka, Wei Zhan, Matthias Althoff:
DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models. IEEE Robotics Autom. Lett. 9(10): 8218-8225 (2024) - [j50]Lukas Schäfer, Felix Gruber, Matthias Althoff:
Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems. IEEE Trans. Autom. Control. 69(2): 755-770 (2024) - [j49]Jingyuan Wu, Johannes Ruenz, Hendrik Berkemeyer, Liza Dixon, Matthias Althoff:
Goal-Oriented Pedestrian Motion Prediction. IEEE Trans. Intell. Transp. Syst. 25(6): 5282-5298 (2024) - [j48]Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff:
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design. IEEE Trans. Intell. Veh. 9(1): 2262-2275 (2024) - [c188]Tobias Ladner, Matthias Althoff:
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. AAAI 2024: 21304-21311 - [c187]Lukas Schäfer, Matthias Althoff:
Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis. ACC 2024: 4162-4169 - [c186]Florian Lercher, Matthias Althoff:
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. CAV (3) 2024: 259-281 - [c185]Adrian Kulmburg, Ivan Brkan, Matthias Althoff:
Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems. ECC 2024: 1057-1064 - [c184]Jakob Thumm, Felix Trost, Matthias Althoff:
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration. ICRA 2024: 7405-7411 - [c183]Jonathan Külz, Matthias Althoff:
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach. ICRA 2024: 16752-16758 - [c182]Matthias Mayer, Jonathan Külz, Matthias Althoff:
CoBRA: A Composable Benchmark for Robotics Applications. ICRA 2024: 17665-17671 - [c181]Sebastian Mair, Matthias Althoff:
Provably Correct Safety Protocol for Cooperative Platooning. IV 2024: 780-787 - [c180]Tobias Mascetta, Edmond Irani Liu, Matthias Althoff:
Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations. IV 2024: 1417-1423 - [c179]Gerald Würsching, Tobias Mascetta, Yuanfei Lin, Matthias Althoff:
Simplifying Sim-to-Real Transfer in Autonomous Driving: Coupling Autoware with the CommonRoad Motion Planning Framework. IV 2024: 1462-1469 - [c178]Florian Lercher, Matthias Althoff:
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking. IV 2024: 1484-1491 - [c177]Gerald Würsching, Matthias Althoff:
Robust and Efficient Curvilinear Coordinate Transformation with Guaranteed Map Coverage for Motion Planning. IV 2024: 2694-2701 - [c176]Sebastian Maierhofer, Matthias Althoff:
CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning and 3D Simulation. IV 2024: 2702-2708 - [i45]Lukas Koller, Tobias Ladner, Matthias Althoff:
End-To-End Set-Based Training for Neural Network Verification. CoRR abs/2401.14961 (2024) - [i44]Hanna Krasowski, Matthias Althoff:
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. CoRR abs/2402.08502 (2024) - [i43]Yuanfei Lin, Chenran Li, Mingyu Ding, Masayoshi Tomizuka, Wei Zhan, Matthias Althoff:
DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models. CoRR abs/2403.07470 (2024) - [i42]Tobias Ladner, Michael Eichelbeck, Matthias Althoff:
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure. CoRR abs/2404.15065 (2024) - [i41]Michael Eichelbeck, Hannah Markgraf, Matthias Althoff:
CommonPower: Supercharging Machine Learning for Smart Grids. CoRR abs/2406.03231 (2024) - [i40]Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff:
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking. CoRR abs/2406.03704 (2024) - [i39]Laura Lützow, Matthias Althoff:
Reachset-Conformant System Identification. CoRR abs/2407.11692 (2024) - [i38]Jakob Thumm, Christopher Agia, Marco Pavone, Matthias Althoff:
Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction. CoRR abs/2408.06105 (2024) - [i37]Manuel Wendl, Lukas Koller, Tobias Ladner, Matthias Althoff:
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning. CoRR abs/2408.09112 (2024) - [i36]Daniel Ostermeier, Jonathan Külz, Matthias Althoff:
Automatic Geometric Decomposition for Analytical Inverse Kinematics. CoRR abs/2409.14815 (2024) - 2023
- [j47]Niklas Kochdumper, Matthias Althoff:
Constrained polynomial zonotopes. Acta Informatica 60(3): 279-316 (2023) - [j46]Christoph Stiller, Matthias Althoff:
Cooperative interacting automobiles. Autom. 71(4): 247-248 (2023) - [j45]Noushin Mehdipour, Matthias Althoff, Radboud J. Duintjer Tebbens, Calin Belta:
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. Autom. 152: 110692 (2023) - [j44]Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff:
Privacy-preserving set-based estimation using partially homomorphic encryption. Eur. J. Control 71: 100786 (2023) - [j43]Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff:
Distributed set-based observers using diffusion strategies. J. Frankl. Inst. 360(10): 6976-6993 (2023) - [j42]Yuanfei Lin, Haoxuan Li, Matthias Althoff:
Model Predictive Robustness of Signal Temporal Logic Predicates. IEEE Robotics Autom. Lett. 8(12): 8050-8057 (2023) - [j41]Felix Gruber, Matthias Althoff:
Scalable Robust Safety Filter With Unknown Disturbance Set. IEEE Trans. Autom. Control. 68(12): 7756-7770 (2023) - [j40]Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets. IEEE Trans. Autom. Control. 68(12): 7771-7786 (2023) - [j39]Aaron Pereira, Mareike Baumann, Jonas Gerstner, Matthias Althoff:
Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study. IEEE Trans Autom. Sci. Eng. 20(4): 2706-2719 (2023) - [j38]Lukas Schäfer, Stefanie Manzinger, Matthias Althoff:
Computation of Solution Spaces for Optimization-Based Trajectory Planning. IEEE Trans. Intell. Veh. 8(1): 216-231 (2023) - [j37]Moritz Klischat, Matthias Althoff:
Falsifying Motion Plans of Autonomous Vehicles With Abstractly Specified Traffic Scenarios. IEEE Trans. Intell. Veh. 8(2): 1717-1730 (2023) - [j36]Edmond Irani Liu, Matthias Althoff:
Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles. IEEE Trans. Intell. Veh. 8(9): 4180-4197 (2023) - [j35]Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff:
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking. Trans. Mach. Learn. Res. 2023 (2023) - [j34]Stefan B. Liu, Bastian Schürmann, Matthias Althoff:
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification. IEEE Trans. Robotics 39(5): 3776-3790 (2023) - [c175]Matthias Althoff:
Checking and Establishing Reachset Conformance in CORA 2023. ARCH 2023: 9-33 - [c174]Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang:
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH 2023: 34-60 - [c173]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang:
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2023: 61-88 - [c172]Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling:
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH 2023: 89-125 - [c171]Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff:
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. CDC 2023: 4372-4378 - [c170]Laura Lützow, Matthias Althoff:
Reachability Analysis of ARMAX Models. CDC 2023: 7027-7034 - [c169]Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC 2023: 5:1-5:12 - [c168]Tobias Ladner, Matthias Althoff:
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. HSCC 2023: 18:1-18:13 - [c167]Eivind Meyer, Lars Frederik Peiss, Matthias Althoff:
Deep Occupancy-Predictive Representations for Autonomous Driving. ICRA 2023: 5610-5617 - [c166]Jonathan Külz, Matthias Mayer, Matthias Althoff:
Timor Python: A Toolbox for Industrial Modular Robotics. IROS 2023: 424-431 - [c165]Jakob Thumm, Guillaume Pelat, Matthias Althoff:
Reducing Safety Interventions in Provably Safe Reinforcement Learning. IROS 2023: 7515-7522 - [c164]Hannah Markgraf, Matthias Althoff:
Safe Multi-Agent Reinforcement Learning for Price-Based Demand Response. ISGT EUROPE 2023: 1-6 - [c163]Sebastian Maierhofer, Yannick Ballnath, Matthias Althoff:
Map Verification and Repairing Using Formalized Map Specifications. ITSC 2023: 1277-1284 - [c162]Florian Finkeldei, Matthias Althoff:
Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis. ITSC 2023: 1285-1291 - [c161]Patrick Halder, Fabian Christ, Matthias Althoff:
Lexicographic Mixed-Integer Motion Planning with STL Constraints. ITSC 2023: 1361-1367 - [c160]Lars Frederik Peiss, Elias Wohlgemuth, Fan Xue, Eivind Meyer, Luis Gressenbuch, Matthias Althoff:
Graph-Based Autonomous Driving with Traffic-Rule-Enhanced Curriculum Learning. ITSC 2023: 4239-4246 - [c159]Yuanfei Lin, Michael Ratzel, Matthias Althoff:
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad. ITSC 2023: 4941-4946 - [c158]Yuanfei Lin, Matthias Althoff:
CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles. IV 2023: 1-8 - [c157]Eivind Meyer, Maurice Brenner, Bowen Zhang, Max Schickert, Bilal Musani, Matthias Althoff:
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric. IV 2023: 1-8 - [c156]Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak:
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM 2023: 16-36 - [e8]Goran Frehse, Matthias Althoff:
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023. EPiC Series in Computing 96, EasyChair 2023 [contents] - [i35]Eivind Meyer, Maurice Brenner, Bowen Zhang, Max Schickert, Bilal Musani, Matthias Althoff:
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric. CoRR abs/2302.01259 (2023) - [i34]Jakob Thumm, Guillaume Pelat, Matthias Althoff:
Reducing Safety Interventions in Provably Safe Reinforcement Learning. CoRR abs/2303.03339 (2023) - [i33]Eivind Meyer, Lars Frederik Peiss, Matthias Althoff:
Deep Occupancy-Predictive Representations for Autonomous Driving. CoRR abs/2303.04218 (2023) - [i32]Tobias Ladner, Matthias Althoff:
Specification-Driven Neural Network Reduction for Scalable Formal Verification. CoRR abs/2305.01932 (2023) - [i31]Yuanfei Lin, Michael Ratzel, Matthias Althoff:
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad. CoRR abs/2305.10080 (2023) - [i30]Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff:
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-organization Strategies and Provably-correct Design. CoRR abs/2305.17443 (2023) - [i29]Chencheng Tang, Matthias Althoff:
Formal Verification of Robotic Contact Tasks via Reachability Analysis. CoRR abs/2307.13977 (2023) - [i28]Jonathan Külz, Matthias Althoff:
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach. CoRR abs/2309.08399 (2023) - [i27]Laura Lützow, Matthias Althoff:
Reachability Analysis of ARMAX Models. CoRR abs/2309.11944 (2023) - [i26]Phillip Karle, Tobias Betz, Marcin Bosk, Felix Fent, Nils Gehrke, Maximilian Geisslinger, Luis Gressenbuch, Philipp Hafemann, Sebastian Huber, Maximilian Hübner, Sebastian Huch, Gemb Kaljavesi, Tobias Kerbl, Dominik Kulmer, Tobias Mascetta, Sebastian Maierhofer, Florian Pfab, Filip Rezabek, Esteban Rivera, Simon Sagmeister, Leander Seidlitz, Florian Sauerbeck, Ilir Tahiraj, Rainer Trauth, Nico Uhlemann, Gerald Würsching, Baha Zarrouki, Matthias Althoff, Johannes Betz, Klaus Bengler, Georg Carle, Frank Diermeyer, Jörg Ott, Markus Lienkamp:
EDGAR: An Autonomous Driving Research Platform - From Feature Development to Real-World Application. CoRR abs/2309.15492 (2023) - [i25]Jakob Thumm, Felix Trost, Matthias Althoff:
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration. CoRR abs/2310.06208 (2023) - [i24]Mark Wetzlinger, Matthias Althoff:
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation. CoRR abs/2310.19083 (2023) - [i23]Sebastian Mair, Matthias Althoff:
Provably-Correct Safety Protocol for Cooperative Platooning. CoRR abs/2312.08076 (2023) - 2022
- [j33]Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.:
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. Autom. 139: 110184 (2022) - [j32]Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff:
Formal Safety Net Control Using Backward Reachability Analysis. IEEE Trans. Autom. Control. 67(11): 5698-5713 (2022) - [j31]Andrea Giusti, Stefan B. Liu, Matthias Althoff:
Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems. IEEE Trans. Control. Syst. Technol. 30(4): 1525-1537 (2022) - [c155]Victor Gaßmann, Matthias Althoff:
Implementation of Ellipsoidal Operations in CORA 2022. ARCH@SAFECOMP 2022: 1-17 - [c154]Matthias Althoff:
Benchmarks for the Formal Verification of Power Systems. ARCH@SAFECOMP 2022: 26-43 - [c153]Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger:
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@SAFECOMP 2022: 58-85 - [c152]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger:
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP 2022: 86-112 - [c151]Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu:
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP 2022: 142-184 - [c150]Michael Eichelbeck, Hannah Markgraf, Matthias Althoff:
Contingency-constrained economic dispatch with safe reinforcement learning. ICMLA 2022: 597-602 - [c149]Sven R. Schepp, Jakob Thumm, Stefan B. Liu, Matthias Althoff:
SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. ICRA 2022: 4312-4317 - [c148]Jakob Thumm, Matthias Althoff:
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. ICRA 2022: 6344-6350 - [c147]Hanna Krasowski, Matthias Althoff:
CommonOcean: Composable Benchmarks for Motion Planning on Oceans. ITSC 2022: 1676-1682 - [c146]Luis Gressenbuch, Klemens Esterle, Tobias Kessler, Matthias Althoff:
MONA: The Munich Motion Dataset of Natural Driving. ITSC 2022: 2093-2100 - [c145]Edmond Irani Liu, Gerald Würsching, Moritz Klischat, Matthias Althoff:
CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles. ITSC 2022: 2313-2320 - [c144]Hanna Krasowski, Yinqiang Zhang, Matthias Althoff:
Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets. ITSC 2022: 2407-2414 - [c143]Xiao Wang, Christoph Pillmayer, Matthias Althoff:
Learning to Obey Traffic Rules using Constrained Policy Optimization. ITSC 2022: 2415-2421 - [c142]Patrick Halder, Matthias Althoff:
Minimum-Violation Velocity Planning with Temporal Logic Constraints. ITSC 2022: 2520-2527 - [c141]Yuanfei Lin, Matthias Althoff:
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories. IV 2022: 449-456 - [c140]Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff:
Formalization of Intersection Traffic Rules in Temporal Logic. IV 2022: 1135-1144 - [e7]Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jérémie Guiochet:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022. EPiC Series in Computing 90, EasyChair 2022 [contents] - [i22]Matthias Mayer, Jonathan Külz, Matthias Althoff:
cRoK: A Composable Robotics Benchmark. CoRR abs/2203.09337 (2022) - [i21]Michael Eichelbeck, Hannah Markgraf, Matthias Althoff:
Contingency-constrained economic dispatch with safe reinforcement learning. CoRR abs/2205.06212 (2022) - [i20]Jakob Thumm, Matthias Althoff:
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. CoRR abs/2205.06311 (2022) - [i19]Hanna Krasowski, Jakob Thumm, Marlon Müller, Xiao Wang, Matthias Althoff:
Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison. CoRR abs/2205.06750 (2022) - [i18]Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak:
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR abs/2207.02715 (2022) - [i17]Jonathan Külz, Matthias Mayer, Matthias Althoff:
Timor Python: A Toolbox for Industrial Modular Robotics. CoRR abs/2209.06758 (2022) - [i16]Yuanfei Lin, Haoxuan Li, Matthias Althoff:
Model Predictive Robustness of Signal Temporal Logic Predicates. CoRR abs/2209.07881 (2022) - [i15]Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. CoRR abs/2209.09321 (2022) - [i14]Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff:
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR abs/2210.10691 (2022) - [i13]Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff:
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. CoRR abs/2212.06129 (2022) - 2021
- [j30]Matthias Althoff, Goran Frehse, Antoine Girard:
Set Propagation Techniques for Reachability Analysis. Annu. Rev. Control. Robotics Auton. Syst. 4: 369-395 (2021) - [j29]Matthias Althoff, Jagat Jyoti Rath:
Comparison of guaranteed state estimators for linear time-invariant systems. Autom. 130: 109662 (2021) - [j28]Felix Gruber, Matthias Althoff:
Computing Safe Sets of Linear Sampled-Data Systems. IEEE Control. Syst. Lett. 5(2): 385-390 (2021) - [j27]Adrian Kulmburg, Matthias Althoff:
On the co-NP-completeness of the zonotope containment problem. Eur. J. Control 62: 84-91 (2021) - [j26]Egon Ye, Gerald Würsching, Sascha Steyer, Matthias Althoff:
Offline Dynamic Grid Generation for Automotive Environment Perception Using Temporal Inference Methods. IEEE Robotics Autom. Lett. 6(3): 5501-5508 (2021) - [j25]Bastian Schürmann, Matthias Althoff:
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems. IEEE Trans. Autom. Control. 66(3): 981-994 (2021) - [j24]Niklas Kochdumper, Matthias Althoff:
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. IEEE Trans. Autom. Control. 66(9): 4043-4058 (2021) - [j23]Fanta Camara, Nicola Bellotto, Serhan Cosar, Florian Weber, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Gustav Markkula, Anna Schieben, Fabio Tango, Natasha Merat, Charles W. Fox:
Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior. IEEE Trans. Intell. Transp. Syst. 22(9): 5453-5472 (2021) - [j22]Fanta Camara, Nicola Bellotto, Serhan Cosar, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Charles W. Fox:
Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Tracking. IEEE Trans. Intell. Transp. Syst. 22(10): 6131-6151 (2021) - [j21]Matthias Althoff, Sebastian Maierhofer, Christian Pek:
Provably-Correct and Comfortable Adaptive Cruise Control. IEEE Trans. Intell. Veh. 6(1): 159-174 (2021) - [j20]Stefanie Manzinger, Christian Pek, Matthias Althoff:
Using Reachable Sets for Trajectory Planning of Automated Vehicles. IEEE Trans. Intell. Veh. 6(2): 232-248 (2021) - [j19]Markus Koschi, Matthias Althoff:
Set-Based Prediction of Traffic Participants Considering Occlusions and Traffic Rules. IEEE Trans. Intell. Veh. 6(2): 249-265 (2021) - [j18]Christian Pek, Matthias Althoff:
Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization. IEEE Trans. Robotics 37(3): 798-814 (2021) - [c139]Victor Gaßmann, Matthias Althoff:
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. ADHS 2021: 85-90 - [c138]Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2021: 1-31 - [c137]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2021: 32-54 - [c136]Matthias Althoff:
Guaranteed State Estimation in CORA 2021. ARCH@ADHS 2021: 161-175 - [c135]Niklas Kochdumper, Philipp Gassert, Matthias Althoff:
Verification of Collision Avoidance for CommonRoad Traffic Scenarios. ARCH@ADHS 2021: 184-194 - [c134]Felix Gruber, Matthias Althoff:
Scalable robust output feedback MPC of linear sampled-data systems. CDC 2021: 2563-2570 - [c133]Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff:
Adaptive parameter tuning for reachability analysis of nonlinear systems. HSCC 2021: 16:1-16:11 - [c132]Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff:
AROC: a toolbox for automated reachset optimal controller synthesis. HSCC 2021: 23:1-23:6 - [c131]Stefan B. Liu, Matthias Althoff:
Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. IROS 2021: 777-783 - [c130]Xiao Wang, Hanna Krasowski, Matthias Althoff:
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. ITSC 2021: 466-472 - [c129]Yuanfei Lin, Sebastian Maierhofer, Matthias Althoff:
Sampling-Based Trajectory Repairing for Autonomous Vehicles. ITSC 2021: 572-579 - [c128]Gerald Würsching, Matthias Althoff:
Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets. ITSC 2021: 828-835 - [c127]Luis Gressenbuch, Matthias Althoff:
Predictive Monitoring of Traffic Rules. ITSC 2021: 915-922 - [c126]Sebastian Maierhofer, Moritz Klischat, Matthias Althoff:
CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. ITSC 2021: 3176-3182 - [c125]Hanna Krasowski, Matthias Althoff:
Temporal Logic Formalization of Marine Traffic Rules. IV 2021: 186-192 - [c124]Edmond Irani Liu, Matthias Althoff:
Computing Specification-Compliant Reachable Sets for Motion Planning of Automated Vehicles. IV 2021: 1037-1044 - [e6]Goran Frehse, Matthias Althoff:
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. EPiC Series in Computing 80, EasyChair 2021 [contents] - [d1]Stefan B. Liu, Andrea Giusti, Matthias Althoff:
Supplementary data for "Velocity Estimation of Robot Manipulators: An Experimental Comparison". IEEE DataPort, 2021
- [i12]Stefan B. Liu, Bastian Schürmann, Matthias Althoff:
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems. CoRR abs/2103.01626 (2021) - 2020
- [j17]Christian Pek, Stefanie Manzinger, Markus Koschi, Matthias Althoff:
Using online verification to prevent autonomous vehicles from causing accidents. Nat. Mach. Intell. 2(9): 518-528 (2020) - [j16]Matthias Althoff:
Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace. IEEE Trans. Autom. Control. 65(2): 477-492 (2020) - [c123]Victor Gaßmann, Matthias Althoff:
Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm. ACC 2020: 4715-4721 - [c122]Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH 2020: 16-48 - [c121]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2020: 49-75 - [c120]Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff:
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. ASP-DAC 2020: 199-204 - [c119]Niklas Kochdumper, Matthias Althoff:
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. CDC 2020: 2130-2137 - [c118]Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff:
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CDC 2020: 5145-5152 - [c117]Niklas Kochdumper, Bastian Schürmann, Matthias Althoff:
Utilizing dependencies to obtain subsets of reachable sets. HSCC 2020: 1:1-1:10 - [c116]Niklas Kochdumper, Matthias Althoff:
Reachability analysis for hybrid systems with nonlinear guard sets. HSCC 2020: 2:1-2:10 - [c115]Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff:
Event-Triggered Diffusion Kalman Filters. ICCPS 2020: 206-215 - [c114]Xiao Wang, Saasha Nair, Matthias Althoff:
Falsification-Based Robust Adversarial Reinforcement Learning. ICMLA 2020: 205-212 - [c113]Stefan B. Liu, Matthias Althoff:
Optimizing performance in automation through modular robots. ICRA 2020: 4044-4050 - [c112]Matthias Althoff, Matthias Mayer, Robert Müller:
Automatic Synthesis of Human Motion from Temporal Logic Specifications. IROS 2020: 4040-4046 - [c111]Moritz Klischat, Matthias Althoff:
A Multi-Step Approach to Accelerate the Computation of Reachable Sets for Road Vehicles. ITSC 2020: 1-7 - [c110]Moritz Klischat, Edmond Irani Liu, Fabian Holtke, Matthias Althoff:
Scenario Factory: Creating Safety-Critical Traffic Scenarios for Automated Vehicles. ITSC 2020: 1-7 - [c109]Hanna Krasowski, Xiao Wang, Matthias Althoff:
Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. ITSC 2020: 1-7 - [c108]Egon Ye, Matthias Althoff:
Mutual Absolute Calibration of Lidar Mounting Positions on Vehicles using CAD Models. ITSC 2020: 1-7 - [c107]Egon Ye, Philip Spiegel, Matthias Althoff:
Cooperative Raw Sensor Data Fusion for Ground Truth Generation in Autonomous Driving. ITSC 2020: 1-7 - [c106]Edmond Irani Liu, Christian Pek, Matthias Althoff:
Provably-Safe Cooperative Driving via Invariably Safe Sets. IV 2020: 516-523 - [c105]Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff:
Formalization of Interstate Traffic Rules in Temporal Logic. IV 2020: 752-759 - [c104]Christian Pek, Vitaliy Rusinov, Stefanie Manzinger, Murat Can Üste, Matthias Althoff:
CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms. IV 2020: 1013-1020 - [c103]Moritz Klischat, Matthias Althoff:
Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles. IV 2020: 2065-2072 - [i11]Fanta Camara, Nicola Bellotto, Serhan Cosar, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Charles W. Fox:
Pedestrian Models for Autonomous Driving Part I: low level models, from sensing to tracking. CoRR abs/2002.11669 (2020) - [i10]Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Matthias Althoff:
Distributed Set-Based Observers Using Diffusion Strategy. CoRR abs/2003.10347 (2020) - [i9]Fanta Camara, Nicola Bellotto, Serhan Cosar, Florian Weber, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Gustav Markkula, Anna Schieben, Fabio Tango, Natasha Merat, Charles W. Fox:
Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour. CoRR abs/2003.11959 (2020) - [i8]Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.:
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. CoRR abs/2006.04260 (2020) - [i7]Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff:
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CoRR abs/2006.12091 (2020) - [i6]Xiao Wang, Saasha Nair, Matthias Althoff:
Falsification-Based Robust Adversarial Reinforcement Learning. CoRR abs/2007.00691 (2020) - [i5]Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff:
Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption. CoRR abs/2010.11097 (2020)
2010 – 2019
- 2019
- [j15]Matthias Althoff, Andrea Giusti, Stefan B. Liu, Aaron Pereira:
Effortless creation of safe robots from modules through self-programming and self-verification. Sci. Robotics 4(31) (2019) - [j14]Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. 3(3): 30:1-30:26 (2019) - [c102]Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray:
A modal interface contract theory for guarded input/output automata with an application in traffic system design. ACC 2019: 1704-1711 - [c101]Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff:
Risk-aware motion planning for automated vehicle among human-driven cars. ACC 2019: 3987-3993 - [c100]Felix Gruber, Matthias Althoff:
Scalable Robust Model Predictive Control for Linear Sampled-Data Systems. CDC 2019: 438-444 - [c99]Amr Alanwar, Hazem Said, Matthias Althoff:
Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis. CDC 2019: 4133-4139 - [c98]Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek 2019: 14-40 - [c97]Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek 2019: 41-61 - [c96]Jingyuan Wu, Johannes Ruenz, Matthias Althoff:
Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms. ITSC 2019: 1032-1038 - [c95]Egon Ye, Matthias Althoff:
Model-based Offline Vehicle Tracking in Automotive Applications Using a Precise 3D Model. ITSC 2019: 1128-1135 - [c94]Markus Koschi, Christian Pek, Sebastian Maierhofer, Matthias Althoff:
Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems. ITSC 2019: 2879-2886 - [c93]Moritz Klischat, Matthias Althoff:
Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms. IV 2019: 2352-2358 - [c92]Moritz Klischat, Octav Dragoi, Mostafa Eissa, Matthias Althoff:
Coupling SUMO with a Motion Planning Framework for Automated Vehicles. SUMO 2019: 1-9 - [e5]Goran Frehse, Matthias Althoff:
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. EPiC Series in Computing 61, EasyChair 2019 [contents] - [i4]Niklas Kochdumper, Matthias Althoff:
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. CoRR abs/1901.01780 (2019) - [i3]Niklas Kochdumper, Bastian Schürmann, Matthias Althoff:
Utilizing Dependencies to Obtain Subsets of Reachable Sets. CoRR abs/1910.08354 (2019) - 2018
- [j13]Andrea Giusti, Martijn J. A. Zeestraten, Esra Icer, Aaron Pereira, Darwin G. Caldwell, Sylvain Calinon, Matthias Althoff:
Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics. IEEE Robotics Autom. Mag. 25(2): 18-27 (2018) - [j12]Aaron Pereira, Matthias Althoff:
Overapproximative Human Arm Occupancy Prediction for Collision Avoidance. IEEE Trans Autom. Sci. Eng. 15(2): 818-831 (2018) - [j11]Andrea Giusti, Matthias Althoff:
On-the-Fly Control Design of Modular Robot Manipulators. IEEE Trans. Control. Syst. Technol. 26(4): 1484-1491 (2018) - [j10]Sebastian Sontges, Matthias Althoff:
Computing the Drivable Area of Autonomous Road Vehicles in Dynamic Road Scenes. IEEE Trans. Intell. Transp. Syst. 19(6): 1855-1866 (2018) - [j9]Andrea Giusti, Jörn Malzahn, Nikolaos G. Tsagarakis, Matthias Althoff:
On the Combined Inverse-Dynamics/Passivity-Based Control of Elastic-Joint Robots. IEEE Trans. Robotics 34(6): 1461-1471 (2018) - [c91]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c90]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - [c89]Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper:
Implementation of Taylor models in CORA 2018. ARCH@ADHS 2018: 145-173 - [c88]Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff:
A Formally Verified Motion Planner for Autonomous Vehicles. ATVA 2018: 75-90 - [c87]Bastian Schürmann, Niklas Kochdumper, Matthias Althoff:
Reachset Model Predictive Control for Disturbed Nonlinear Systems. CDC 2018: 3463-3470 - [c86]Michael Wagner, Stefan B. Liu, Andrea Giusti, Matthias Althoff:
Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics. IRC 2018: 41-48 - [c85]Cedric Stark, Aaron Pereira, Matthias Althoff:
Reachset Conformance Testing of Human Arms with a Biomechanical Model. IRC 2018: 209-216 - [c84]George Mesesan, Máximo A. Roa, Esra Icer, Matthias Althoff:
Hierarchical Path Planner Using Workspace Decomposition and Parallel Task-Space RRTs. IROS 2018: 1-9 - [c83]Stefan B. Liu, Matthias Althoff:
Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. IROS 2018: 370-376 - [c82]Christian Pek, Matthias Althoff:
Efficient Computation of Invariably Safe States for Motion Planning of Self-Driving Vehicles. IROS 2018: 3523-3530 - [c81]Stefanie Manzinger, Matthias Althoff:
Tactical Decision Making for Cooperative Vehicles Using Reachable Sets. ITSC 2018: 444-451 - [c80]Christian Pek, Matthias Althoff:
Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization. ITSC 2018: 1447-1454 - [c79]Felix Gruber, Matthias Althoff:
Anytime Safety Verification of Autonomous Vehicles. ITSC 2018: 1708-1714 - [c78]Branka Mirchevska, Christian Pek, Moritz Werling, Matthias Althoff, Joschka Boedecker:
High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning. ITSC 2018: 2156-2162 - [c77]Markus Koschi, Christian Pek, Mona Beikirch, Matthias Althoff:
Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules. ITSC 2018: 2704-2711 - [c76]Alexander Zhu, Stefanie Manzinger, Matthias Althoff:
Evaluating Location Compliance Approaches for Automated Road Vehicles. Intelligent Vehicles Symposium 2018: 642-649 - [c75]Jingyuan Wu, Johannes Ruenz, Matthias Althoff:
Probabilistic Map-based Pedestrian Motion Prediction Taking Traffic Participants into Consideration. Intelligent Vehicles Symposium 2018: 1285-1292 - [c74]Matthias Althoff, Sebastian Lutz:
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles. Intelligent Vehicles Symposium 2018: 1326-1333 - [c73]Sebastian Sontges, Markus Koschi, Matthias Althoff:
Worst-case Analysis of the Time-To-React Using Reachable Sets. Intelligent Vehicles Symposium 2018: 1891-1897 - [c72]Christina Miller, Christian Pek, Matthias Althoff:
Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles. Intelligent Vehicles Symposium 2018: 1954-1961 - [c71]Matthias Althoff, Stefan Urban, Markus Koschi:
Automatic Conversion of Road Networks from OpenDRIVE to Lanelets. SOLI 2018: 157-162 - [e4]Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson:
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. EPiC Series in Computing 54, EasyChair 2018 [contents] - 2017
- [j8]Tankut Acarman, Matt Barth, Matthias Althoff, Nabil Aouf, Andreas A. Malikopoulos:
IEEE Transactions on Intelligent Vehicles New Senior Editors and Associate Editors. IEEE Trans. Intell. Veh. 2(4): 234-235 (2017) - [c70]Ahmed El-Guindy, Dongkun Han, Matthias Althoff:
Estimating the region of attraction via forward reachable sets. ACC 2017: 1263-1270 - [c69]Bastian Schürmann, Matthias Althoff:
Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems. ACC 2017: 2522-2529 - [c68]Ahmed El-Guindy, Yu Christine Chen, Matthias Althoff:
Compositional transient stability analysis of power systems via the computation of reachable sets. ACC 2017: 2536-2543 - [c67]Christian Pek, Markus Koschi, Moritz Werling, Matthias Althoff:
Enhancing motion safety by identifying safety-critical passageways. CDC 2017: 320-326 - [c66]Anna-Kathrin Kopetzki, Bastian Schürmann, Matthias Althoff:
Methods for order reduction of zonotopes. CDC 2017: 5626-5633 - [c65]Dario Beckert, Aaron Pereira, Matthias Althoff:
Online verification of multiple safety criteria for a robot trajectory. CDC 2017: 6454-6461 - [c64]Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek 2017: 143-159 - [c63]Xin Chen, Matthias Althoff, Fabian Immler:
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. ARCH@CPSWeek 2017: 160-169 - [c62]Stanley Bak, Sergiy Bogomolov, Matthias Althoff:
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. FORMATS 2017: 133-150 - [c61]Bastian Schürmann, Matthias Althoff:
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. HSCC 2017: 121-130 - [c60]Andrea Giusti, Jörn Malzahn, Nikolaos G. Tsagarakis, Matthias Althoff:
Combined inverse-dynamics/passivity-based control for robots with elastic joints. ICRA 2017: 5281-5288 - [c59]Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow:
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. IFM 2017: 50-66 - [c58]Andrea Giusti, Matthias Althoff:
Efficient Computation of Interval-Arithmetic-Based Robust Controllers for Rigid Robots. IRC 2017: 129-135 - [c57]Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff:
Provably safe motion of mobile robots in human environments. IROS 2017: 1351-1357 - [c56]Esra Icer, Heba A. Hassan, Khaled El-Ayat, Matthias Althoff:
Evolutionary cost-optimal composition synthesis of modular robots considering a given task. IROS 2017: 3562-3568 - [c55]Aaron Pereira, Matthias Althoff:
Calculating human reachable occupancy for guaranteed collision-free planning. IROS 2017: 4473-4480 - [c54]Davide Calzolari, Bastian Schürmann, Matthias Althoff:
Comparison of trajectory tracking controllers for autonomous vehicles. ITSC 2017: 1-8 - [c53]Markus Koschi, Matthias Althoff:
Interaction-aware occupancy prediction of road vehicles. ITSC 2017: 1-8 - [c52]Silvia Magdici, Zhenzhang Ye, Matthias Althoff:
Determining the maximum time horizon for vehicles to safely follow a trajectory. ITSC 2017: 1-7 - [c51]Stefanie Manzinger, Matthias Althoff:
Negotiation of drivable areas of cooperative vehicles for conflict resolution. ITSC 2017: 1-8 - [c50]Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff:
Ensuring drivability of planned motions using formal methods. ITSC 2017: 1-8 - [c49]Sebastian Sontges, Matthias Althoff:
Computing possible driving corridors for automated vehicles. Intelligent Vehicles Symposium 2017: 160-166 - [c48]Stefanie Manzinger, Marion Leibold, Matthias Althoff:
Driving strategy selection for cooperative vehicles using maneuver templates. Intelligent Vehicles Symposium 2017: 647-654 - [c47]Matthias Althoff, Markus Koschi, Stefanie Manzinger:
CommonRoad: Composable benchmarks for motion planning on roads. Intelligent Vehicles Symposium 2017: 719-726 - [c46]Christian Pek, Peter Zahn, Matthias Althoff:
Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules. Intelligent Vehicles Symposium 2017: 1477-1483 - [c45]Markus Koschi, Matthias Althoff:
SPOT: A tool for set-based prediction of traffic participants. Intelligent Vehicles Symposium 2017: 1686-1693 - [e3]Goran Frehse, Matthias Althoff:
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. EPiC Series in Computing 43, EasyChair 2017 [contents] - [e2]Goran Frehse, Matthias Althoff:
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. EPiC Series in Computing 48, EasyChair 2017 [contents] - [i2]Matthias Althoff:
Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace. CoRR abs/1712.00369 (2017) - 2016
- [j7]Matthias Althoff, Silvia Magdici:
Set-Based Prediction of Traffic Participants on Arbitrary Road Networks. IEEE Trans. Intell. Veh. 1(2): 187-202 (2016) - [c44]Esra Icer, Matthias Althoff:
Cost-optimal composition synthesis for modular robots. CCA 2016: 1408-1413 - [c43]Dongkun Han, Albert Rizaldi, Ahmed El-Guindy, Matthias Althoff:
On enlarging backward reachable sets via Zonotopic set membership. ISIC 2016: 1-8 - [c42]Bastian Schürmann, Ahmed El-Guindy, Matthias Althoff:
Closed-form expressions of convex combinations. ACC 2016: 2795-2801 - [c41]Andrea Giusti, Matthias Althoff:
Ultimate robust performance control of rigid robot manipulators using interval arithmetic. ACC 2016: 2995-3001 - [c40]Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff:
STL Model Checking of Continuous and Hybrid Systems. ATVA 2016: 412-427 - [c39]Dongkun Han, Matthias Althoff:
On estimating the Robust Domain of Attraction for uncertain non-polynomial systems: An LMI approach. CDC 2016: 2176-2183 - [c38]Dongkun Han, Ahmed El-Guindy, Matthias Althoff:
Estimating the domain of attraction based on the invariance principle. CDC 2016: 5569-5576 - [c37]Matthias Althoff, Goran Frehse:
Combining zonotopes and support functions for efficient reachability analysis of linear systems. CDC 2016: 7439-7446 - [c36]Matthias Althoff, Dmitry Grebenyuk:
Implementation of Interval Arithmetic in CORA 2016. ARCH@CPSWeek 2016: 91-105 - [c35]Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Reachset Conformance Testing of Hybrid Automata. HSCC 2016: 277-286 - [c34]Esra Icer, Andrea Giusti, Matthias Althoff:
A task-driven algorithm for configuration synthesis of modular robots. ICRA 2016: 5203-5209 - [c33]Aaron Pereira, Matthias Althoff:
Overapproximative arm occupancy prediction for human-robot co-existence built from archetypal movements. IROS 2016: 1394-1401 - [c32]Silvia Magdici, Matthias Althoff:
Fail-safe motion planning of autonomous vehicles. ITSC 2016: 452-458 - [c31]Matthias Althoff, Robert Lösch:
Can automated road vehicles harmonize with traffic flow while guaranteeing a safe distance? ITSC 2016: 485-491 - [c30]Albert Rizaldi, Fabian Immler, Matthias Althoff:
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. NFM 2016: 175-190 - [c29]Martijn J. A. Zeestraten, Aaron Pereira, Matthias Althoff, Sylvain Calinon:
Online motion synthesis with minimal intervention control and formal safety guarantees. SMC 2016: 2116-2121 - 2015
- [c28]Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke:
Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. ASP-DAC 2015: 725-730 - [c27]Dongkun Han, Matthias Althoff:
Control synthesis for non-polynomial systems: A domain of attraction perspective. CDC 2015: 1160-1167 - [c26]Matthias Althoff:
An Introduction to CORA 2015. ARCH@CPSWeek 2015: 120-151 - [c25]Aaron Pereira, Matthias Althoff:
Safety control of robots under Computed Torque control using reachable sets. ICRA 2015: 331-338 - [c24]Andrea Giusti, Matthias Althoff:
Automatic centralized controller design for modular and reconfigurable robot manipulators. IROS 2015: 3268-3275 - [c23]Daniel Althoff, Matthias Althoff, Sebastian A. Scherer:
Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets. IROS 2015: 3470-3477 - [c22]Sebastian Sontges, Matthias Althoff:
Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems. ITSC 2015: 956-961 - [c21]Albert Rizaldi, Matthias Althoff:
Formalising Traffic Rules for Accountability of Autonomous Vehicles. ITSC 2015: 1658-1665 - [c20]Albert Rizaldi, Sebastian Sontges, Matthias Althoff:
On time-memory trade-off for collision detection. Intelligent Vehicles Symposium 2015: 1173-1180 - [e1]Goran Frehse, Matthias Althoff:
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. EPiC Series in Computing 34, EasyChair 2015 [contents] - [i1]Matthias Althoff:
On Computing the Minkowski Difference of Zonotopes. CoRR abs/1512.02794 (2015) - 2014
- [j6]Matthias Althoff, Bruce H. Krogh:
Reachability Analysis of Nonlinear Differential-Algebraic Systems. IEEE Trans. Autom. Control. 59(2): 371-383 (2014) - [j5]Matthias Althoff, John M. Dolan:
Online Verification of Automated Road Vehicles Using Reachability Analysis. IEEE Trans. Robotics 30(4): 903-918 (2014) - [c19]Daniel Hess, Matthias Althoff, Thomas Sattel:
Formal verification of maneuver automata for parameterized motion primitives. IROS 2014: 1474-1481 - 2013
- [j4]Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. Commun. ACM 56(10): 97-104 (2013) - [c18]Matthias Althoff:
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. HSCC 2013: 173-182 - [c17]Matthias Althoff, Daniel Hess, Florian Gambert:
Road occupancy prediction of traffic participants. ITSC 2013: 99-105 - [c16]Daniel Hess, Matthias Althoff, Thomas Sattel:
Should collision avoidance systems use yaw stabilization? ITSC 2013: 2058-2062 - [c15]Daniel Hess, Matthias Althoff, Thomas Sattel:
Comparison of trajectory tracking controllers for emergency situations. Intelligent Vehicles Symposium 2013: 163-170 - 2012
- [c14]Matthias Althoff, John M. Dolan:
Reachability computation of low-order models for the safety verification of high-order road vehicle models. ACC 2012: 3559-3566 - [c13]Matthias Althoff, Bruce H. Krogh:
Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54 - [c12]Matthias Althoff, Milos Cvetkovic, Marija Ilic:
Transient stability analysis by reachable set computation. ISGT Europe 2012: 1-8 - 2011
- [j3]Matthias Althoff, Alexander Mergel:
Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars. IEEE Trans. Intell. Transp. Syst. 12(4): 1237-1247 (2011) - [c11]Matthias Althoff, Bruce H. Krogh:
Zonotope bundles for the efficient computation of reachable sets. CDC/ECC 2011: 6814-6821 - [c10]Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102 - [c9]Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. ICCAD 2011: 659-666 - [c8]Matthias Althoff, John M. Dolan:
Set-based computation of vehicle behaviors for the online verification of autonomous vehicles. ITSC 2011: 1162-1167 - 2010
- [c7]Daniel Althoff, Matthias Althoff, Dirk Wollherr, Martin Buss:
Probabilistic collision state checker for crowded environments. ICRA 2010: 1492-1498 - [c6]Matthias Althoff, Daniel Althoff, Dirk Wollherr, Martin Buss:
Safety verification of autonomous vehicles for coordinated evasive maneuvers. Intelligent Vehicles Symposium 2010: 1078-1083
2000 – 2009
- 2009
- [j2]Matthias Althoff, Olaf Stursberg, Martin Buss:
Model-Based Probabilistic Collision Detection in Autonomous Driving. IEEE Trans. Intell. Transp. Syst. 10(2): 299-310 (2009) - [c5]Matthias Althoff, Olaf Stursberg, Martin Buss:
Safety assessment for stochastic linear systems using enclosing hulls of probability density functions. ECC 2009: 625-630 - 2008
- [j1]Matthias Althoff, Olaf Stursberg, Martin Buss:
Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). Autom. 56(12): 653-661 (2008) - [c4]Matthias Althoff, Olaf Stursberg, Martin Buss:
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. CDC 2008: 4042-4048 - [c3]Florian Rohrmüller, Matthias Althoff, Dirk Wollherr, Martin Buss:
Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments. IROS 2008: 2504-2510 - 2007
- [c2]Matthias Althoff, Olaf Stursberg, Martin Buss:
Safety Assessment of Autonomous Cars using Verification Techniques. ACC 2007: 4154-4159 - [c1]Matthias Althoff, Olaf Stursberg, Martin Buss:
Reachability analysis of linear systems with uncertain parameters and inputs. CDC 2007: 726-732
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
