Browse > Article

Development of High Reliable Reactive System Using LTL Synthesis  

Kwon, Ryoung (경기대학교)
Kwon, Gi-Hwon (경기대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.30, no.2, 2012 , pp. 22-28 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 K. Schneider, Verification of Reactive Systems: Formal Methods and Algorithms, Springer, 1998.
2 A. Pnueli and R. Rosner, "On the Synthesis of a Reactive Module", In the proceedings of 16th ACM Symposium Principles of Programming Language, pp.179-190, 1989.
3 N. Piterman, A. Pnueli, and Y. Saar, "Synthesis of Rective(1) Designs", In the proceedings of VMCAI, pp. 364-380, 2006.
4 T. wongpiromsam, U. Topcu, and R. M. murray, "Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems", In the proceedings of AAAI, 2011.
5 G. E, Fainekos, H. Kress-Gazit, and G. J. Pappas, "Temporal Logic Motion Planning for Mobile Robots", In the proceedings of ICRA, pp.2020-2025, 2005.
6 H. Kress-Gazit, Transforming High Level Tasks to Low Level Controllers, Ph. D. Dissertation, University of Pennsylvania, 2008.
7 http://ltlmop.github.com
8 Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas. "Translating Structured English to Robot Controllers", 2008, Advanced Robotics Special Issue on Selected Papers from IROS 2007
9 P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2008.
10 E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, MIT Press, 1999.
11 D. Harel and A. Pnueli, "On the Development of Reactive Systems", NATO ASI Series, K. Apt, ed., vol. F-13, pp. 477-498. New York: Springer, 1985.
12 M. Broy, et. aI., Model-based Testing of Reactive Systems, Lecture Notes in Computer Science 3472, Springer, 2005.