CheckMate is a MATLAB®-based tool for modeling, simulating, and verifying properties of hybrid dynamic systems. These are dynamic systems with both discrete and continuous state variables. Hybrid systems often arise in computer-controlled systems where the discrete dynamics corresponds to logic for switching control modes and the continuous dynamics corresponds to the physical system being controlled.
Checkmate models are constructed using custom and standard Simulink® and Stateflow® blocks. The continuous state equations, parameters and specifications (the properties to be verified) are entered using the Simulink GUI and user-defined m-files. Specifications express properties of trajectories of the Checkmate model. The Checkmate verification function determines if the given specifications are true for all trajectories starting from a polyhedral set of initial continuous states and continuous ranges of parameter values.
Version : All versions.
Tested on Windows XP, Linux Debian4-64.
- MATLAB version 6.5 (R13) (or higher).
- Simulink, version 4.1 or higher
- Stateflow, version 4.1 or higher
- Optimization Toolbox
- Control System Toolbox
Date added : October 12, 2005
Date updated: 2007-10-19
Directly from Checkmate website : http://www.ece.cmu.edu/~krogh/checkmate/
Directly from Checkmate website : http://www.ece.cmu.edu/~krogh/checkmate/publications.htm
Bruce H. Krogh
Bruce Krogh, Department of Electrical and Computer Engineering, Carnegie Mellon University.