Slugs: Extensible GR(1) Synthesis

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9780)

Abstract

Applying reactive synthesis in practice often requires modifications of the synthesis algorithm in order to obtain useful implementations. We present slugs, a generalized reactivity(1) synthesis tool that has a powerful plugin architecture for modifying any aspect of the synthesis process to fit the application. Slugs comes pre-equipped with a variety of plugins that improve the quality of the synthesized solutions along criteria such as quick response, cost-optimality, and error-resilience. We demonstrate the utility and scalability of the tool on an example from robotics.

Notes

Acknowledgements

This work was supported by NSF ExCAPE and the Institutional Strategy of the University of Bremen, funded by the German Excellence Initiative.

References

  1. 1.
    Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa’ar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3), 911–938 (2012)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Jing, G., Ehlers, R., Kress-Gazit, H.: Shortcut through an evil door: optimality of correct-by-construction controllers in adversarial environments. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4796–4802 (2013)Google Scholar
  3. 3.
    Ehlers, R., Könighofer, R., Bloem, R.: Synthesizing cooperative reactive mission plans. In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 3478–3485 (2015)Google Scholar
  4. 4.
    Raman, V., Piterman, N., Finucane, C., Kress-Gazit, H.: Timing semantics for abstraction and execution of synthesized high-level robot control. IEEE Trans. Robot. 31(3), 591–604 (2015)CrossRefGoogle Scholar
  5. 5.
    Ehlers, R., Raman, V.: Low-effort specification debugging and analysis. In: 3rd Workshop on Synthesis (SYNT), pp. 117–133 (2014)Google Scholar
  6. 6.
    Somenzi, F.: CUDD: CU Decision Diagram package release 3.0.0 (2015)Google Scholar
  7. 7.
    Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.: Temporal-logic-based reactive mission and motion planning. IEEE Trans. Robot. 25(6), 1370–1381 (2009)CrossRefGoogle Scholar
  8. 8.
    Ehlers, R., Topcu, U.: Estimator-based reactive synthesis under incomplete information. In: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 249–258 (2015)Google Scholar
  9. 9.
    Raman, V., Finucane, C., Kress-Gazit, H.: Temporal logic robot mission planning for slow and fast actions. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 251–256 (2012)Google Scholar
  10. 10.
    Wong, K.W., Ehlers, R., Kress-Gazit, H.: Correct high-level robot behavior in environments with unexpected events. In: Robotics: Science and Systems (RSS) (2014)Google Scholar
  11. 11.
    Wen, M., Ehlers, R., Topcu, U.: Correct-by-synthesis reinforcement learning with temporal logic constraints. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4983–4990 (2015)Google Scholar
  12. 12.
    Ehlers, R., Topcu, U.: Resilience to intermittent assumption violations in reactive synthesis. In: 17th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 203–212 (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.University of Bremen and DFKI GmbHBremenGermany
  2. 2.United Technologies Research CenterBerkeleyUSA

Personalised recommendations