{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T04:11:52Z","timestamp":1758946312090,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/romoco.2017.8003912","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:41:42Z","timestamp":1502383302000},"page":"193-198","source":"Crossref","is-referenced-by-count":10,"title":["FSM based specification of robot control system activities"],"prefix":"10.1109","author":[{"given":"Maksym","family":"Figat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cezary","family":"Zielinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rene","family":"Hexel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach","year":"1998","author":"harel","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2006.19"},{"key":"ref33","first-page":"182","article-title":"Arrangements of finite-state machines &#x2014; semantics, simulation, and model checking","author":"estivill-castro","year":"2013","journal-title":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development &#x2014; Volume 1 MODELSWARD"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1155\/2012\/959013"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MMAR.2014.6957317"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-013-9883-x"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"year":"0","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90063-3"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.5220\/0005371101890196"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5_3"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2006","author":"hopcroft","key":"ref40"},{"key":"ref11","article-title":"Middleware","volume":"2012","author":"bakken","year":"2012","journal-title":"Encyclopedia of Distributed Computing"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RAMECH.2008.4681485"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1155\/2012\/959013"},{"key":"ref14","article-title":"Player 2.0: Toward a practical robot programming framework","author":"collett","year":"2005","journal-title":"Proceedings of the Australasian Conference on Robotics and Automation (ACRA)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.5772\/5766"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.802930"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5_13"},{"key":"ref18","article-title":"ROS: an open-source Robot Operating System","volume":"3","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2003.1242011"},{"key":"ref28","first-page":"107","article-title":"Intelligence without reason","volume":"3","author":"brooks","year":"1991","journal-title":"Artificial intelligence critical concepts"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/70.34764"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5_9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2478\/v10175-010-0002-x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45993-6_16"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010090405266"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4158(92)90030-R"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5_2"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29357-8_45"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/ROBOT.2000.844041","article-title":"Architecture, the backbone of robotic systems","volume":"1","author":"coste-maniere","year":"2000","journal-title":"Robotics and Automation 2000 Proceedings ICRA '00 IEEE International Conference on"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5_1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30301-5_9"},{"journal-title":"Robot Programming Methods","year":"1995","author":"zielinski","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700402"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ROMOCO.1999.791067"},{"journal-title":"V-rep Robot Simulator","year":"0","key":"ref42"},{"journal-title":"Task Control Architecture Programmer's Guide to Version 8 0","year":"1997","author":"simmons","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1680\/rauids.32705"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2001.976423"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1108\/01439919910250197"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1998.724883"}],"event":{"name":"2017 11th International Workshop on Robot Motion and Control (RoMoCo)","start":{"date-parts":[[2017,7,3]]},"location":"Wasowo Palace, Poland","end":{"date-parts":[[2017,7,5]]}},"container-title":["2017 11th International Workshop on Robot Motion and Control (RoMoCo)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999195\/8003879\/08003912.pdf?arnumber=8003912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:36:44Z","timestamp":1569987404000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8003912\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/romoco.2017.8003912","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}