Adaptive parameter tuning for reachability analysis of nonlinear systems
type: Item
instance of: scholarly article
title: Adaptive parameter tuning for reachability analysis of nonlinear systems
DOI: 10.1145/3447928.3456643
author: Mark Wetzlinger
author: Adrian Kulmburg
author: Matthias Althoff
published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
publication date: 2024-02-21T00:00:00Z
full work available at URL: https://mediatum.ub.tum.de/1615814
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 7807689
zbMATH Keywords: nonlinear systems
zbMATH Keywords: parameter tuning
zbMATH Keywords: reachability analysis
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3157916904
cites work: Interval analysis: Theory and applications
cites work: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
cites work: Reachable set computation for uncertain time-varying linear systems
cites work: Q4417974
cites work: Hybridization methods for the analysis of nonlinear systems
cites work: Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
cites work: Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
cites work: Computation and application of Taylor polynomials with interval remainder bounds
cites work: JuliaReach
cites work: Computational techniques for hybrid system verification
cites work: Accurate hybridization of nonlinear systems
cites work: Computing reachable states for nonlinear biological models
cites work: Parsimonious, Simulation Based Verification of Linear Systems
cites work: Hybrid Systems: Computation and Control
cites work: Verified High-Order Integration of DAEs and Higher-Order ODEs
cites work: Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
cites work: Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
cites work: On order conditions for modified Patankar-Runge-Kutta schemes
cites work: Symbolic reachability computation for families of linear vector fields
cites work: Numerical solution of ordinary differential equations
cites work: Reachability analysis of nonlinear systems using hybridization and dynamics scaling
cites work: Deterministic Nonperiodic Flow
cites work: Rigorous integration of flows and ODEs using taylor models
cites work: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
cites work: A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
cites work: A dynamic algorithm for approximate flow computations
cites work: An equation for continuous chaos
cites work: Q3139697
cites work: Chaos in low-dimensional Lotka–Volterra models of competition
description: scientific article; zbMATH DE number 7807689