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.
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 Operating system: Windows / Linux / Mac OS / BSD / Solaris
After criticism received at Metro version of Internet Explorer 10 , initially offered no support for Adobe Flash technology, Microsoft has taken measures to correct this problem by working directly with Adobe to integrate the necessary components into the
Last year began to circulate on the Internet videos where Windows 8 systems boot in 7 seconds. Unfortunately, from this performance derives some problems.
New information coming from some sources close to Apple confirming that the Cupertino giant is testing two different models of iPhone, called internal iPhone5, 1 and iPhone 5.2. Apparently, both devices have a screen of 3.95 inches and a resolution of 113
Microsoft expects to launch a new wave of optimism with Windows 8. In a recent statement, Steve Ballmer, chief executive at Microsoft, estimates that Windows 8 will reach a total of about 500 million users by the end of 2013.
CheckMate script details 
Before you Download