Publisher review:CheckMate - A MATLAB-based tool for hybrid system verification and simulation. 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.
What can CheckMate do?
Simulation. CheckMate models can be simulated as standard Simulink models. This is useful for debugging Checkmate models.
Exploration. The explore command evaluates the specifications for the trajectories starting from the vertices of the set of initial continuous states for the parameter values at the vertices of the parameter set. This provides some preliminary insight into whether the specifications will be true for all of the initial continuous states and parameters.
Verification. The verify command evaluates the specifications for all possible trajectories, starting from states in the initial state set and for all values of parameters in the parameter set. The computation time for verification can be large, so it is important to make sure the model has been simplified as much as possible before applying the verify command to a CheckMate model. Requirements: · MATLAB Release: R11 · Control System Toolbox · Optimization Toolbox · Simulink · Stateflow
CheckMate is a Matlab script for Controls and Systems Modeling scripts design by Zhi Han.
It runs on following operating system: Windows / Linux / Mac OS / BSD / Solaris.
CheckMate - A MATLAB-based tool for hybrid system verification and simulation.
Operating system:Windows / Linux / Mac OS / BSD / Solaris