Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
DOI10.1016/J.JLAP.2010.07.003zbMATH Open1205.68252OpenAlexW2118424907MaRDI QIDQ710668FDOQ710668
Andreas Eggers, Tino Teige, Martin Fränzle
Publication date: 22 October 2010
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2010.07.003
Recommendations
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- scientific article; zbMATH DE number 1696496
bounded model checkingarithmetic constraint solvingprobabilistic hybrid automatastochastic satisfiability
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Stochastic hybrid systems. Theory and safety critical applications.
- Hybrid Systems: Computation and Control
- Solving SAT and SAT Modulo Theories
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Heterogeneous constraint solving
- Title not available (Why is that?)
- Stochastic Hybrid Systems
- Stochastic stability properties of jump linear systems
- Reachability analysis of stochastic hybrid systems: a biodiesel production system
- Stochastic Boolean satisfiability
- Verifying industrial hybrid systems with \textsc{MathSAT}
- Interval arithmetic
- Title not available (Why is that?)
- Toward a general theory of stochastic hybrid systems
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Games against nature
- Predicative programming Part I
- Hybrid Systems: Computation and Control
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
- Hybrid Systems: Computation and Control
- APPSSAT: Approximate probabilistic planning using stochastic satisfiability
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
- Parallel SAT Solving in Bounded Model Checking
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
Cited In (6)
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Verification and Control of Probabilistic Rectangular Hybrid Automata
- Formal Modelling, Analysis and Verification of Hybrid Systems
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Title not available (Why is that?)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
Uses Software
This page was built for publication: Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710668)
