Welcome to the documentation for the stlpy package! stlpy is a python library for control from Signal Temporal Logic (STL) specifications.

Contents

• About
  • Signal Temporal Logic
  • Citing stlpy
• Getting Started
  • Installation
  • Dependencies
  • A Simple Example
  • More Examples
• Defining STL Formulas
  • STLFormula
  • STLTree
  • LinearPredicate
• Modeling Control Systems
  • LinearSystem
  • DoubleIntegrator
  • NonlinearSystem
  • Unicycle
• Solving Control Problems
  • Drake
  • Gurobi
  • Scipy
  • Write Your Own Solver
• Benchmarks
  • Reach-Avoid
  • Nonlinear Reach-Avoid
  • Either-Or
  • Narrow Passage
  • Multi-Target
  • Door Puzzle
  • Stepping-Stones
  • Adding New Benchmarks
  • Helper functions