The following pages link to HSolver (Q19449):
Displaying 22 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)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← 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)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← 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)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
