Documentation of modules

Documentation below was automatically generated from docstrings in the source code using the Sphinx extension autodoc.

• Receding horizon Temporal Logic Planning
  • Receding horizon Temporal Logic Planning Module
• Finite State Abstraction of LTI Systems
  • prop2part.py — Proposition preserving partition module
  • discretize.py — Algorithms related to discretization
  • polytope — Polytope computations and plotting
• Planner Synthesis
  • Jtlvint Module — Interface to JTLV
  • Automaton Module
• Simulation
  • Simulation Module