Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
From MaRDI portal
Recommendations
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- A tree structure approach to reachability analysis
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Reachability analysis of non-linear planar autonomous systems
Cites work
- A computable and compositional semantics for hybrid automata
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
- Automatic invariant generation for hybrid systems using ideal fixed points
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Flowpipe approximation and clustering in space-time
- Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
- scientific article; zbMATH DE number 53382 (Why is no real title available?)
- JuliaReach
- KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
- Robust data-driven predictive control using reachability analysis
This page was built for publication: Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643189)
