SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

DOI10.1007/978-3-540-88387-6_14zbMath1183.68369MaRDI QIDQ3540072

Martin Fränzle, Andreas Eggers, Christian Herde

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_14

Mathematics Subject Classification ID

65G30: Interval and finite arithmetic

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Challenges in Constraint-Based Analysis of Hybrid Systems, Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques, Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Uses Software

• HySAT
• MathSAT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• HySAT: An efficient proof engine for bounded model checking of hybrid systems
• 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
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Computer Aided Verification
• A machine program for theorem-proving