Metoda specyfikacji robota-kompana

• Autorzy: Figat M. , Zieliński C.

Warianty tytułu

EN

Method of specification of a companion-robot

• Języki publikacji: PL

Abstrakty

PL

Z prognoz dotyczących procesów demograficznych wynika, iż łudzi starych, potrzebujących opieki, będzie przybywać w stosunku do aktywnej siły roboczej. Problem opieki może być złagodzony za pomocą robotów kompanów. Układy sterowania tego typu robotów są bardzo złożone. Potrzeba więc odpowiednich narzędzi projektowych, aby je tworzyć. Tutaj przedstawiono procedurę tworzenia formalnej specyfikacji układów sterowania takich robotów.

EN

Companion robots are a necessity in the face of aging society, where a growing number of elderly will have to be supported by a diminishing number of working people. The complexity of control systems of such robots requires a formalised design procedure including an adequate specification method. This paper presents sucha method, illustrated by the specification of the control system of a companion-robot utilised by the RAPP project.

Słowa kluczowe

PL

robotyka; robot kompan; sterownik robota; programowanie robota; metoda specyfikacji

EN

robotics; companion robot; robot controller; programming of robot; method of specifications

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Elektronika
• Rocznik: 2016
• Tom: z. 195, t. 1
• Strony: 39--49
• Opis fizyczny: Bibliogr. 17 poz., rys.

Twórcy

autor

Figat M.

• Instytut Automatyki i Informatyki Stosowanej, Politechnika Warszawska, ul. Nowowiejska 15/19, 00-665 Warszawa

autor

Zieliński C.

• Instytut Automatyki i Informatyki Stosowanej, Politechnika Warszawska, ul. Nowowiejska 15/19, 00-665 Warszawa

Bibliografia

• [1] M. Brambilla, J. Cabot, M. Wimmer. Model-Driven Software Engineering in Practice. Synthesis Lect. on Software Engineering, Morgan & Claypool 2012.
• [2] M. Brambilla, J. Cabot, M. Wimmer. Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering, Morgan & Claypool 2012.
• [3] W. Dudek, W. Szynkiewicz, T. Winiarski. Nao Robot Navigation System Structure Development in an Agent-Based Architecture of the RAPP Platform. In: Recent Advances in Automation, Robotics and Measuring Techniques Red. R. Szewczyk, C. Zieliński, M. Kaliczyńska. Advances in Intelligent Systems & Computing, s. 623-633. Springer 2016.
• [4] M. Figat et al. Distributed, reconfigurable architecture for robot companions exemplified by a voice-mail application. In: 20th IEEE International Conference on Methods and Models in Automation and Robotics, MMAR'2015. IEEE 2015.
• [5] GUS. Sytuacja demograficzna osób starszych i konsekwencje starzenia się ludności polski w świetle prognozy na lata 2014-2050. 2014.
• [6] S.H. Kaisler. Software Paradigms. Wiley Interscience 2005.
• [7] T. Kornuta, T. Winiarski, C. Zieliński. Specification of abstract robot skills in terms of control system behaviours. In: Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics. Red. R. Szewczyk, C. Zieliński, M. Kaliczyńska, Advances in Intelligent Syst. & Computing, s. 139-152 . Springer 2015.
• [8] P.A. Mitkas. Assistive robots as future caregivers: The rapp approach. In: Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics . Red. R. Szewczyk, C. Zieliński, M. Kaliczyńska, Advances in Intelligent Systems & Computing, s. 171-179. Springer 2015.
• [9] F. Psomopoulos et al. Rapp system architecture. In: IROS 2014 –Assistance and Service Robotics in a Human Environment, s. 14-18. Workshop in conjunction with IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, Illinois, September 14, 2014.
• [10] S. Reppou, G. Karagiannis. Social inclusion with robots: A RAPP case study using nao for techno1ogy illiterate elderly at ormylia foundation. In: Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics. Red. R. Szewczyk, C. Zieliński, M. Kaliczyńska, Advances in Intelligent Systems & Computing, s. 233-241. Springer 2015.
• [11] M. Stenmark, J. Malec. Knowledge-based instruction of manipulation tasks for industrial robotics. Robotics and Computer-Integrated Manufacturing, 2015, s. 56 -67. Special Issue on Knowledge Driven Robotics and Manufacturing.
• [12] M. Szlenk et al. Reconfigurable Agent Architecture for Robots Utilising Cloud Computing. In: Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics Proceedings Red. R. Szewczyk, C. Zieliński, M. Kaliczyńska. Springer, 2015, Advances in Intelligent Systems & Computing, s. 253-264.
• [13] C. Zieliński. Inteligencja wokół nas. Współdziałanie agentów softwareowych, robotów, inteligentnych urządzeń. EXIT 2010, rozdział Formalne podejście do programowania robotów- struktura układu sterującego, s. 267-300.
• [14] C. Zieliński, M. Figat. Robot System Design Procedure Based on a Formal Specification. In: Recent Advances in Automation, Robotics and Measuring Techniques Red. R. Szewczyk, C. Zieliński, M. Kaliczyńska, Advances in Intelligent Systems & Computing, s. 511-522. Springer 20l6.
• [15] C. Zieliński, T. Kornuta. An object-based robot ontology. Springer, 2015. wolumen 323 serii Advances in Intelligent Systems & Computing, s. 3 -14.
• [16] C. Zieliński et al. Reconfigurable control architecture for exploratory robots. In: 10th International Workshop on Robot Motion and Control (RoMoCo). Proceedings Red. K. Kozłowski. IEEE, 20 15, s. 130-135.
• [17] C. Zieliński et al. Sterowniki o zmiennej strukturze w zastosowaniu do robotów społecznych. 2016.

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.