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.
|
| etc_param(q)
|
function approx_param = etc_param(q)
% Set verification parameters for the bounce demonstration
%
% Syntax:
% "approx_param = bounce_param(q)"
%
% Description:
% "bounce_param(q)" sets approximation parameters used by CheckMate in the
% verification procedure. The parameters are returned in a structure
% with the following fields:
%
% *".dir_tol" tolerance for patch "single-sided-ness"
%
% *".var_tol" tolerance for patch vector field variation relative to the
% vector field variation on the parent invariant face
%
% *".size_tol" tolerance for patch size
%
% *".W" (diagonal) weighting matrix
%
% *".T" time step for flow pipe computation
%
% *".max_time" time limit (sec) for mapping computation
%
% *".eq_tol" equilibrium termination tolerance for mapping computation
%
% *".quantization_resolution" resolution for partition refinement
%
% *".reachability_depth" maximum depth of initial partition reachability
% analysis
%
% See Also:
% setup
%approx_param.dir_tol = [];
%approx_param.var_tol = [];
%approx_param.size_tol = [];
%approx_param.W = eye(2);
%approx_param.T = 2;
%approx_param.quantization_resolution = [];
%approx_param.max_time = Inf;
%approx_param.reachability_depth = Inf;
approx_param = [];
approx_param.dir_tol = []; % tolerance in the direction (angle offset)
approx_param.var_tol = []; % length of the projection in the cell
approx_param.size_tol = []; % maximum size of each piece
approx_param.W = eye(5); %matrix to square the axes to avoid numerical problems
approx_param.T = 0.01; % size of each flowpipe segmen
approx_param.max_bissection = 6; % maximum number of bissection for simulation reachability
approx_param.max_time = 0.15; % maximum time of processing
approx_param.quantization_resolution = []; %
approx_param.reachability_depth = 1;
approx_param.max_iter=1000;
%
approx_param.min_angle = 5; % Angle value (degrees) for eliminating faces in the mapping
approx_param.med_angle = 10; % Angle value (degrees) for eliminating faces in the mapping
approx_param.extra_angle = 30; % Angle value (degrees) for eliminating faces in the mapping
approx_param.max_angle = 110; % Angle value (degrees) for eliminating faces in the mapping
approx_param.unbound_angle = 160; % Angle value (degrees) for eliminating faces in the mapping
approx_param.edge_factor = 2; % Factor to decide if edge will be dropped in the mapping
approx_param.edge_med_length = 1000; % Factor to decide if an edge is too small (compared to the mean) to be eliminate
return
|
|
Contact us at files@mathworks.com