TuLiP User’s Guide

Welcome to TuLiP, the Temporal Logic Planning Toolbox. This user’s guide is intended for people who are interested in making use of TuLiP to synthesize reactive controllers for hybrid systems and perform related functions.

Contents:

• 1. Introduction
  • 1.1. Package Overview
  • 1.2. Version 1.0 Release Notes
  • 1.3. Other sources of documentation
  • 1.4. Getting help
• 2. Installation
  • 2.1. Alternative discrete synthesis tools
  • 2.2. Testing your installation
  • 2.3. New to Python?
  • 2.4. Troubleshooting
• 3. Tutorial and Examples
  • 3.1. Synthesis of Reactive Controllers
  • 3.2. Working with Systems with Piecewise Affine Dynamics
• 4. Specifications
  • 4.1. Getting started
  • 4.2. TuLiP LTL syntax
  • 4.3. TuLiP LTL specification files
• 5. Enumerated property representations
  • 5.1. Labeled graphs
  • 5.2. Transition systems
  • 5.3. Automata
  • 5.4. Transducers (Machines)
• 6. Code generation and exporting of controllers
  • 6.1. python_case
• 7. Gridworlds
  • 7.1. Description format
  • 7.2. Generating continuous-space partitions
• 8. Benchmarks
  • 8.1. Robot Motion Planning
  • 8.2. Aircraft Electric Power Systems
• 9. Additional Problem Formulations
  • 9.1. Discrete-time linear with disturbances
• 10. Developer’s Guide
  • 10.1. Organization and Rules
  • 10.2. Testing
  • 10.3. Version naming
  • 10.4. Making releases
  • 10.5. Contributions
  • 10.6. Advice
• 11. Bibliography

Special pages:

• Index

• Search Page