Resilience to intermittent assumption violations in reactive synthesis

HSCC 2014 - Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)

Volumn , Issue , 2014, Pages 203-212

  Ehlers, Rüdiger ^a,b   Topcu, Ufuk ^c  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF KASSEL   (Germany)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS;

DEVELOPMENT CYCLE; ERROR RESILIENCE; ERROR-RESILIENT SYSTEMS; EXCEPTIONAL OPERATING CONDITIONS; REACTIVE SYNTHESIS; REACTIVE SYSTEM; SYNTHESIS PROCEDURE; SYSTEM DESIGNERS;

HYBRID SYSTEMS;

EID: 84899760451     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2562059.2562128     Document Type: Conference Paper

References (18)

1. S. Almagor, U. Boker, and O. Kupferman. Formalizing and reasoning about quality. In ICALP (2), pages 15-27, 2013.
2. R. Bloem, H.-J. Gamauf, G. Hofferek, B. Könighofer, and R. Könighofer. Synthesizing robust systems with RATSY. In SYNT, volume 84 of EPTCS, pages 47-53, 2012.
3. R. Bloem, K. Greimel, T. A. Henzinger, and B. Jobstmann. Synthesizing robust systems. In FMCAD, pages 85-92, 2009.
4. R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Sa'ar. Synthesis of reactive(1) designs. Journal of Computer and System Sciences, 78(3):911-938, 2012.
5. R. Ehlers. Generalized Rabin(1) synthesis with applications to robust system synthesis. In NASA Formal Methods, pages 101-115, 2011.
6. R. Ehlers, C. Finucane, and V. Raman. Slugs GR(1) synthesizer. http://github.com/ltlmop/slugs, 2013.
7. R. Ehlers, R. Könighofer, and G. Hofferek. Symbolically synthesizing small circuits. In G. Cabodi and S. Singh, editors, FMCAD, pages 91-100. IEEE, 2012.
8. T. Eiter, K. Makino, and G. Gottlob. Computational aspects of monotone dualization: A brief survey. Discrete Applied Mathematics, 156(11):2035-2049, 2008.
9. D. Gainanov. On one criterion of the optimality of an algorithm for evaluating monotonic boolean functions. USSR Computational Mathematics and Mathematical Physics, 24(4):176-181, 1984.
10. C.-H. Huang, D. Peled, S. Schewe, and F. Wang. Rapid recovery for systems with scarce faults. In M. Faella and A. Murano, editors, GandALF, volume 96 of EPTCS, pages 15-28, 2012.
11. G. Jing, R. Ehlers, and H. Kress-Gazit. Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. In IROS, pages 4796-4802. IEEE, 2013.
12. S. C. Livingston. gr1c GR(1) synthesizer. http://github.com/slivingston/ gr1c, 2013.
13. A. Pnueli. The temporal logic of programs. In FOCS, pages 46-57. IEEE Computer Society, 1977.
14. V. Raman, N. Piterman, and H. Kress-Gazit. Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. In ICRA. IEEE, 2013.
15. P. Tabuada, A. Balkan, S. Y. Caliskan, Y. Shoukry, and R. Majumdar. Input-output robustness for discrete systems. In EMSOFT, pages 217-226, 2012.
16. D. C. Tarraf, A. Megretski, and M. A. Dahleh. A framework for robust stability of systems over finite alphabets. IEEE Transactions on Automatic Control, 53(5):1133-1146, 2008.
17. U. Topcu, N. Ozay, J. Liu, and R. M. Murray. On synthesizing robust discrete controllers under modeling uncertainty. In Hybrid System: Computation and Control, pages 85-94, 2012.
18. J. C. Willems. Dissipative dynamical systems part i: General theory. Archive for rational mechanics and analysis, 45(5):321-351, 1972.