Adaptive parameter tuning for reachability analysis of nonlinear systems

DOI10.1145/3447928.3456643MaRDI QIDQ6120656zbMATH OpenOpenAlexFDO

Authors Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff

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

zbMATH Keywords

parameter tuningnonlinear systemsreachability analysis

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 434852 (Why is no real title available?)
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• A dynamic algorithm for approximate flow computations
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Accurate hybridization of nonlinear systems
• An equation for continuous chaos
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• Chaos in low-dimensional Lotka–Volterra models of competition
• Computation and application of Taylor polynomials with interval remainder bounds
• Computational techniques for hybrid system verification
• Computing reachable states for nonlinear biological models
• Deterministic Nonperiodic Flow
• Generating invariants for non-linear hybrid systems by linear algebraic methods
• Hybrid Systems: Computation and Control
• Hybridization methods for the analysis of nonlinear systems
• Interval analysis: Theory and applications
• JuliaReach
• Numerical solution of ordinary differential equations
• On order conditions for modified Patankar-Runge-Kutta schemes
• Parsimonious, Simulation Based Verification of Linear Systems
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• Reachable set computation for uncertain time-varying linear systems
• Rigorous integration of flows and ODEs using Taylor models
• Safety verification of nonlinear hybrid systems based on invariant clusters
• Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
• Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
• Symbolic reachability computation for families of linear vector fields
• Verified High-Order Integration of DAEs and Higher-Order ODEs

Cited in

(2)

• Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
• Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

This page was built for publication: Adaptive parameter tuning for reachability analysis of nonlinear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120656)