grow_polytope_for_iautopart.m

CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dyn

function box = grow_polytope_for_iautopart(CE,dE,CI,dI,loc,state_polytope)

%This function will 'grow' a polytope that has a dimension less than n. 
%The 'sizetol' parameter that is specified by the user in the parameter m-file
%is used as the size to grow the polytope.  If this parameter is not specified,
%then the default of 1e-4 is used.

global GLOBAL_AUTOMATON
global GLOBAL_PIHA
global GLOBAL_APPROX_PARAM

delta = GLOBAL_APPROX_PARAM.grow_size;

for i=1:length(dE)
   CI=[CE(i,:) ; CI];
   dI=[dE(i)+delta ; dI];
   CI=[-CE(i,:) ; CI];
   dI=[-( dE(i)-delta ) ; dI];
end

state_region=state_polytope;

[d,c,CI_state,dI_state]=linearcon_data(state_region);

box=linearcon(d,c,[CI ; CI_state],[dI ; dI_state]);
box=clean_up(box);

return