Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation

Autor: Wetzlinger, Mark, Althoff, Matthias

Backward reachability analysis computes the set of states that reach a target set under the competing influence of control input and disturbances. Depending on their interplay, the backward reachable set either represents all states that can be steer

Externí odkaz: http://arxiv.org/abs/2310.19083

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

Autor: Wetzlinger, Mark, Kochdumper, Niklas, Althoff, Matthias

Despite the possibility to quickly compute reachable sets of large-scale linear systems, current methods are not yet widely applied by practitioners. The main reason for this is probably that current approaches are not push-button-capable and still r

Externí odkaz: http://arxiv.org/abs/2006.12091

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

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

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

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