Benchmarks
From MaRDI portal
swMATH4612MaRDI QIDQ16783FDOQ16783
Author name not available (Why is that?)
Official website: http://hsolver.sourceforge.net/benchmarks/
Cited In (44)
- Hybrid Systems: Computation and Control
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
- Implicit definitions with differential equations for KeYmaera X (system description)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- 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
- An approximation algorithm for box abstraction of transition systems on real state spaces
- A compositional modelling and analysis framework for stochastic hybrid systems
- Verification of Hybrid Systems
- Syntax and consistent equation semantics of hybrid Chi
- LMIRank
- ScicosLab
- TRICE
- PENLAB
- VERICOMP
- mctau
- HSolver
- d/dt
- Ellipsoidal Toolbox
- RAMAS
- RoVerGeNe
- BACH
- HybridSal
- PVSio-web
- Manip
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- ConstructibleSetTools
- ParametricSystemTools
- LySHA
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Automated Machine-Checked Hybrid System Safety Proofs
- Learning safe neural network controllers with barrier certificates
- Barrier certificates revisited
- Formal verification and quantitative metrics of MPSoC data dynamics
- Synthesizing invariant barrier certificates via difference-of-convex programming
- Exact safety verification of hybrid systems using sums-of-squares representation
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Safety verification for probabilistic hybrid systems
This page was built for software: Benchmarks
