Challenges in Constraint-Based Analysis of Hybrid Systems
From MaRDI portal
Recommendations
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Verifying industrial hybrid systems with \textsc{MathSAT}
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Constraint-Based Approach for Analysis of Hybrid Systems
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
Cites work
- scientific article; zbMATH DE number 4084894 (Why is no real title available?)
- scientific article; zbMATH DE number 1263213 (Why is no real title available?)
- scientific article; zbMATH DE number 1424031 (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 fast parallel SAT-solver -- efficient workload balancing
- A machine program for theorem-proving
- Accelerating bounded model checking of safety properties
- An interpolating theorem prover
- Constraint Solving for Interpolation
- Efficient Interpolant Generation in Satisfiability Modulo Theories
- Games against nature
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Hybrid Systems: Computation and Control
- Interpolation and SAT-based model checking.
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Lower bounds for resolution and cutting plane proofs and monotone computations
- PSATO: A distributed propositional prover and its application to quasigroup problems
- PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications
- Parallel SAT solving in bounded model checking
- Parallelizing SATZ using dynamic workload balancing
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Verifying industrial hybrid systems with \textsc{MathSAT}
Cited in
(5)- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Hybrid Systems with Constraints
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
This page was built for publication: Challenges in Constraint-Based Analysis of Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5191406)
