Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
From MaRDI portal
Publication:3095239
DOI10.1007/978-3-642-24690-6_13zbMATH Open1350.68231OpenAlexW2112322240MaRDI QIDQ3095239FDOQ3095239
Andreas Eggers, Martin Fränzle, Nacim Ramdani, Nedialko S. Nedialkov
Publication date: 28 October 2011
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24690-6_13
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
- A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Title not available (Why is that?)
- An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
- Title not available (Why is that?)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Computing reachable sets for uncertain nonlinear monotone systems
- Title not available (Why is that?)
- Region Stability Proofs for 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
Uses Software
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)
