Finite State Abstraction of LTI Systems
=======================================

--------------------------------------------------------
prop2part.py --- Proposition preserving partition module
--------------------------------------------------------

.. automodule:: prop2part
   :members:


------------------------------------------------------
discretize.py --- Algorithms related to discretization
------------------------------------------------------

.. automodule:: discretize
   :members:


-----------------------------------------------
polytope --- Polytope computations and plotting
-----------------------------------------------

.. automodule:: polytope.polytope
   :members:

Plotting
````````

.. automodule:: polytope.plot
   :members: