See original code here: http://users.ece.cmu.edu/~krogh/checkmate/
This repo was created to host my patch to checkmate to make it work with Matlab 2014b. The code is owned by the original authors.
CheckMate is a hybrid systems research tool developed by:
Alongkrit Chutinan Ansgar Fehnker Zhi Han Jim Kapinski Rajesh Kumar Bruce H. Krogh Braz Izaias Silva Jr. Olaf Stursberg
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.