Skip to content

Related tools

Marcelo Forets edited this page Aug 4, 2019 · 21 revisions
Name Techniques Refs
Ariadne
C2E2
CORA
CORA/SX
DynIbex
Flow*
HyDRA
Hylaa
Hylaa-Continuous
HyST https://github.com/verivital/hyst HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
Isabelle/HOL
SpaceEx
SymReach
XSpeed
HyTech hybrid automata, conservative abstraction, polyhedral computation [HHWT95, HHWT97]
CHARON composed agents and modes, simulation [AGH+00, ADE+01]
CheckMate hybrid automata, convex polyhedron-based flowpipe construction
[CK98, SRKC00]
d/dt hybrid automata, orthogonal polyhedron-based flowpipe construction [ADM02, Dan00]
PHAVer hybrid automata, conservative abstraction, polyhedral computation [Fre05a, Fre05b]
MATISSE constrained linear systems, bisimulation abstraction, zonotope computation [GP05]
HSolver hybrid automata conservative abstraction, constraint solving
HYSDEL discrete hybrid automata, simulation [Bem04, Kva08]
Level set toolbox hybrid automata, level set method [MT00, MT05]
Ellipsoidal Toolbox hybrid automaton with linear time-varying continuous dynamics, Ellipsoidal calculus [KV06]
HySAT/iSAT hybrid automata, interval verified integration, constraint solving [FHT+07, FH07]
Ariadne hybrid automata, interval verified integration, constraint solving [BBC+ 08]
KeYmaera hybrid programs, automated theorem proving [PQ08, Pla10]
SpaceEx hybrid automata with linear dynamics, support function-based flowpipe construction [Le 09, FLD+11]
NLTOOLBOX continuous systems, discrete polynomial systems,hybridization, Bernstein polynomial technique [ADG07, TD13]
dReach hybrid automata, interval verified integration, constraint solving
Clone this wiki locally