Package tulip :: Module hybrid :: Class SwitchedSysDyn

[frames] | no frames]

Class SwitchedSysDyn

Represent hybrid systems switching between dynamic modes.

A SwitchedSysDyn represents a system with switching modes that depend on both discrete:

n_env environment variables (uncontrolled)
n_sys system variables (controlled)

A SwitchedSysDyn object contains the fields:

disc_domain_size: 2-tuple of numbers of modes type: (n_env, n_sys)
env_labels: (optional) labels for discrete environment variables type: list of len(n_env) default: range(n_env)
disc_sys_labels: (optional) labels for discrete system variables type: list of len(n_sys) default: range(n_sys)

dynamics: mapping mode 2-tuples to active dynamics:

   (env_label, sys_label) -> PwaSysDyn

 type: dict
 default: If no env_label or sys_label passed,
 then default to int indices (i,j) L{PwaSysDyn}.

cts_ss: continuous state space over which hybrid system is defined. type: polytope.Region
time_semantics: 'discrete' (if system is originally a discrete-time system) or 'sampled' (if system is sampled from a continuous-time system)
timestep: A positive real number containing the timestep (for sampled systems)

Note

We assume that system and environment switching modes are independent of one another. (Use LTL statement to make it not so.)

See Also

LtiSysDyn, PwaSysDyn, polytope.Region

Instance Methods

__init__(self, disc_domain_size=(1, 1), dynamics=None, cts_ss=None, env_labels=None, disc_sys_labels=None, time_semantics=None, timestep=None, overwrite_time=True)
x.__init__(...) initializes x; see help(type(x)) for signature

__str__(self)
str(x)

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __sizeof__, __subclasshook__

Class Methods

from_pwa(cls, list_subsys=[], domain=None)

from_lti(cls, A=[], B=[], E=[], K=[], Uset=None, Wset=None, domain=None)

Properties
	all_mode_combs Return all possible combinations of modes.
	modes
	env_labels
	disc_sys_labels
Inherited from `object`: `__class__`

Method Details

init(self, disc_domain_size=`(`1`,` 1`)`, dynamics=None, cts_ss=None, env_labels=None, disc_sys_labels=None, time_semantics=None, timestep=None, overwrite_time=True)
(Constructor)

x.__init__(...) initializes x; see help(type(x)) for signature

Parameters:

overwrite_time (bool) - If true, then overwrites any time data in the objects in list_subsys with the data in time_semantics and timestep variables. Otherwise checks that the time data of the objects in list_subsys are consistent with time_semantics and timestep.

Overrides: object.__init__

str(self)
(Informal representation operator)

str(x)

Overrides: object.__str__: (inherited documentation)

Property Details

all_mode_combs

Return all possible combinations of modes.

Get Method:: unreachable.all_mode_combs(self) - Return all possible combinations of modes.

modes

Get Method:: unreachable.modes(self)

env_labels

Get Method:: unreachable.env_labels(self)

disc_sys_labels

Get Method:: unreachable.disc_sys_labels(self)