Guarded command programs with rates

From VaVMURI

Jump to: navigation, search

Return to workshop home

Background reading

Software

  • CCL - computation and control language
    • Install the "factory floor" version of the program
    • Follow the directions in the README file (make sure to 'source init_env').
    • Alternatively...
      • Make sure to set the envrionment variable CCL_ROOT to the location of the CCL source code (main directory)
      • I had to set the environment variable LD_LIBRARY_PATH to $CCL_ROOT/lib to get ccli to run
  • Robot simulation library (Subversion repository)
    • Check this out using the command 'svn http://soslab.ee.washington.edu/svn/efri/ff/'
    • Put the resulting file in the ccl library (you may need to replace the subdirecotry that is there)
    • Run 'make clean' followed by 'make'
    • The "tower" example in the lecture is in 'tower2.ccl'. Run this (using ccli) and then run "visualize" (in the ff subdirectory) to see the movies that were presented
  • est_modular.ccl - Multi-agent consensus example
    • Run this by typing 'ccli est_modular.ccl' (assume ccli is in your path and est_modular.ccl is in your current directory)

Additional information

  • PRISM - stochastic model checking program
Personal tools