{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:45:22Z","timestamp":1743047122531,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642416101"},{"type":"electronic","value":"9783642416101"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-642-41610-1_9-1","type":"book-chapter","created":{"date-parts":[[2020,7,29]],"date-time":"2020-07-29T05:26:41Z","timestamp":1596000401000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Robot Task Modeling"],"prefix":"10.1007","author":[{"given":"Pedro U.","family":"Lima","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,30]]},"reference":[{"issue":"1","key":"9-1_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MRA.2007.339624","volume":"14","author":"C Belta","year":"2007","unstructured":"Belta C, Bicchi A, Egerstedt M, Frazzoli E, Klavins E, Pappas G (2007) Symbolic planning and control of robot motion [grand challenges of robotics]. IEEE Robot Autom Mag 14(1):61\u201370","journal-title":"IEEE Robot Autom Mag"},{"key":"9-1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer","edition":"2"},{"key":"9-1_CR3","doi-asserted-by":"publisher","first-page":"5177","DOI":"10.1109\/ICRA.2012.6225075","volume-title":"Proceedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation","author":"Y Chen","year":"2012","unstructured":"Chen Y, Tumov\u00e1 J, Belta C (2012) LTL robot motion control based on automata learning of environmental dynamics. In: Proceedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation. IEEE, St. Paul, pp 5177\u20135182"},{"issue":"1\u20132","key":"9-1_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A Cimatti","year":"2003","unstructured":"Cimatti A, Pistore M, Roveri M, Traverso P (2003) Weak, strong, and strong cyclic planning via symbolic model checking. Artif Intell 147(1\u20132):35\u201384","journal-title":"Artif Intell"},{"key":"9-1_CR5","doi-asserted-by":"crossref","unstructured":"Cizelj I, Belta C (2013) Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. In: Procedings of ICRA\u201913: the 2013 IEEE international conference on robotics and automation, Karlsruhe","DOI":"10.1109\/ICRA.2013.6630847"},{"key":"9-1_CR6","doi-asserted-by":"crossref","unstructured":"Costelha H, Lima P (2007) Modeling, analysis and execution of robotic tasks using Petri nets. In: Proceedings of IROS 2007\u2014IEEE international conference on intelligent robots and systems, San Diego, pp 1449\u20131454","DOI":"10.1109\/IROS.2007.4399365"},{"issue":"4","key":"9-1_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10514-012-9288-x","volume":"33","author":"H Costelha","year":"2012","unstructured":"Costelha H, Lima PU (2012) Robot task plan representation by petri nets: modelling, identification, analysis and execution. Autonom Robot, 33(4):337\u2013360","journal-title":"Autonom Robot"},{"key":"9-1_CR8","volume-title":"Automata-theoretic approach to planning for temporally extended goals","author":"G De Giacomo","year":"1999","unstructured":"De Giacomo G, Vardi M.Y. Automata-theoretic approach to planning for temporally extended goals. European Conference on Planning. Springer, Berlin, Heidelberg, 1999."},{"key":"9-1_CR9","unstructured":"Espiau B, Kapellos K, Jourdan M, Simon D (1995) On the validation of robotics control systems part I: high level specification and formal verification. Technical Report 2719, INRIA"},{"key":"9-1_CR10","doi-asserted-by":"publisher","first-page":"2020","DOI":"10.1109\/ROBOT.2005.1570410","volume-title":"Proceedings of ICRA\u201905: the 2005 IEEE international conference on robotics and automation","author":"G Fainekos","year":"2005","unstructured":"Fainekos G, Kress-Gazit H, Pappas G (2005) Temporal logic motion planning for mobile robots. In: Proceedings of ICRA\u201905: the 2005 IEEE international conference on robotics and automation. IEEE, Barcelona, pp 2020\u20132025"},{"key":"9-1_CR11","volume-title":"Introduction to automata theory, languages, and computation","author":"M Huth","year":"2006","unstructured":"Huth M, Ryan M (2006) Introduction to automata theory, languages, and computation, 3rd edn. Addison-Wesley Longman Publishing Co. Inc., Boston","edition":"3"},{"key":"9-1_CR12","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1109\/ICRA.2012.6224980","volume-title":"Procedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation","author":"B Johnson","year":"2012","unstructured":"Johnson B, Havlak F, Campbell M, Kress-Gazit H (2012) Execution and analysis of high-level tasks with dynamic obstacle anticipation. In: Procedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation. IEEE, St. Paul, pp 330\u2013337"},{"issue":"101","key":"9-1_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0004-3702(98)00023-X","volume":"1","author":"LP Kaelbling","year":"1998","unstructured":"Kaelbling LP, Littman ML, Cassandra AR (1998) Planning and acting in partially observable stochastic domains. Artif Intell 1(101):99\u2013134","journal-title":"Artif Intell"},{"issue":"4","key":"9-1_CR14","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1109\/TSMCC.2007.897330","volume":"37","author":"G Kim","year":"2007","unstructured":"Kim G, Chung W (2007) Navigation behavior selection using generalized stochastic Petri nets for a service robot. IEEE Trans Syst Man Cybern Part C: Appl Rev 37(4):494\u2013503","journal-title":"IEEE Trans Syst Man Cybern Part C: Appl Rev"},{"issue":"5","key":"9-1_CR15","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TSMCA.2003.817387","volume":"33","author":"J King","year":"2003","unstructured":"King J, Pretty R, Gosine R (2003) Coordinated execution of tasks in a multiagent environment. IEEE Trans Syst Man Cybern Part A: Syst Humans 33(5):615\u2013619","journal-title":"IEEE Trans Syst Man Cybern Part A: Syst Humans"},{"key":"9-1_CR16","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Belta C (2008a) Distributed implementations of global temporal logic motion specifications. In: ICRA\u201908: Proceedings of the 2008 IEEE international conference on robotics and automation, Pasadena, pp 393\u2013398","DOI":"10.1109\/ROBOT.2008.4543239"},{"issue":"1","key":"9-1_CR17","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M Kloetzer","year":"2008","unstructured":"Kloetzer M, Belta C (2008b) A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans Autom Control 53(1): 287\u2013297","journal-title":"IEEE Trans Autom Control"},{"key":"9-1_CR18","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Mahulea C (2016) Multi-robot path planning for syntactically co-safe LTL specifications. In: 13th international workshop on discrete event systems, pp 452\u2013458","DOI":"10.1109\/WODES.2016.7497887"},{"issue":"11","key":"9-1_CR19","doi-asserted-by":"publisher","first-page":"1238","DOI":"10.1177\/0278364913495721","volume":"32","author":"J Kober","year":"2009","unstructured":"Kober J, Bagnell JA, Peters J (2009) Reinforcement learning in robotics: a survey. Int J Robot, 32(11):1238\u20131274","journal-title":"Int J Robot"},{"key":"9-1_CR20","doi-asserted-by":"crossref","unstructured":"Ko\u0161eck\u00e1 J (1996) A framework for modeling and verifying visually guided agents: design, analysis and experiments. PhD thesis, GRASP Laboratory, University of Pennsylvania","DOI":"10.1142\/9789812797698_0005"},{"key":"9-1_CR21","doi-asserted-by":"crossref","unstructured":"Kosecka J, Bogoni L (1994) Application of discrete events systems for modeling and controlling robotic agents. In: Proceedings of ICRA\u201994: the IEEE international conference on robotics and automation. IEEE, pp 2557\u20132562","DOI":"10.1109\/ROBOT.1994.351127"},{"key":"9-1_CR22","doi-asserted-by":"crossref","unstructured":"Kress-Gazit H, Fainekos GE, Pappas GJ (2007) From structured english to robot motion. In: Proceedings of IROS\u201907: IEEE\/RSJ international conference on intelligent robots and systems, San Diego, pp 2717\u20132722","DOI":"10.1109\/IROS.2007.4398998"},{"issue":"6","key":"9-1_CR23","doi-asserted-by":"publisher","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit H, Fainekos GE, Pappas GJ (2009) Temporal logic-based reactive mission and motion planning. IEEE Trans Robot 25(6):1370\u20131381","journal-title":"IEEE Trans Robot"},{"key":"9-1_CR24","doi-asserted-by":"crossref","unstructured":"Lacerda B, Lima PU (2011) Designing Petri net supervisors for from LTL specifications. In: Proceedings of RSS VII\u2014the 2011 robotics: science and systems conference, Los Angeles","DOI":"10.15607\/RSS.2011.VII.024"},{"key":"9-1_CR25","first-page":"2236","volume-title":"Proceedings of CDC\u201909: the 48th IEEE conference on decision and control","author":"M Lahijanian","year":"2009","unstructured":"Lahijanian M, Andersson S, Belta C (2009) A probabilistic approach for control of a stochastic system from LTL specifications. In: Proceedings of CDC\u201909: the 48th IEEE conference on decision and control. IEEE, Shanghai, pp 2236\u20132241"},{"issue":"5","key":"9-1_CR26","doi-asserted-by":"publisher","first-page":"1220","DOI":"10.1109\/TIE.2005.855694","volume":"52","author":"JS Lee","year":"2005","unstructured":"Lee JS, Zhou MC, Hsu PL (2005) An application of Petri nets to supervisory control for human-computer interactive systems. IEEE Trans Ind Electron 52(5):1220\u20131226","journal-title":"IEEE Trans Ind Electron"},{"key":"9-1_CR27","first-page":"153","volume-title":"Proceedings of CDC\u201904: the 43rd IEEE conference on decision and control","author":"S Loizou","year":"2004","unstructured":"Loizou S, Kyriakopoulos K (2004) Automatic synthesis of multi-agent motion tasks based on LTL specifications. In: Proceedings of CDC\u201904: the 43rd IEEE conference on decision and control. IEEE, Paradise Island, pp 153\u2013158"},{"key":"9-1_CR28","unstructured":"Messias JV, Spaan MT, Lima PU (2013) Multiagent pomdps with asynchronous execution. In: Proceedings of the 2013 international conference on autonomous agents and multi-agent systems. International foundation for autonomous agents and multiagent systems"},{"issue":"4","key":"9-1_CR29","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"9-1_CR30","unstructured":"Petri CA (1966) Kommunikation mit automaten. Technical report. Institut f\u00fcr Instrumentelle Mathematik, Bonn. English translation"},{"key":"9-1_CR31","unstructured":"Pistore M, Traverso P (2001) Planning as model checking extended goals in non-deterministic domains. In: Proceedings of IJCAI\u201901: the 17th international joint conference on artificial intelligence, Seattle, pp 479\u2013484"},{"issue":"1","key":"9-1_CR32","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PG Ramadge","year":"1989","unstructured":"Ramadge PG, Wonham W (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"key":"9-1_CR33","doi-asserted-by":"publisher","first-page":"5156","DOI":"10.1109\/ICRA.2012.6224807","volume-title":"Procedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation","author":"V Raman","year":"2012","unstructured":"Raman V, Kress-Gazit H (2012) Automated feedback for unachievable high-level robot behaviors. In: Procedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation. IEEE, St. Paul, pp 5156\u20135162"},{"issue":"1","key":"9-1_CR34","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TRO.2012.2214558","volume":"29","author":"V Raman","year":"2013","unstructured":"Raman V, Kress-Gazit H (2013) Explaining impossible high-level robot behaviors. IEEE Trans Robot 29(1):94\u2013104","journal-title":"IEEE Trans Robot"},{"issue":"05","key":"9-1_CR35","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1017\/S0263574700020002","volume":"14","author":"S Ricker","year":"1996","unstructured":"Ricker S, Sarkar N, Rudiet K (1996) A discrete-event systems approach to modeling dextrous manipulation. Robotica 14(05):515\u2013525","journal-title":"Robotica"},{"key":"9-1_CR36","volume-title":"Artificial intelligence: a modern approach","author":"SJ Russell","year":"2014","unstructured":"Russell SJ, Norvig P (2014) Artificial intelligence: a modern approach, 3rd edn. Pearson Education","edition":"3"},{"key":"9-1_CR37","doi-asserted-by":"crossref","unstructured":"Sarid S, Xu B, Kress-Gazit H (2012) Guaranteeing high-level behaviors while exploring partially known maps. In: Proceedings of robotics: science and systems, Sydney","DOI":"10.15607\/RSS.2012.VIII.048"},{"key":"9-1_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109998","volume-title":"An introduction to hybrid dynamical systems","author":"AJVD Schaft","year":"2000","unstructured":"Schaft AJVD, Schumacher JM (2000) An introduction to hybrid dynamical systems, vol 251. Springer, London"},{"issue":"14","key":"9-1_CR39","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1177\/0278364911417911","volume":"30","author":"S Smith","year":"2011","unstructured":"Smith S, T\u016fmov\u00e1 J, Belta C, Rus D (2011) Optimal path planning for surveillance with temporal-logic constraints. Int J Robot Res 30(14):1695\u20131708","journal-title":"Int J Robot Res"},{"key":"9-1_CR40","volume-title":"Reinforcement learning: an introduction","author":"RS Sutton","year":"1998","unstructured":"Sutton RS, Barto AG (1998) Reinforcement learning: an introduction, 1st edn. MIT press, Cambridge","edition":"1"},{"key":"9-1_CR41","doi-asserted-by":"publisher","unstructured":"Thabet M, Montebelli A, Kyrki V (2016) Learning movement synchronization in multi-component robotic systems. In: 2016 IEEE international conference on robotics and automation (ICRA). \n              https:\/\/doi.org\/10.1109\/ICRA.2016.7487141","DOI":"10.1109\/ICRA.2016.7487141"},{"key":"9-1_CR42","unstructured":"Ulusoy A, Smith S, Belta C (2012a) Optimal multi-robot path planning with LTL constraints: guaranteeing correctness through synchronization. In: Proceedings of DARS: 2012 international symposium on distributed autonomous robotic systems, Baltimore"},{"key":"9-1_CR43","doi-asserted-by":"publisher","first-page":"4693","DOI":"10.1109\/ICRA.2012.6224792","volume-title":"Proceedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation","author":"A Ulusoy","year":"2012","unstructured":"Ulusoy A, Smith S, Ding X, Belta C (2012b) Robust multi-robot optimal path planning with temporal logic constraints. In: Proceedings of ICRA\u201912: the 2012 IEEE international conference on robotics and automation. IEEE, St. Paul, pp 4693\u20134698"},{"key":"9-1_CR44","doi-asserted-by":"crossref","unstructured":"Ulusoy A, Wongpiromsarn T, Belta C (2012c) Incremental control synthesis in probabilistic environments with temporal logic constraints. In: Proceedings of CDC: the 2012 IEEE conference on decision and control, Maui","DOI":"10.1109\/CDC.2012.6426346"},{"key":"9-1_CR45","doi-asserted-by":"crossref","unstructured":"Veiga T, Miraldo P, Ventura R, Lima PU (2016) Efficient object search for mobile robots in dynamic environments: semantic map as an input for the decision maker. In: Proceedings of IROS 2016\u2014IEEE\/RSJ international conference on intelligent robots and systems, Daejeon","DOI":"10.1109\/IROS.2016.7759426"},{"key":"9-1_CR46","volume-title":"Performance modeling of automated manufacturing systems","author":"N Viswanadham","year":"1992","unstructured":"Viswanadham N, Narahari Y (1992) Performance modeling of automated manufacturing systems. Prentice Hall"},{"key":"9-1_CR47","doi-asserted-by":"crossref","unstructured":"Wang F, Kyriakopoulos K, Tsolkas A, Saridis G (1991) A Petri-net coordination model for an intelligent mobile robot. Trans IEEE Syst Man Cybern Soc 21(4)","DOI":"10.1109\/21.108296"},{"key":"9-1_CR48","doi-asserted-by":"crossref","unstructured":"Wolff E, Topcu U, Murray R (2012) Optimal control with weighted average costs and temporal logic specifications. In: Proceedings of RSS VIII\u2014the 2012 robotics: science and systems conference, Sydney","DOI":"10.15607\/RSS.2012.VIII.057"},{"key":"9-1_CR49","doi-asserted-by":"publisher","DOI":"10.1142\/3376","volume-title":"Modeling, simulation and control of flexible manufacturing systems","author":"M Zhou","year":"1999","unstructured":"Zhou M, Venkatesh K (1999) Modeling, simulation and control of flexible manufacturing systems. World Scientific Publishing"},{"key":"9-1_CR50","unstructured":"Ziparo VA, Iocchi L (2006) Petri net plans. In: Proceedings of the fourth international workshop on modelling of objects, components, and agents (MOCA\u201906). University of Hamburg, pp 267\u2013290"},{"issue":"3","key":"9-1_CR51","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/s10458-010-9146-1","volume":"23","author":"VA Ziparo","year":"2011","unstructured":"Ziparo VA, Iocchi L, Lima PU, Nardi D, Palamara PF (2011) Petri net plans: a framework for collaboration and coordination in multi-robot systems. J Autonom Agents Multi-Agent Syst 23(3):344\u2013383","journal-title":"J Autonom Agents Multi-Agent Syst"}],"container-title":["Encyclopedia of Robotics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41610-1_9-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,29]],"date-time":"2020-07-29T05:26:54Z","timestamp":1596000414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41610-1_9-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783642416101","9783642416101"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41610-1_9-1","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"30 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}