Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
From MaRDI portal
(Redirected from Publication:3095239)
Recommendations
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Verifying industrial hybrid systems with \textsc{MathSAT}
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
Cites work
- scientific article; zbMATH DE number 1670796 (Why is no real title available?)
- scientific article; zbMATH DE number 1444347 (Why is no real title available?)
- scientific article; zbMATH DE number 5263038 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
- A machine program for theorem-proving
- An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
- Computing reachable sets for uncertain nonlinear monotone systems
- Region Stability Proofs for Hybrid Systems
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Cited in
(7)- Railway scheduling using Boolean satisfiability modulo simulations
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Quantifier-free encoding of invariants for hybrid systems
- SAT Modulo Differential Equation Simulations
- Reachability computation for polynomial dynamical systems
This page was built for publication: Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3095239)
