OVERVIEW
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.  

System Requirements:

  • MATLAB 6.1
  • Simulink Toolbox
  • Stateflow Toolbox
  • 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.

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
  • Computational geometry, 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.