CheckMate demos: [xdot,type]=testclock(x,q); - File Exchange

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

from CheckMate demos by Zhi Han
Demos for checkmate hybrid system verification tool.

[xdot,type]=testclock(x,q);
function [xdot,type]=testclock(x,q); type='clock'; if q==2 xdot=1; else xdot=0; end; reset=0;