Code covered by the BSD License  

Highlights from
CheckMate demos

• 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