Before revision: Software Tools Simulation HyEQ Toolbox: Hybrid system solver for MATLAB and Simulink PowerDEVS: General-purpose tool for DEVS (Discrete Event System) modeling and simulation oriented to the simulation of hybrid systems Reachability Ariadne: C++ library for (numerically rigorous) reachability analysis of nonlinear hybrid systems CORA: A MATLAB Toolbox for reachability analysis of cyber-physical systems, including hybrid systems Flow*: A tool for reachability analysis of nonlinear hybrid systems HyCreate: A tool for overapproximating reachability of hybrid automata HyPro: C++ library for state set representations for hybrid systems reachability analysis JuliaReach: A toolbox for set-based reachability : A software for desk booking system.
After revision: Hybrid Workplace SolutionsSoftware Tools Simulation HyEQ Toolbox: Hybrid system solver for MATLAB and Simulink PowerDEVS: General-purpose tool for DEVS (Discrete Event System) modeling and simulation oriented to the simulation of hybrid systems Reachability Ariadne: C++ library for (numerically rigorous) reachability analysis of nonlinear hybrid systems CORA: A MATLAB Toolbox for reachability analysis of cyber-physical systems, including hybrid systems Flow*: A tool for reachability analysis of nonlinear hybrid systems HyCreate: A tool for overapproximating reachability of hybrid automata HyPro: C++ library for state set representations for hybrid systems reachability analysis JuliaReach: A toolbox for set-based reachability : A software for desk booking system.