Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 8

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems

A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences

,

DOI: http://dx.doi.org/10.15439/2016F351

Citation: Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 8, pages 61–70 ()

Full text

Abstract. This paper is aimed at presenting some general construction method of the hybrid plan controller for some task of temporal planning with preferences. This construction is multi-stage and it begins with a description of a chosen robot environment and its plan in some extended version of Linear Temporal Logic. This description is later transformed to the appropriate preferential B\"uchi automaton. In the same way, the real plan performing by the robot is encoded by some similar automaton. Finally, both automata are exploited to construct its product automaton, which is later described in PROLOG.

References

  1. M. Antonniotti and B. Mishra. Discrete event models+ temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. Proceedings of IEEE Intern. Conf. on Robotics and Automation, 1999.
  2. F. Bacchus and F. Kabanza. Using temporal logic to express search control knowledge for planning. Artificial Intelligence, 116, 2000.
  3. R. Buchi. On a decision method in restricted second-order arithmetic. Stanford University Press, 1962.
  4. G. Fainekos, H Kress-gazit, and G. Pappas. Hybrid controllers for path planning: A temporal logic approach. Proceeding of the IEEE International Conference on Decision and Control, Sevilla, December:4885–4890, 2005.
  5. G. Fainekos, H Kress-gazit, and G. Pappas. Temporal logic moton planning for mobile robots. Proceeding of the IEEE International Conference on Robotics and Automaton, pages 2032–2037, 2005.
  6. D. Giacomo and M Vardi. Automata-theoretic approach to planning for temporally extended goals. Proceeding of the 5th European Conference on Planning, 1809:226–238, 2000.
  7. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38:935–962, 1991.
  8. G. Holzmann. The spin model checker, primer and reference manual. Addison-Wesley, 2004.
  9. D. Hristu-Varsakelis, M. Egersted, and S. Krishnaprasad. On the complexity of the motion description language mdle. Proceedings of the 42 IEEE Conference on Decision and Control, December:3360–3365, 2003.
  10. K. Jobczyk and A. Ligeza. Multi-valued halpern-shoham logic for temporal allen’s relations and preferences. Proceedings of the annual international conference of Fuzzy Systems (FuzzIEEE), page to appear, 2016.
  11. K. Jobczyk and A. Ligeza. Systems of temporal logic for a use of engineering. toward a more practical approach. In Intelligent Systems for Computer Modelling, pages 147–157, 2016.
  12. K. Jobczyk, A. Ligeza, and K. Kluza. Proceedings of ICAISC’16, LNAI II:to appear, 2016.
  13. K. Jobczyk and J. Ligeza, A. nad Kaczmarczuk. Fuzzy-temporal approach to the handling of temporal interval relations and preferences. Proceedings of INISTA2015, pages 1–8, 2015.
  14. E. Klavins. A language for modelling and programming cooperative control systems. Proceedings of the 42 IEEE Conference on Robotics and Automaton, New Orleans, April, 2004.
  15. M. Mach-Krol. Perspectives of using temporal logics for knowledge management. Proceedings of FedCsIS, 49:935–938, 2012.
  16. M. Mach-Krol. Perspects of using temporal logics for knowledge management. ABICT, 49:41–52, 2012.
  17. J. Marcinkowski and J. Michaliszyn. The last paper on the halpernshoham interval temporal logic. 2010.
  18. L. Maximova. Temporal logics with operator ’the next’ do not have interpolation or beth property. In Sibirskii Matematicheskii Zhurnal, pages 109–113, 32(6)1991.
  19. A. Montanari and P. Sala. Interval logics and omegab-regular languages. LATA, LNCS:431–444, 2013.
  20. P. Tabauda and G. Pappas. From discrete specification to hybrid control. Proceedings of the 42IEEE Conference on Decision and Control, 2003.
  21. M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. Proceedings of the 1st Symposium on Logic in Computer Science, June:322–331, 1986.
  22. M. Vardi and P. Wolper. Reasoning about infinite computations. Information and Computation, 115(1):1–37, 1994.