Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

DOI10.1016/j.nahs.2024.101532MaRDI QIDQ6643189

Pierluigi Nuzzo, Tiziano Villa, Luca Geretti, Peter J. Collins

Publication date: 26 November 2024

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

zbMATH Keywords

optimizationreachability analysisrigorous numericssafety verificationtool automation

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Attainable sets, reachability (93B03)

Cites Work

• Unnamed Item
• Efficient polyhedral enclosures for the reachable set of nonlinear control systems
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
• Robust data-driven predictive control using reachability analysis
• Automatic invariant generation for hybrid systems using ideal fixed points
• Flowpipe approximation and clustering in space-time
• KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
• A computable and compositional semantics for hybrid automata
• JuliaReach
• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
• Adaptive parameter tuning for reachability analysis of nonlinear systems
• Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets

This page was built for publication: Constraint-driven nonlinear reachability analysis with automated tuning of tool properties