Numerical Bifurcation Analysis Toolbox in Matlab
Numerical and Symbolic Math Tool
Verification via biSimulations of Max-Plus-Linear models
Analyse dynamical systems, plot its phase space and critical points.
Learning Stochastic Discrete Event Systems