Models for Autonomous Robot Interactions in a Dynamic Environment

• Autorzy: Bogdan Czejdo , Sambit Bhattacharya , Mikołaj Baszun

Warianty tytułu

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.(original abstract)

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 eksperymentalnejinterakcji typu robot-robot oraz człowiek-robot. (abstrakt oryginalny)

Słowa kluczowe

EN

Robotization; Automated storage systems; Logistic models

PL

Robotyzacja; Automatyczne systemy magazynowe; Modele logistyczne

• Czasopismo: Logistyka
• Rocznik: 2015
• Numer: nr 4, CD 2
• Strony: 2879--2886

Twórcy

autor

Bogdan Czejdo

• Fayetteville State University, Fayetteville

autor

Sambit Bhattacharya

• Fayetteville State University, Fayetteville

autor

Mikołaj Baszun

• Warsaw University of Technology, 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 Diagramsfor 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