Package tulip :: Package abstract :: Module plot

Module plot

Functions for plotting Partitions.

Functions

plot_abstraction_scc(ab, ax=None)
Plot Regions colored by strongly connected component.

plot_ts_on_partition(ppp, ts, ppp2ts, edge_label, only_adjacent, ax)
Plot partition and arrows from labeled digraph.

project_strategy_on_partition(ppp, mealy)
Return an FTS with the PPP (spatial) transitions used by Mealy strategy.

plot_strategy(ab, mealy)
Plot strategic transitions on PPP.

plot_trajectory(ppp, x0, u_seq, ssys, ax=None, color_seed=None)
Plots a PropPreservingPartition and the trajectory generated by x0 input sequence u_seq.

Variables
	logger = `logging.getLogger(__name__)`
	__package__ = `'tulip.abstract'`

Function Details

plot_abstraction_scc(ab, ax=None)

Plot Regions colored by strongly connected component.

Handy to develop new examples or debug existing ones.

plot_ts_on_partition(ppp, ts, ppp2ts, edge_label, only_adjacent, ax)

Plot partition and arrows from labeled digraph.

Edges can be filtered by selecting an edge_label. So it can plot transitions of a single mode for a switched system.

Parameters:

edge_label (dict) - desired label

project_strategy_on_partition(ppp, mealy)

Return an FTS with the PPP (spatial) transitions used by Mealy strategy.

Parameters:

ppp (PropPreservingPartition)
mealy (transys.MealyMachine)

plot_strategy(ab, mealy)

Plot strategic transitions on PPP.

Assumes that mealy is feasible for ab.

Parameters:

ab (AbstractPwa or AbstractSwitched)
mealy (transys.MealyMachine)

plot_trajectory(ppp, x0, u_seq, ssys, ax=None, color_seed=None)

Plots a PropPreservingPartition and the trajectory generated by x0 input sequence u_seq.

Module plot

plot_abstraction_scc(ab, ax=None)

plot_ts_on_partition(ppp, ts, ppp2ts, edge_label, only_adjacent, ax)

project_strategy_on_partition(ppp, mealy)

plot_strategy(ab, mealy)

plot_trajectory(ppp, x0, u_seq, ssys, ax=None, color_seed=None)

See Also