HSolver

swMATH7419MaRDI QIDQ19449

No author found.

Related Items (46)

Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system ⋮ Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Crossing the Bridge between Similar Games ⋮ Incremental Computation of Succinct Abstractions for Hybrid Systems ⋮ Verification of Hybrid Systems ⋮ An Introduction to the Verification of Hybrid Systems Using Ariadne ⋮ Formal Verification Applied to Robotic Surgery ⋮ Hybrid Systems: Computation and Control ⋮ Hybrid Systems: Computation and Control ⋮ Control barrier functions for stochastic systems ⋮ An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems ⋮ Safety verification for probabilistic hybrid systems ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Taylor approximation for hybrid systems ⋮ On a decision procedure for quantified linear programs ⋮ Barrier certificates revisited ⋮ Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> ⋮ An approximation algorithm for box abstraction of transition systems on real state spaces ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Hybrid automata, reachability, and systems biology ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ MetiTarski: An automatic theorem prover for real-valued special functions ⋮ Automated Machine-Checked Hybrid System Safety Proofs ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Learning safe neural network controllers with barrier certificates ⋮ Applications of MetiTarski in the Verification of Control and Hybrid Systems ⋮ Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate ⋮ Property Driven Three-Valued Model Checking on Hybrid Automata ⋮ Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods ⋮ Tightened reachability constraints for the verification of linear hybrid systems ⋮ Approximated Reachability on Hybrid Automata: Falsification meets Certification ⋮ The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems ⋮ Hybrid Systems: Computation and Control ⋮ A semi-algebraic approach for asymptotic stability analysis ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers ⋮ Implicit definitions with differential equations for KeYmaera X (system description) ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

This page was built for software: HSolver