CheckMate
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.
Downloads:
Download site : http://www.mathworks.com/matlabcentral/fx_files/15441/3/content/doc/main.htm
Version : All versions.
Tested on Windows XP, Linux Debian4-64.
Requirements :
- 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
Documentation:
User Manuals
Directly from Checkmate website : http://www.ece.cmu.edu/~krogh/checkmate/
Related Publications
Directly from Checkmate website : http://www.ece.cmu.edu/~krogh/checkmate/publications.htm
Developers:
Alongkrit Chutinan
Ansgar Fehnker
Zhi Han
Jim Kapinski
Rajesh Kumar
Bruce H. Krogh
Izaias Silva
Olaf Stursberg
Contact:
Bruce Krogh, Department of Electrical and Computer Engineering, Carnegie Mellon University.