{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T09:59:12Z","timestamp":1777715952356,"version":"3.51.4"},"reference-count":56,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T00:00:00Z","timestamp":1254096000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2010,4]]},"abstract":"<jats:p>In this paper we present a formal approach to robot motion specification. This motion specification takes into account three elementary behaviors that suffice to define any robot interaction with the environment, i.e. free motion, exerting generalized forces and the transition between both of these behaviors. These behaviors provide a foundation for general motion generation taking into account any sensors, any effectors and the capability to exchange information between embodied agents. This specification can be used both for the definition of robot tasks and implementation of robot control software, hence both of those aspects are presented in this paper. This formal approach was used for the implementation of the MRROC++ robot programming framework. Two-handed manipulation of a Rubik\u2019s cube is used as an exemplary task. Extensive experimentation both with the presented formalism and the MRROC++ framework showed that the imposed formal rigor eliminates many errors at the software specification phase, produces well-structured control software and significantly speeds up and simplifies its implementation. These advantages are mainly due to the fact that the proposed formal specification tool is derived from operational semantics used in computer science for the definition of programming languages, thus a close relationship between abstract definition and the implementation of the control system resulted.<\/jats:p>","DOI":"10.1177\/0278364909348761","type":"journal-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T20:18:30Z","timestamp":1254169110000},"page":"386-413","source":"Crossref","is-referenced-by-count":50,"title":["Motion Generation in the MRROC++ Robot Programming Framework"],"prefix":"10.1177","volume":"29","author":[{"given":"Cezary","family":"Zieli\u00f1ski","sequence":"first","affiliation":[{"name":"Warsaw University of Technology, Warsaw, Poland,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Winiarski","sequence":"additional","affiliation":[{"name":"Warsaw University of Technology, Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2009,9,28]]},"reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700402"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1109\/56.20440"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194005002336"},{"key":"atypb4","volume-title":"Computer-controlled Systems","author":"\u00c5str\u00f6m, K.","year":"1997"},{"key":"atypb5","volume-title":"NASA Conference on Space Telerobotics","author":"Backes, P."},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96883-9"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82745-7"},{"key":"atypb8","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS\u201905)","author":"Brooks, A."},{"key":"atypb9","doi-asserted-by":"crossref","unstructured":"Brooks, A., Kaupp, T., Makarenko, A., Williams, S. and Oreb\u00e4ck, A. ( 2007). Orca: A Component Model and Repository. Berlin, Springer, pp. 231-251.","DOI":"10.1007\/978-3-540-68951-5_13"},{"key":"atypb10","volume-title":"OROCOS-Open Robot Control Software","author":"Bruyninckx, H.","year":"2002"},{"key":"atypb11","volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation","author":"Bruyninckx, H."},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1109\/70.246048"},{"key":"atypb13","volume-title":"Player 2.0: toward a practical robot programming framework. Australasian Conf. on Robotics and Automation","author":"Collett, T.","year":"2005"},{"key":"atypb14","volume-title":"Introduction to Robotics, Mechanics and Control","author":"Craig, J.J.","year":"1989"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015073"},{"key":"atypb16","volume-title":"Genom user\u2019s guide. Technical Report","author":"Fleury, S.","year":"2001"},{"key":"atypb17","volume-title":"Proceedings of the International Conference on Advanced Robotics","author":"Gerkey, B."},{"key":"atypb18","volume-title":"Player, User Manual Version 1.5","author":"Gerkey, B.","year":"2004"},{"key":"atypb19","doi-asserted-by":"crossref","unstructured":"Hayward, V., Daneshmend, L. and Hayati, S. ( 1989). An overview of KALI: a system to program and control cooperative manipulators. Advanced Robotics, Waldron, K. (ed.). Berlin, Springer , pp. 547-558.","DOI":"10.1007\/978-3-642-83957-3_38"},{"key":"atypb20","volume-title":"7th American Control Conference","author":"Hayward, V."},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.1177\/027836498600500407"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1115\/1.3140702"},{"key":"atypb23","volume-title":"Proceedings of the IEEE International Symposium on Assembly and Task Planning","author":"Horie, T."},{"key":"atypb24","volume-title":"Proceedings. 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems","author":"Jeong, S."},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1002\/0471703567"},{"key":"atypb26","volume-title":"Intelligent dual-arm robot system for solving Rubik\u2019s Cube","author":"Kawasaki","year":"2005"},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1987.1087068"},{"key":"atypb28","doi-asserted-by":"publisher","DOI":"10.1177\/027836499501400103"},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-4563(199611)13:11<755::AID-ROB6>3.0.CO;2-U"},{"issue":"11","key":"atypb30","first-page":"8","volume":"14","author":"Korf, R.","year":"1999","journal-title":"IEEE Intelligent Systems"},{"key":"atypb31","volume-title":"IEEE International Conference on Robotics and Automation","author":"Kroger, T."},{"key":"atypb32","volume-title":"Rubik\u2019s Cube Solver","author":"Li, D.","year":"2005"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1002\/rob.4620100305"},{"key":"atypb34","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1988.12095"},{"key":"atypb35","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS\u201906)","author":"Makarenko, A."},{"key":"atypb36","doi-asserted-by":"publisher","DOI":"10.1145\/372765.372771"},{"key":"atypb37","volume-title":"The Definition of Programming Languages","author":"McGettrick, A.","year":"1980"},{"key":"atypb38","unstructured":"Mianowski, K. ( 2006). Analiza w3a\u0153ciwo\u0153ci chwytaka specjalnego przeznaczonego dla robota us3ugowego. mat. Kraj. Konf. TMM, Oficyna Wyd. Uniwersytetu Zielonog\u00f3rskiego, pp. 185-190."},{"key":"atypb39","doi-asserted-by":"crossref","unstructured":"Nesnas, I. ( 2007). The CLARAty project: coping with hardware and software heterogenity. Software Engineering for Experimental Robotics, Brugali, D. (ed.) (Springer Tracts in Advanced Robotics, Vol. 30). New York, Springer , pp. 31-70.","DOI":"10.1007\/978-3-540-68951-5_3"},{"key":"atypb40","volume-title":"Rubot II","author":"Redmond, P.","year":"2009"},{"key":"atypb41","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell, S.","year":"1995"},{"key":"atypb42","volume-title":"Proceedings of the 7th International Symposium of Robotics Research","author":"Siciliano, B."},{"key":"atypb43","volume-title":"Robotics Modeling and Control","author":"Spong, M.","year":"2005"},{"key":"atypb44","volume-title":"16th CISM-IFToMM Symposium on Robot Design, Dynamics and Control, RoManSy\u201906","author":"Szynkiewicz, W."},{"key":"atypb45","volume-title":"Proceedings of the 2002 IEEE Conference on Robotics and Automation, Vol. 1","author":"Tsumugiwa, T."},{"key":"atypb46","volume-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS\u201903","author":"Vaughan, R."},{"key":"atypb47","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2007.892831"},{"key":"atypb48","unstructured":"Zieli\u00f1ski, C. ( 1995a). Control of a multi-robot system. 2nd International Symposium on Methods and Models in Automation and Robotics, MMAR\u201995, Mi\u00eadzyzdroje, Poland, pp. 603-608."},{"key":"atypb49","volume-title":"Robot Programming Methods","author":"Zieli\u00f1ski, C.","year":"1995"},{"key":"atypb50","doi-asserted-by":"publisher","DOI":"10.1163\/156855301750095587"},{"key":"atypb51","doi-asserted-by":"crossref","unstructured":"Zieli\u00f1ski, C. ( 2006). Transition-function based approach to structuring robot control software. Robot Motion and Control: Recent Developments, Kozowski, K. (ed.) (Lecture Notes in Control and Information Sciences, Vol. 335). Berlin, Springer, pp. 265-286.","DOI":"10.1007\/978-1-84628-405-2_17"},{"key":"atypb52","volume-title":"Proceedings of the 5th International Symposium on Methods and Models in Automation and Robotics, MMAR\u201998","author":"Zieli\u00f1ski, C."},{"key":"atypb53","doi-asserted-by":"publisher","DOI":"10.1016\/S0957-4158(00)00038-6"},{"key":"atypb54","volume-title":"Proceedings of the 5th International Workshop on Robot Motion and Control, RoMoCo\u201905","author":"Zieli\u00f1ski, C."},{"key":"atypb55","doi-asserted-by":"publisher","DOI":"10.1108\/01439910710774377"},{"key":"atypb56","volume-title":"End-effector sensors role in service robots. Robot Motion and Control 2007","author":"Zieli\u00f1ski, C.","year":"2007"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364909348761","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0278364909348761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:16:58Z","timestamp":1777457818000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0278364909348761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,28]]},"references-count":56,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["10.1177\/0278364909348761"],"URL":"https:\/\/doi.org\/10.1177\/0278364909348761","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,28]]}}}