Package tulip :: Package abstract :: Module discretization :: Class AbstractSwitched

Class AbstractSwitched

Abstraction of SwitchedSysDyn, with mode-specific and common info.

Attributes:

ppp: merged partition, if any Preserves both propositions and dynamics
ts: common TS, if any
ppp2ts: map from ppp.regions to ts.states
modes: dict of {mode: AbstractPwa}
ppp2modes: map from ppp.regions to modes[mode].ppp.regions of the form:
{mode: list}

where list has same indices as ppp.regions and elements in each list are indices of regions in each modes[mode].ppp.regions.

type: dict

Each partition corresponds to some mode. (for switched systems)

In each mode a PwaSysDyn is active.

Instance Methods

__init__(self, ppp=None, ts=None, ppp2ts=None, modes=None, ppp2modes=None)
x.__init__(...) initializes x; see help(type(x)) for signature

__str__(self)
str(x)

ppp2pwa(self, mode, i)
Return original Region containing Region i in mode.

ppp2sys(self, mode, i)
Return index of active PWA subsystem in mode,

plot(self, show_ts=False, only_adjacent=False)
Plot mode partitions and merged partition, if one exists.

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

Properties
Inherited from `object`: `__class__`

Method Details

init(self, ppp=None, ts=None, ppp2ts=None, modes=None, ppp2modes=None)
(Constructor)

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

Overrides: object.__init__: (inherited documentation)

str(self)
(Informal representation operator)

str(x)

Overrides: object.__str__: (inherited documentation)

ppp2pwa(self, mode, i)

Return original Region containing Region i in mode.

Parameters:

mode - key of modes
i - Region index in common partition ppp.regions.

Returns:

tuple (j, region) of:

index j of Region and
Region object

in modes[mode].ppp.regions

ppp2sys(self, mode, i)

Return index of active PWA subsystem in mode,

Parameters:

mode - key of modes
i - Region index in common partition ppp.regions.

Returns:

tuple (j, subsystem) of:

index j of PWA subsystem
LtiSysDyn object subsystem

plot(self, show_ts=False, only_adjacent=False)

Plot mode partitions and merged partition, if one exists.

For details see AbstractPwa.plot.