The following pages link to Benchmarks (Q16783):
Displaying 26 items.
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions (Q3083226) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Hybrid Systems: Computation and Control (Q5703927) (← links)
- Automated Machine-Checked Hybrid System Safety Proofs (Q5747654) (← links)
- Hybrid Systems: Computation and Control (Q5899000) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
