CheckMate 1.0

Operating systemsOS : Windows / Linux / Mac OS / BSD / Solaris
Program licensingScript Licensing : Freeware
CreatedCreated : Aug 8, 2007
Size downloadDownloads : 5
Program licensing
Thank you for voting...

CheckMate is a MATLAB®-based tool for modeling, ...

checkmate by Zhi Han 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 1.0 models are constructed using custom and standard Simulink® and Stateflow® blocks. The continuous state equations, parameter 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 [checkmate1.0.exe] model. The CheckMate - 0MB 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 1.0 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.
Demands:
matlab Release: R11
• Control System Toolbox
• Optimization Toolbox
• Simulink
• Stateflow

CheckMate 1.0 scripting tags: checkmate, matlab, systems modeling, set, parameter, controls modeling, states, specifications, checkmate matlab, continuous. What is new in CheckMate 1.0 software script? - Unable to find CheckMate 1.0 news. What is improvements are expecting? Newly-made CheckMate 1.1 will be downloaded from here. You may download directly. Please write the reviews of the CheckMate. License limitations are unspecified.