Cited in
(84)- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Formal Verification Applied to Robotic Surgery
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Hybrid Systems: Computation and Control
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Implicit definitions with differential equations for KeYmaera X (system description)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Formal modelling, analysis and verification of hybrid systems
- Property Driven Three-Valued Model Checking on Hybrid Automata
- Control barrier functions for stochastic systems
- Deadness and how to disprove liveness in hybrid dynamical systems
- Tightened reachability constraints for the verification of linear hybrid systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- An approximation algorithm for box abstraction of transition systems on real state spaces
- A compositional modelling and analysis framework for stochastic hybrid systems
- MetiTarski: An automatic theorem prover for real-valued special functions
- Approximated reachability on hybrid automata: falsification meets certification
- Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
- Incremental computation of succinct abstractions for hybrid systems
- Taylor approximation for hybrid systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- On a decision procedure for quantified linear programs
- Sostools
- HySAT
- Scicos
- KeYmaera
- HyTech
- PHAVer
- SMV
- RSOLVER
- Benchmarks
- LMIRank
- ScicosLab
- TRICE
- PENLAB
- VERICOMP
- Ariadne
- mctau
- NLTOOLBOX
- AutoMOTGen
- d/dt
- SAHA-Tool
- Ellipsoidal Toolbox
- HARE
- RAMAS
- SpaceEx
- BACH
- HybridSal
- PVSio-web
- Manip
- iSat
- ConstructibleSetTools
- ParametricSystemTools
- C2e2
- LySHA
- Breach
- HyPro
- JuliaReach
- aaflib
- PyInterval
- Verification of Hybrid Systems
- Syntax and consistent equation semantics of hybrid Chi
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- An introduction to the verification of hybrid systems using \textsc{Ariadne}
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- Crossing the Bridge between Similar Games
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Hybrid automata, reachability, and systems biology
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Automated Machine-Checked Hybrid System Safety Proofs
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Learning safe neural network controllers with barrier certificates
- Barrier certificates revisited
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- Formal verification and quantitative metrics of MPSoC data dynamics
- Synthesizing invariant barrier certificates via difference-of-convex programming
- A semi-algebraic approach for asymptotic stability analysis
- Safety verification for probabilistic hybrid systems
This page was built for software: HSolver
