Software

Matlab

• pure Simulink: Relational operators, Logical operators, Extra options for the Integrator block (external reset, external initial conditions, possibly state port).
• pure Matlab: Event Location with ODE solvers.
• Stateflow: Continuous-time modeling in Stateflow

Julia

• HybridSystems.jl – the package essentially just defines some basic data types, currently it is mainly used by some other packages, such as ReachabilityAnalysis.jl.
• ReachabilityAnalysis.jl

Python

• …