Zobrazeno 1 - 10
of 20
pro vyhledávání: '"justITSELF"'
Autor:
Bastian Schürmann, Matthias Althoff
Publikováno v:
IEEE Transactions on Automatic Control
In this article, we present a novel control approach for formally solving reach-avoid problems for constrained and disturbed nonlinear systems by optimizing over reachable sets. Reach-avoid problems arise in many modern control applications of safety
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb72c3c44ff3e0000bd88b228d470e83
https://doi.org/10.1109/tac.2020.2989762
https://doi.org/10.1109/tac.2020.2989762
We propose a benchmark for the verification of autonomous vehicles. By considering different traffic scenarios from the CommonRoad database, we obtain several thousands of different verification tasks, where the verification problem is to prove that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11fd7458e9d4458b88b42308052c6f3c
Autor:
Felix Gruber, Matthias Althoff
Publikováno v:
IEEE Control Systems Letters
Leveraging autonomous systems in safety-critical applications requires formal robustness guarantees against uncertainties. We address this issue by computing safe terminal sets with corresponding safety-preserving terminal controllers, which ensure r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21391bb91aa3cd7f8e9a6ba3b2d080c9
Autor:
Matthias Althoff, Markus Koschi
Publikováno v:
IEEE Transactions on Intelligent Vehicles
Provably safe motion planning for automated road vehicles must ensure that planned motions do not result in a collision with other traffic participants. This is a major challenge in autonomous driving, since the future behavior of other traffic parti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c71d19f3fd8ac0401e4d8acc9a44b792
Autor:
Matthias Althoff, Victor Gaßmann
Publikováno v:
IFAC-Papers
ADHS
ADHS
We introduce a new control synthesis approach to solve reach-avoid problems occurring in many fields, such as autonomous driving or robot motion planning. Our control approach steers a set of initial states as close as possible to a given target stat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3937109b2fb06c4341bc9d30ebd9690
Autor:
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
Publikováno v:
Althoff, M, Ábrahám, E, Forets, M, Frehse, G, Freire, D, Schilling, C, Schupp, S & Wetzlinger, M 2021, ARCH-COMP21 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics . in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) . EasyChair, EPiC Series in Computing, vol. 80, pp. 1-31, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bruxelles, Belgium, 09/07/2021 . https://doi.org/10.29007/lhbw
We present the results of the ARCH1 2021 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its fifth edition, four tools have been applied to solve nine different benchmark problems in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::384ae16454900a77c2e9fdc90c27f7ee
https://vbn.aau.dk/da/publications/4cbf4436-8097-4c32-8563-5c6e3e093576
https://vbn.aau.dk/da/publications/4cbf4436-8097-4c32-8563-5c6e3e093576
Autor:
Matthias Althoff, Bastian Schürmann, Niklas Kochdumper, Moritz Klischat, Victor Gaßmann, Felix Gruber
Publikováno v:
HSCC
We present a MATLAB toolbox for Automated Reachset Optimal Control (AROC) that automatically synthesizes verified controllers for solving reach-avoid problems using reachability analysis. The toolbox implements two different types of control approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4091eb8e2141ab59af7eab221379b4b9
https://mediatum.ub.tum.de/doc/1615633/document.pdf
https://mediatum.ub.tum.de/doc/1615633/document.pdf
Autor:
Adrian Kulmburg, Matthias Althoff
We introduce a new type of norm for non-degenerate zonotopes to solve the point containment problem, i.e., whether a point lies in a zonotope. With this norm we prove the co-NP-completeness of the zonotope containment problem, i.e., whether a zonotop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bff9f3b86614c95259b74565c0f336ad
https://mediatum.ub.tum.de/1616344
https://mediatum.ub.tum.de/1616344
Publikováno v:
Annual Review of Control, Robotics, and Autonomous Systems
Annual Review of Control, Robotics, and Autonomous Systems, Annual Reviews 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
Annual Review of Control, Robotics, and Autonomous Systems, Annual Reviews 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
International audience; Reachability analysis consists in computing the set of states that are reachable by a dynamical system from all initial states and for all admissible inputs and parameters. It is a fundamental problem motivated by many applica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd34898bd5b7535a23b87f4f9ad61fff
https://mediatum.ub.tum.de/1636781
https://mediatum.ub.tum.de/1636781
Autor:
Geretti, Luca, Alexandre dit Sandretto, Julien, Althoff, Matthias, Benet, Luis, Chapoutot, Alexandre, Collins, Pieter, Duggirala, Parasara Sridhar, Forets, Marcelo, Kim, Edward, Linares, Uziel, Sanders, David P., Schilling, Christian, Wetzlinger, Mark, Frehse, Goran
Publikováno v:
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Geretti, L, Sandretto, J A D, Althoff, M, Benet, L, Chapoutot, A, Collins, P, Duggirala, P S, Forets, M, Kim, E, Linares, U, Sanders, D P, Schilling, C & Wetzlinger, M 2021, ARCH-COMP21 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics . in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) . EasyChair, EPiC Series in Computing, vol. 80, pp. 32-54, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bruxelles, Belgium, 09/07/2021 . https://doi.org/10.29007/2jw8
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Geretti, L, Sandretto, J A D, Althoff, M, Benet, L, Chapoutot, A, Collins, P, Duggirala, P S, Forets, M, Kim, E, Linares, U, Sanders, D P, Schilling, C & Wetzlinger, M 2021, ARCH-COMP21 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics . in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) . EasyChair, EPiC Series in Computing, vol. 80, pp. 32-54, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bruxelles, Belgium, 09/07/2021 . https://doi.org/10.29007/2jw8
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85e4f97224992787111b3b787bd8dd6d
https://mediatum.ub.tum.de/1638308
https://mediatum.ub.tum.de/1638308