“…Recently several methods and tools have been developed for reachability analysis and parameter synthesis. Some examples are HyTech [41], d/dt [6], Breach [24], SpaceEx [35], Ariadne [10], Flow* [17], pyHybridAnalysis [15,16], dReach [52], CORA [3], DynIbex [57], JuliaReach [11], Kaa [51], and HyPro [64].…”