Related tools

Name	Techniques	References	Language
Ariadne	hybrid automata, interval verified integration, constraint solving	[BBC+ 08]
Breach		[D10]
CHARON	composed agents and modes, simulation	[AGH+00, ADE+01]
CheckMate	hybrid automata, convex polyhedron-based flowpipe construction	[CK98, SRKC00]	Matlab
C2E2
CORA		A15, AG16, AGK18	Matlab
Coho
CORA/SX			Matlab/C++
d/dt	hybrid automata, orthogonal polyhedron-based flowpipe construction	[ADM02, Dan00]
dReach	hybrid automata, interval verified integration, constraint solving	[Gao12, GKC13]
DynIbex
Ellipsoidal Toolbox	hybrid automaton with linear time-varying continuous dynamics, Ellipsoidal calculus	[KV06]
Flow*	Taylor models		C++
Flowpipes.jl		https://github.com/fireofearth/2019s-verification	Julia
HyDRA
Hylaa
Hylaa-Continuous
HyST	A Source Transformation and Translation Tool for Hybrid Automaton Models
HySAT/iSAT	hybrid automata, interval verified integration, constraint solving	[FHT+07, FH07]
Isabelle/HOL
HSolver	hybrid automata	conservative abstraction, constraint solving	[RS05]
HYSDEL	discrete hybrid automata, simulation	[Bem04, Kva08]
HyTech	hybrid automata, conservative abstraction, polyhedral computation	[HHWT95, HHWT97]
JuliaReach		Julia
KeYmaera	hybrid programs, automated theorem proving	[PQ08, Pla10]
Level set toolbox	hybrid automata, level set method	[MT00, MT05]
MATISSE	constrained linear systems, bisimulation abstraction, zonotope computation	[GP05]
NLTOOLBOX	continuous systems, discrete polynomial systems,hybridization, Bernstein polynomial technique	[ADG07, TD13]
PHAVer	hybrid automata, conservative abstraction, polyhedral computation	[Fre05a, Fre05b]
Simulate.jl		Julia
SpaceEx	hybrid automata with linear dynamics, support function-based flowpipe construction	[Le 09, FLD+11]	C++
SymReach
STRONG		[DRJ13]
TIRA		https://arxiv.org/pdf/1902.05204.pdf	Matlab
XSpeed

• https://github.com/siconos/siconos
• https://github.com/dreossi/sapo