Visible to the public Discrete-time CheckmateConflict Detection Enabled

Graphic and Excerpt from:

CheckMate is a MATLAB(r)-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.

Tool webpage:

Download link: