OVERVIEW
CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dynamic systems. Hybrid systems are modeled as a Simulink block diagram. Parameters and specifications are entered using both the Simulink GUI and user-defined m-files. CheckMate commands are entered in the MATLAB command window. The current version of CheckMate has been tested on MATLAB release R2007a and R2007b.  

System Requirements:

  • MATLAB
  • Simulink
  • Stateflow
  • Optimization Toolbox
  • Control System Toolbox

GETTING STARTED

The links below provide information about how to use and understand CheckMate. The User's Guide describes how to model and analyze systems in CheckMate. CheckMate Verification: Theory and Implementation provides an introduction to the theory behind CheckMate's verification tool. Help for any CheckMate commands can be displayed by typing "help <checkmate_command_name>" at the MATLAB command prompt. CheckMate Library Reference is a reference guide to use the CheckMate routines in MATLAB and debug information about CheckMate.

SUGGESTED BACKGROUND READING

Despite our effort to make things intuitive, CheckMate users need to be familiar with MATLAB and SIMULINK and some basic theory related to hybrid systems, dynamic systems and polyhedral compuations. To get the most out of CheckMate, the user should become familiar with the following topics:

  • MATLAB object oriented programming
  • Standard MATLAB objects, especially cell arrays and structures
  • Model checking and computation tree logic (CTL)
  • Linear algebra
  • Computation with polyhedra, especially the operation convex hull
  • Optimization, especially linear programming
  • Hybrid system theory
  • Automata theory

EXAMPLES

There are several examples in the \demo\ directory. To run an example, change to the directory for the demo system (a subdirectory in \demo\) and run the .mdl file in the directory. Click on the links below to view the documentation for these models.

ONLINE RESOURCE

For new version releases, bugs reporting, etc, please refer to:

CheckMate Official Site

 
ACKNOWLEDGMENT The development of CheckMate was made possible in part by Ford and in part by the DARPA EDCS and MoBIES programs.