Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

DOI10.1007/978-3-642-24690-6_13zbMath1350.68231OpenAlexW2112322240MaRDI QIDQ3095239

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

Mathematics Subject Classification ID

Related Items (5)

Railway scheduling using Boolean satisfiability modulo simulations ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Reachability computation for polynomial dynamical systems ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants

Uses Software

• HyTech
• RSOLVER
• HSolver
• Cosy
• VNODE
• iSat

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing reachable sets for uncertain nonlinear monotone systems
• An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
• Region Stability Proofs for Hybrid Systems
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• 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

This page was built for publication: Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods