Models for autonomous robot interactions in a dynamic environment

• Autorzy: Czejdo, B. , Bhattacharya, S. , Baszun, M.

Warianty tytułu

PL

Modele interakcji robotów autonomicznych w warunkach dynamicznych

• Języki publikacji: EN

Abstrakty

EN

There is a lot of progress in investigating capabilities of various monitoring systems that observe moving objects and learn patterns of activities from these observations. Our goal is to improve the active observation of moving objects by using mobile platforms. As a result the logistics solutions for delivery of products can incorporate new models describing more efficient autonomous robots navigation and interactions in dynamic environments. We use humanoid robot as a case study for the experimentation with robot-robot and human-robot interactions.

PL

Dokonuje się znaczący progres w rozwoju różnorodnych systemów śledzących (monitorujących) obserwujących poruszające się obiekty i uczących się wzorców aktywności w oparciu o te obserwacje. Celem niniejszej pracy jest poprawa możliwości śledzących poprzez zastosowanie mobilnej platformy. W rezultacie rozwiązania logistyczne dostarczania produktów można poszerzyć o modele bardziej efektywnie opisujące nawigację oraz interakcje robotów autonomicznych w warunkach dynamicznych. Jako studium przypadku rozpatrzono robot humanoid w zastosowaniu do eksperymentalnej interakcji typu robot-robot oraz człowiek-robot.

Słowa kluczowe

PL

robot; diagramy stanu; śledzenie obiektów; modele logistyczne

EN

robot; state diagrams; active tracking; logistics models

• Czasopismo: Logistyka
• Rocznik: 2015
• Tom: nr 4
• Strony: 2879--2886, CD2
• Opis fizyczny: Bibliogr. 20 poz., rys., tab.

Twórcy

autor

Czejdo, B.

• Department of Mathematics and Computer Science, Fayetteville State University, Fayetteville, NC 28301, USA,

autor

Bhattacharya, S.

• Department of Mathematics and Computer Science, Fayetteville State University, Fayetteville, NC 28301, USA

autor

Baszun, M.

• Warsaw University of Technology, Department of Electronics and Information Technology, Nowowiejska 15/19, 00-665 Warsaw, Poland,

Bibliografia

• 1. Murphy, R. (2000) Introduction to AI Robotics, MIT Press.
• 2. Desouza, G.N. Kak, A.C., "Vision for mobile robot navigation: a survey", Pattern Analysis and Machine Intelligence, IEEE Transactions on, Volume 24, Issue 2, 237-267 (2002).
• 3. Blank, D. (2006) Robots make computer science personal, Communications of the ACM, 49, (12).
• 4. Kumar, D. (Ed.) (2007) Learning Computing with Robots (Python) 1st Edition, Institute for Personal Robots in Education.
• 5. Meng, Y., Multi-Robot Searching using Game Theory Based Approach, Journal of Advanced Robotics Systems, 2008.
• 6. Czejdo, B. D., Bhattacharya, S., and Czejdo, J., Use of Probabilistic State Diagrams for Robot Navigation in an Indoor Environment. Proceedings of the Annual International Conference on Advanced Topics in Artificial Intelligence (ATAI), pp. A-97 to A-102, 2010.
• 7. Harel, D., "On visual formalisms", Communications of the ACM, 31, (5), 514-530, 1988.
• 8. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W., Object-Oriented Modeling and Design, Prentice Hall, New Jersey, 1990.
• 9. Czejdo, B. D. and Bhattacharya, S., "Programming robots with state diagrams", Journal of Computing Sciences in Colleges, Volume 24 , Issue 5, 19-26 (2009).
• 10. Bhattacharya, S., Czejdo, B. D. & Mobley, S. (2009) An Integrated Computer Vision and Infrared Sensor Based Approach to Autonomous Robot Navigation in an Indoor Environment. Proceedings of the 7th International Conference on Computing, Communications and Control Technologies, 2009.
• 11. Galamhos, C., Matas, J., Kittler, J., "Progressive probabilistic Hough transform for line detection", Conference on Computer Vision and Pattern Recognition, 1999, IEEE Computer Society. Volume 1, 560–566, 1999.
• 12. McMillan, K. L. (1993) Symbolic Model Checking, Kluwer Academic Publishers.
• 13. Peled, D. A. (2001) Software Reliability Methods, Springer.
• 14. Clarke, E.M. & Wing, J. M. (1996) Formal methods; State of the Art and Future Directions, ACM Computing Surveys, December, vol. 28, nr 4, 627 – 643.
• 15. Bryant, R. E. (1995) Binary Decision Diagrams: Enabling Technologies for Formal Verification, Proc. IEEE/ACM Int. Conf. on Computer-Aided Design, 236-243.
• 16. Holzmann, G. J. (1997) The Model Checker SPIN, IEEE Trans. on SE, Vol. 23, No. 5, May, 279-295.
• 17. Berard, B. (Ed.) (2001) Systems and Software Verification: Model-Checking Techniques and Tools, Springer Verlag.
• 18. Lambert D.,Stock J., Ellsram L., Fundamentals of Logistics, McGraw-Hill 1998
• 19. McGinnis M. A., Military Logistics: Insights for Business Logistics, International Journal of Physical Distribution & Logistics Management Vol 22, 1992.
• 20. Who is Nao?, Aldebaran, URL: www.aldebaran.com/en/humanoid-robot/nao-robot