Package tulip :: Package abstract

Package abstract

TuLiP Toolbox Abstract subpackage

Submodules

tulip.abstract.discretization: Algorithms related to discretization of continuous dynamics.
tulip.abstract.feasible: Check Linear Discrete-Time-Invariant System reachability between polytopes
tulip.abstract.find_controller: Algorithms related to controller synthesis for discretized dynamics.
tulip.abstract.plot: Functions for plotting Partitions.
tulip.abstract.prop2partition: Proposition preserving partition module.

Variables
	__package__ = `'tulip.abstract'`