Cited in
(only showing first 100 items - show all)- Differential dynamic logic for hybrid systems
- SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
- Hybrid automata as a modelling approach in the behavioural sciences
- Reachability analysis of linear systems with stepwise constant inputs
- Hybrid Systems: Computation and Control
- Languages and Tools for Hybrid Systems Design
- Bellerophon: tactical theorem proving for hybrid systems
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- On reachability for hybrid automata over bounded time
- Efficient constraint/generator removal from double description of polyhedra
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- HYST: a source transformation and translation tool for hybrid automaton models
- Reachability Analysis of Hybrid Systems Using Support Functions
- Apron
- IMITATOR
- QEPCAD
- MoDeST
- HySAT
- MARCO
- KeYmaera
- HyTech
- SMV
- RSOLVER
- Benchmarks
- ARMC
- Aspic
- Uppaal
- HYSDEL
- PPL
- MATISSE
- ToolboxLS
- Ariadne
- mctau
- HSolver
- RunLim
- MathSAT
- AutoMOTGen
- HI-maude
- ATL
- PolyLib
- d/dt
- LinAIG
- Ellipsoidal Toolbox
- HARE
- pyHybrid Analysis
- RAMAS
- SpaceEx
- BACH
- HSPICE
- HyDI
- IBEX
- PAGAI
- UPPAAL TIGA
- Rapture
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
- Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
- Charon
- R-Charon
- C2e2
- dReach
- Flow*
- HyCreate
- HYST
- HySon
- LySHA
- ProbReach
- STRONG
- SPHIN
- HyLAA
- LASH
- LIRA
- HLIO
- CORA
- timed-pattern-matching
- contractLarva
- DryVR
- HyPro
- MONAA
- Verimag Polyhedra Library
- DynIbex
- polco
- Acumen
- AMT
- ASDeX
- POWER-TRUCTOR
- Mjollnir
- MonPoly
- FaSTrack
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
- Syntax and consistent equation semantics of hybrid Chi
- Using redundant constraints for refinement
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Modelling and analysing neural networks using a hybrid process algebra
- Relating hybrid chi to other formalisms
- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
- Reachability analysis of non-linear planar autonomous systems
- Proving the Correctness of the Implementation of a Control-Command Algorithm
This page was built for software: PHAVer
