Code covered by the BSD License
-
PH_function(x,u)
Switched continuous dynamics function for the Ph Plant system
-
PH_function_par(x,u,p)
Switched continuous dynamics function for the Ph Plant system
-
[sys,type,reset]=acc_dyn(x,u)
-
[sys,type,reset]=boingfunc(x,...
-
[sys,type,reset]=boingfunc_no...
v is the wind-friction term.
-
[xdot,type]=testclock(x,q);
-
acc_param(q)
This is the paramter file for the Boing example. This file contains all of the numerical
-
acc_setup()
Guards:
-
boing_param(q)
This is the paramter file for the Boing example. This file contains all of the numerical
-
etc_param(q)
Set verification parameters for the bounce demonstration
-
etc_reg_param(q)
Set verification parameters for the bounce demonstration
-
ph_param(q)
-
setup5d()
Setup function for the bounce demonstration
-
setup_ph()
Setup function for the ph plant demonstration
-
setup_reg()
Setup function for the bounce demonstration
-
slidingmode(X,q,p)
Switched continuous dynamics function for the 5D ETC model
-
slidingmode_reg(X,q,p)
Switched continuous dynamics function for the bounce demonstration
-
testcheckmate(point)
TCHECKMATE Test checkmate basis functionalities.
-
etc_def.m
-
etc_reg_def.m
-
setup_boing.m
-
setup_boing_condition.m
-
setup_ph_plant.m
-
acc
-
boing
-
boing_condition
-
bounce_simulink1
-
etc5d
-
etc_reg
-
ph_plant
-
ph_plant_sim
-
View all files
CheckMate demos
by Zhi Han
19 Oct 2007
(Updated 22 Oct 2007)
Demos for checkmate hybrid system verification tool.
|
Watch this File
|
| 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 |
|
Tags for This File
|
| Everyone's Tags |
|
| Tags I've Applied |
|
| Add New Tags |
Please login to tag files.
|
| Updates |
| 22 Oct 2007 |
Remove auto-generated files. |
|
Contact us at files@mathworks.com
