SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
From MaRDI portal
Recommendations
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- Hybrid Systems: Computation and Control
- Planning for hybrid systems via satisfiability modulo theories
- SAT Modulo Differential Equation Simulations
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- On SAT Modulo Theories and Optimization Problems
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- scientific article; zbMATH DE number 1670789
- Solving constraint satisfaction problems with SAT modulo theories
Cites work
- 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 machine program for theorem-proving
- Computer Aided Verification
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Verifying industrial hybrid systems with \textsc{MathSAT}
Cited in
(13)- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Monitoring bounded LTL properties using interval analysis
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Temporal logic verification for delay differential equations
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Quantifier-free encoding of invariants for hybrid systems
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- SAT Modulo Differential Equation Simulations
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
This page was built for publication: SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540072)
