Be the first to rate this file! 6 downloads (last 30 days) File Size: 75.39 KB File ID: #17004

CheckMate demos

19 Oct 2007 (Updated 22 Oct 2007)

Demos for checkmate hybrid system verification tool.

File Information
Description	This zip file contains several demos for CheckMate tool. The function testcheckmate.m runs all demos in this zip file, except for the V2V verification, which takes a few hours to complete. [Quick Start] Each CheckMate model normally consists of a setup file, which creates variables in the base workspace, and a Simulink diagram for the CheckMate model. To run the demo, first run the setup file and then open the Simulink diagram. For verification purposes, use 'verify'; for exploration, use 'explore'.
MATLAB release	MATLAB 7 (R14)
Other requirements	Requires CheckMate
Zip File Content
Other Files	V2V/acc_setup.m, V2V/acc_param.m, V2V/acc_dyn.m, V2V/acc.mdl, testcheckmate.m, boing/setup_boing_condition.m, boing/setup_boing.m, boing/readme.txt, boing/boing.mdl, boing/boingfunc.m, boing/boingfunc_nonlinear.m, boing/boing_condition.mdl, boing/boing_param.m, boing/bounce_smlnk.mdl, etc5d/slidingmode.m, etc5d/setup5d.m, etc5d/etc_param.m, etc5d/etc_def.m, etc5d/etc5d.mdl, etc5d/testclock.m, etc_reg/etc_reg.mdl, etc_reg/etc_reg_def.m, etc_reg/etc_reg_param.m, etc_reg/setup_reg.m, etc_reg/slidingmode_reg.m, ph_plant/PH_function.m, ph_plant/PH_function_par.m, ph_plant/ph_param.m, ph_plant/ph_plant.mdl, ph_plant/ph_plant_sim.mdl, ph_plant/Readme.txt, ph_plant/setup_ph.m, ph_plant/setup_ph_plant.m

Tags for This File
Everyone's Tags	formal verification, hybrid systems
Tags I've Applied
Add New Tags	Please login to tag files.

Please login to add a comment or rating.

Updates
22 Oct 2007	Remove auto-generated files.

Tag Activity for this File
Tag	Applied By	Date/Time
hybrid systems	Zhi Han	22 Oct 2008 09:32:15
formal verification	Zhi Han	22 Oct 2008 09:32:15

MATLAB Central Terms of Use

NOTICE: Any content you submit to MATLAB Central, including personal information, is not subject to the protections which may be afforded information collected under other sections of The MathWorks, Inc. Web site. You are entirely responsible for all content that you upload, post, e-mail, transmit or otherwise make available via MATLAB Central. The MathWorks does not control the content posted by visitors to MATLAB Central and, does not guarantee the accuracy, integrity, or quality of such content. Under no circumstances will The MathWorks be liable in any way for any content not authored by The MathWorks, or any loss or damage of any kind incurred as a result of the use of any content posted, e-mailed, transmitted or otherwise made available via MATLAB Central. Read the complete Terms prior to use.