Adaptive parameter tuning for reachability analysis of nonlinear systems
From MaRDI portal
Publication:6120656
DOI10.1145/3447928.3456643OpenAlexW3157916904MaRDI QIDQ6120656
Matthias Althoff, Mark Wetzlinger, Adrian Kulmburg
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://mediatum.ub.tum.de/1615814
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Computing reachable states for nonlinear biological models
- Hybridization methods for the analysis of nonlinear systems
- Computation and application of Taylor polynomials with interval remainder bounds
- Interval analysis: Theory and applications
- On order conditions for modified Patankar-Runge-Kutta schemes
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- An equation for continuous chaos
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- Numerical solution of ordinary differential equations
- Rigorous integration of flows and ODEs using taylor models
- Accurate hybridization of nonlinear systems
- Reachable set computation for uncertain time-varying linear systems
- A dynamic algorithm for approximate flow computations
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Chaos in low-dimensional Lotka–Volterra models of competition
- Verified High-Order Integration of DAEs and Higher-Order ODEs
- Deterministic Nonperiodic Flow
- Parsimonious, Simulation Based Verification of Linear Systems
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
- JuliaReach
- Computational techniques for hybrid system verification
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
- Hybrid Systems: Computation and Control
- Symbolic reachability computation for families of linear vector fields