Receding horizon temporal logic planning

From VaVMURI

Return to workshop home

• Lecture slides

Background reading

• Receding Horizon Temporal Logic Planning for Dynamical Systems, Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray. Conference on Decision and Control (CDC), 2009 (Submitted)

Software

• MPT - multi-parametric toolbox
  • Extract the tar file, then follow the directions from the web site to add mpt directory to your path
• TLV - temporal logic verifier
  • OS X: extra tar file and rules file, compile with make
  • Set the environment variable TLV_PATH to point to the tlv directory
• Synthesis - synthesize FSM from LTL spec
  • Download the script synthesis.tlv into the same directory as the examples (below)
• rhtlp-examples.tar (tar file) - examples from the lecture
  • This will extra to a directory examples with the files needed for the demo

Additional information