Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Just-in-time Self-Verification of Autonomous Systems

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (28)
CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms (s’ouvre dans une nouvelle fenêtre)

Auteurs: Christian Pek, Vitaliy Rusinov, Stefanie Manzinger, Murat Can Uste, Matthias Althoff
Publié dans: 2020 IEEE Intelligent Vehicles Symposium (IV), 2020, Page(s) 1013-1020, ISBN 978-1-7281-6673-5
Éditeur: IEEE
DOI: 10.1109/iv47402.2020.9304544

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: 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
Publié dans: EPiC Series in Computing volume 74, 2020, Page(s) 49-21
Éditeur: EasyChair
DOI: 10.29007/zkf6

Guaranteed State Estimation in CORA 2021 (s’ouvre dans une nouvelle fenêtre)

Auteurs: M. Althoff
Publié dans: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021
Éditeur: EasyChair
DOI: 10.29007/7m2k

Scalable robust output feedback MPC of linear sampled-data systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: F. Gruber and M. Althoff
Publié dans: 2021
Éditeur: IEEE
DOI: 10.1109/cdc45484.2021.9683384

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
Publié dans: 2022
Éditeur: EasyChair
DOI: 10.29007/mmzc

Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: M. Wetzlinger, A. Kulmburg and M. Althoff
Publié dans: Proc.of the 24th International Conference on Hybrid Systems: Computation and Control, 2021
Éditeur: ACM
DOI: 10.1145/3447928.3456643

Automatic Synthesis of Human Motion from Temporal Logic Specifications (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matthias Althoff, Matthias Mayer, Robert Muller
Publié dans: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, Page(s) 4040-4046, ISBN 978-1-7281-6212-6
Éditeur: IEEE
DOI: 10.1109/iros45743.2020.9341666

Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis (s’ouvre dans une nouvelle fenêtre)

Auteurs: Amr Alanwar, Hazem Said, Matthias Althoff
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4133-4139, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029929

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: 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
Publié dans: 2023
Éditeur: EasyChair
DOI: 10.29007/93f2

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: M. Althoff and E. Abraham and M. Forets and G. Frehse and D. Freire and C. Schilling and S. Schupp and M. Wetzlinger
Publié dans: 2021
Éditeur: EasyChair
DOI: 10.29007/lhbw

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
Publié dans: 2023
Éditeur: EasyChair
DOI: 10.29007/nl86

Provably Correct Safety Protocol for Cooperative Platooning (s’ouvre dans une nouvelle fenêtre)

Auteurs: Sebastian Mair, Matthias Althoff
Publié dans: 2024 IEEE Intelligent Vehicles Symposium (IV), 2024
Éditeur: IEEE
DOI: 10.1109/iv55156.2024.10588824

Implementation of Ellipsoidal Operations in CORA 2022 (s’ouvre dans une nouvelle fenêtre)

Auteurs: Victor Gaßmann, Matthias Althoff
Publié dans: 2022
Éditeur: EasyChair
DOI: 10.29007/p328

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: 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
Publié dans: EPiC Series in Computing volume 74, 2020, Page(s) 16--18
Éditeur: EasyChair
DOI: 10.29007/7dt2

Scalable Robust Model Predictive Control for Linear Sampled-Data Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Felix Gruber, Matthias Althoff
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 438-444, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029873

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes (s’ouvre dans une nouvelle fenêtre)

Auteurs: Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Publié dans: 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-33170-1_2

AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis

Auteurs: N. Kochdumper, F. Gruber,V. Gaßmann, M. Klischat, B. Schürmann and M. Althoff
Publié dans: 2021
Éditeur: ACM

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: L. Geretti, J.~A. dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, P. Collins, P.~S. Duggirala, M. Forets, E. Kim, U. Linares, D.~P. Sanders, C. Schilling and M. Wetzlinger
Publié dans: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021
Éditeur: EasyChair
DOI: 10.29007/2jw8

Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Adrian Kulmburg, Ivan Brkan, Matthias Althoff
Publié dans: 2024 European Control Conference (ECC), 2024
Éditeur: IEEE
DOI: 10.23919/ecc64448.2024.10590884

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

Auteurs: A. Kulmburg and M. Althoff
Publié dans: 2021
Éditeur: IEEE

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
Publié dans: 2022
Éditeur: EasyChair
DOI: 10.29007/fnzc

Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm (s’ouvre dans une nouvelle fenêtre)

Auteurs: Victor Gasmann, Matthias Althoff
Publié dans: 2020 American Control Conference (ACC), 2020, Page(s) 4715-4721, ISBN 978-1-5386-8266-1
Éditeur: IEEE
DOI: 10.23919/acc45564.2020.9147938

Checking and Establishing Reachset Conformance in CORA 2023 (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matthias Althoff
Publié dans: 2023
Éditeur: EasyChair
DOI: 10.29007/5v1g

Reachability Analysis of ARMAX Models (s’ouvre dans une nouvelle fenêtre)

Auteurs: Laura Lützow, Matthias Althoff
Publié dans: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024
Éditeur: IEEE
DOI: 10.1109/cdc49753.2023.10383972

Verification of Collision Avoidance for CommonRoad Traffic Scenarios (s’ouvre dans une nouvelle fenêtre)

Auteurs: N. Kochdumper and P. Gassert and M. Althoff
Publié dans: 2021
Éditeur: EasyChair
DOI: 10.29007/1973

Event-Triggered Diffusion Kalman Filters (s’ouvre dans une nouvelle fenêtre)

Auteurs: Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff
Publié dans: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), 2020, Page(s) 206-215, ISBN 978-1-7281-5501-2
Éditeur: IEEE
DOI: 10.1109/iccps48487.2020.00032

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Publié dans: 2023
Éditeur: ACM
DOI: 10.1145/3575870.3587121

Benchmarks for the Formal Verification of Power Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matthias Althoff
Publié dans: 2022
Éditeur: EasyChair
DOI: 10.29007/tg4s

Peer reviewed articles (24)
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Publié dans: IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2023.3292008

Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes (s’ouvre dans une nouvelle fenêtre)

Auteurs: Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
Publié dans: IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Éditeur: IEEE
DOI: 10.1109/ojcsys.2023.3256305

Distributed set-based observers using diffusion strategies (s’ouvre dans une nouvelle fenêtre)

Auteurs: Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
Publié dans: Journal of the Franklin Institute, 2023, ISSN 0016-0032
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.jfranklin.2023.03.025

Provably-Correct and Comfortable Adaptive Cruise Control (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matthias Althoff, Sebastian Maierhofer, Christian Pek
Publié dans: IEEE Transactions on Intelligent Vehicles, Numéro 6/1, 2021, Page(s) 159-174, ISSN 2379-8904
Éditeur: IEEE
DOI: 10.1109/tiv.2020.2991953

Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design (s’ouvre dans une nouvelle fenêtre)

Auteurs: Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff
Publié dans: IEEE Transactions on Intelligent Vehicles, Numéro 9, 2024, Page(s) 2262-2275, ISSN 2379-8904
Éditeur: IEEE
DOI: 10.1109/tiv.2023.3317977

Scalable Reachset-Conformant Identification of Linear Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Laura Lützow, Matthias Althoff
Publié dans: IEEE Control Systems Letters, Numéro 8, 2024, Page(s) 520-525, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2024.3397058

Comparison of guaranteed state estimators for linear time-invariant systems

Auteurs: Matthias Althoff, Jagat Jyoti Rath
Publié dans: Automatica, 2021, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.

Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mark Wetzlinger, Adrian Kulmburg, Alexis Le Penven, Matthias Althoff
Publié dans: Nonlinear Analysis: Hybrid Systems, 2022, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.1016/j.nahs.2022.101252

Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study (s’ouvre dans une nouvelle fenêtre)

Auteurs: Aaron Pereira, Mareike Baumann, Jonas Gerstner, Matthias Althoff
Publié dans: IEEE Transactions on Automation Science and Engineering, 2023, ISSN 1545-5955
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tase.2022.3201970

Polynomial Controller Synthesis of Nonlinear Systems With Continuous State Feedback Using Trust Regions (s’ouvre dans une nouvelle fenêtre)

Auteurs: Victor Gaßmann, Matthias Althoff
Publié dans: IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Éditeur: IEEE
DOI: 10.1109/ojcsys.2023.3301335

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (s’ouvre dans une nouvelle fenêtre)

Auteurs: Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo
Publié dans: urn:issn:0005-1098, Numéro 1, 2022, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110184

Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: B. Schürmann and M. Althoff
Publié dans: IEEE Transactions on Automatic Control, Numéro 66, 2021, Page(s) 981–994, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.2989762

Computing Safe Sets of Linear Sampled-Data Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Felix Gruber, Matthias Althoff
Publié dans: IEEE Control Systems Letters, Numéro 5/2, 2021, Page(s) 385-390, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2020.3002476

Privacy-preserving set-based estimation using partially homomorphic encryption (s’ouvre dans une nouvelle fenêtre)

Auteurs: Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl H. Johansson, Matthias Althoff
Publié dans: European Journal of Control, 2023, ISSN 0947-3580
Éditeur: Lavoisier
DOI: 10.1016/j.ejcon.2023.100786

Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Victor Gaßmann and Matthias Althoff
Publié dans: IFAC-PapersOnLine, Numéro 5, 2021, Page(s) 85–90, ISSN 2405-8963
Éditeur: Elsevier
DOI: 10.1016/j.ifacol.2021.08.479

Constrained polynomial zonotopes (s’ouvre dans une nouvelle fenêtre)

Auteurs: N. Kochdumper, M. Althoff
Publié dans: Acta Informatica, 2023, ISSN 1432-0525
Éditeur: Springer
DOI: 10.1007/s00236-023-00437-5

Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Lukas Schäfer, Felix Gruber, Matthias Althoff
Publié dans: IEEE Transactions on Automatic Control, Numéro 69, 2024, Page(s) 755-770, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2023.3275305

Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Publié dans: IEEE Control Systems Letters, Numéro 8, 2024, Page(s) 2033-2038, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2024.3421194

Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges (s’ouvre dans une nouvelle fenêtre)

Auteurs: Noushin Mehdipour, Matthias Althoff, Radboud Duintjer Tebbens, Calin Belta
Publié dans: Automatica, 2023, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110692

Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking

Auteurs: "Hanna Krasowski and Jakob Thumm and Marlon M{\""u}ller and Lukas Sch{\""a}fer and Xiao Wang and Matthias Althoff"
Publié dans: Transactions on Machine Learning Research, 2023, ISSN 2835-8856
Éditeur: OpenReview

Scalable Robust Safety Filter With Unknown Disturbance Set (s’ouvre dans une nouvelle fenêtre)

Auteurs: Felix Guber, Matthias Althoff
Publié dans: IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2023.3292329

Formal Safety Net Control Using Backward Reachability Analysis (s’ouvre dans une nouvelle fenêtre)

Auteurs: Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
Publié dans: IEEE Transactions on Automatic Control, 2022, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2021.3124188

Set-based Prediction of Traffic Participants Considering Occlusions and Traffic Rules (s’ouvre dans une nouvelle fenêtre)

Auteurs: Markus Koschi, Matthias Althoff
Publié dans: IEEE Transactions on Intelligent Vehicles, 2021, Page(s) 1-1, ISSN 2379-8904
Éditeur: IEEE
DOI: 10.1109/tiv.2020.3017385

Set Propagation Techniques for Reachability Analysis (s’ouvre dans une nouvelle fenêtre)

Auteurs: Matthias Althoff, Goran Frehse, Antoine Girard
Publié dans: Annual Review of Control, Robotics, and Autonomous Systems, Numéro 4/1, 2021, Page(s) 369-395, ISSN 2573-5144
Éditeur: Annual Reviews
DOI: 10.1146/annurev-control-071420-081941

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Partager cette page Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page

Dernière mise à jour: 17 Février 2025

Mon livret

Permalink: https://cordis.europa.eu/project/id/817629/results/fr

European Union, 2025

Mon livret 0 0