CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dynamic systems. Hybrid systems are modeled using the Simulink graphical user interface (GUI). Parameters and specifications are entered using both the Simulink GUI and user-defined m-files. CheckMate commands are entered in the MATLAB command window.
An object based tree widget, emulating the one found in microsoft windows, |
| with persistence using cookies. Works in IE 5+, Mozilla and konqueror 3.
