get_auto_state.m

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

function val = get_auto_state(whichauto,st,param)

% Get a parameter of the specified state in the specified `approximating
% automaton`.
%
% Syntax:
%   "val = get_auto_state(whichauto,st,param)"
%
% Description:
%   The inputs to this function are
%
%   * "whichauto": specify whether the current automaton
%     ("GLOBAL_AUTOMATON") or the new automaton ("GLOBAL_NEW_AUTOMATON")
%     should be accessed.  The new automaton is the automaton resulting from
%     the refinement of the current automaton. Possible values are "'current'"
%     and "'new'".
%
%   * "st": state index. A state index is a row vector of length 2 or 3. An
%     `initial state` has an index of the form "[l s]" where "l" is the
%     `location` number and "s" is the `state` number. A `face state` has an
%     idex of the form "[l f s]" where "l" is the `location` number, "f" is
%     the `face` number, and "s" is the `state` number.
%
%   * "param": string specifying the parameter field to be accessed (see
%     comments in "iauto_part.m" for the complete list of parameters for
%     each automaton state).
%
%   The value of the specified parameter is returned in the output
%   variable "val".
%
% Example:
%   * "get_auto_state('current',[1 2 3],'polytope')" returns the polytope
%     associated with state 3 on face 2 of the invariant polytope in
%     location 1.
%
% See Also:
%   set_auto_state,iauto_part,iauto_build

global GLOBAL_AUTOMATON
global GLOBAL_NEW_AUTOMATON

switch whichauto
  case 'current'
    eval_str = 'GLOBAL_AUTOMATON';
  case 'new'
    eval_str = 'GLOBAL_NEW_AUTOMATON';
  otherwise
    error(['Unknown choice of approximating automaton ''' whichauto '''.'])
end

if length(st) == 2
  eval_str = [eval_str '{st(1)}.initstate{st(2)}'];
else
  eval_str = [eval_str '{st(1)}.interior_region{st(2)}.state{st(3)}'];
end
eval_str = ['val = ' eval_str '.' param ';'];
eval(eval_str)
return