HSolver

swMATH7419MaRDI QIDQ19449FDOQ19449

Author name not available (Why is that?)

Official website: http://hsolver.sourceforge.net/

Cited In (76)

• Property Driven Three-Valued Model Checking on Hybrid Automata
• Approximated reachability on hybrid automata: falsification meets certification
• Incremental computation of succinct abstractions for hybrid systems
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
• 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
• Formal modelling, analysis and verification of hybrid systems
• 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
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• MetiTarski: An automatic theorem prover for real-valued special functions
• Taylor approximation for hybrid systems
• On a decision procedure for quantified linear programs
• Hybrid automata-based CEGAR for rectangular hybrid systems
• Verification of Hybrid Systems
• Syntax and consistent equation semantics of hybrid Chi
• Benchmarks
• LMIRank
• ScicosLab
• TRICE
• PENLAB
• VERICOMP
• Ariadne
• mctau
• NLTOOLBOX
• AutoMOTGen
• d/dt
• SAHA-Tool
• Ellipsoidal Toolbox
• HARE
• RAMAS
• SpaceEx
• BACH
• HybridSal
• PVSio-web
• Manip
• Discovering polynomial Lyapunov functions for continuous dynamical systems
• iSat
• ConstructibleSetTools
• ParametricSystemTools
• An introduction to the verification of hybrid systems using \textsc{Ariadne}
• C2e2
• LySHA
• Breach
• HyPro
• JuliaReach
• aaflib
• PyInterval
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• Crossing the Bridge between Similar Games
• Applications of MetiTarski in the Verification of Control and Hybrid Systems
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
• 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
• 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
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Formal Verification Applied to Robotic Surgery
• Safety verification for probabilistic hybrid systems

This page was built for software: HSolver