{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T10:57:22Z","timestamp":1770548242757,"version":"3.49.0"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T00:00:00Z","timestamp":1510876800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010686","name":"H2020 European Institute of Innovation and Technology","doi-asserted-by":"publisher","award":["644128"],"award-info":[{"award-number":["644128"]}],"id":[{"id":"10.13039\/100010686","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010686","name":"H2020 European Institute of Innovation and Technology","doi-asserted-by":"crossref","award":["731869"],"award-info":[{"award-number":["731869"]}],"id":[{"id":"10.13039\/100010686","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Robot"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s10514-017-9672-7","type":"journal-article","created":{"date-parts":[[2017,11,16]],"date-time":"2017-11-16T21:04:51Z","timestamp":1510866291000},"page":"781-799","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Timed abstractions for distributed cooperative manipulation"],"prefix":"10.1007","volume":"42","author":[{"given":"Christos K.","family":"Verginis","sequence":"first","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,17]]},"reference":[{"issue":"12","key":"9672_CR1","doi-asserted-by":"crossref","first-page":"3039","DOI":"10.1109\/TAC.2013.2273299","volume":"58","author":"D Adzkiya","year":"2013","unstructured":"Adzkiya, D., De Schutter, B., & Abate, A. (2013). Finite abstractions of max-plus-linear systems. IEEE Transactions on Automatic Control, 58(12), 3039\u20133053.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9672_CR2","doi-asserted-by":"crossref","unstructured":"Aksaray, D., Vasile, C.-I., & Belta, C. (2016). Dynamic routing of energy-aware vehicles with temporal logic constraints. Proceedings of the IEEE international conference on robotics and automation (ICRA) (pp. 3141\u20133146).","DOI":"10.1109\/ICRA.2016.7487481"},{"issue":"2","key":"9672_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical computer science, 126(2), 183\u2013235.","journal-title":"Theoretical computer science"},{"issue":"1","key":"9672_CR4","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R Alur","year":"1996","unstructured":"Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM (JACM), 43(1), 116\u2013146.","journal-title":"Journal of the ACM (JACM)"},{"key":"9672_CR5","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P., et al. (2008). Principles of model checking. Cambridge: MIT Press."},{"issue":"4","key":"9672_CR6","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1016\/j.automatica.2014.02.020","volume":"50","author":"CP Bechlioulis","year":"2014","unstructured":"Bechlioulis, C. P., & Rovithakis, G. A. (2014). A low-complexity global approximation-free control scheme with prescribed performance for unknown pure feedback systems. Automatica, 50(4), 1217\u20131226.","journal-title":"Automatica"},{"issue":"11","key":"9672_CR7","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C Belta","year":"2006","unstructured":"Belta, C., & Habets, L. C. (2006). Controlling a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control, 51(11), 1749\u20131759.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"9672_CR8","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1109\/TRO.2004.829498","volume":"20","author":"C Belta","year":"2004","unstructured":"Belta, C., & Kumar, V. (2004). Abstraction and control for groups of robots. IEEE Transactions on robotics, 20(5), 865\u2013875.","journal-title":"IEEE Transactions on robotics"},{"key":"9672_CR9","doi-asserted-by":"crossref","unstructured":"Boskos, D., & Dimarogonas, D.\u00a0V. (2015). Decentralized abstractions for feedback interconnected multi-agent systems. In Proceedings of the IEEE conference on decision and control (CDC) (pp. 282\u2013287).","DOI":"10.1109\/CDC.2015.7402214"},{"issue":"5","key":"9672_CR10","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1109\/TMECH.2008.2002816","volume":"13","author":"F Caccavale","year":"2008","unstructured":"Caccavale, F., Chiacchio, P., Marino, A., & Villani, L. (2008). Six-dof impedance control of dual-arm cooperative manipulators. IEEE\/ASME Transactions on Mechatronics, 13(5), 576\u2013586.","journal-title":"IEEE\/ASME Transactions on Mechatronics"},{"key":"9672_CR11","first-page":"4086","volume":"3","author":"L Chaimowicz","year":"2003","unstructured":"Chaimowicz, L., Campos, M. F. M., & Kumar, V. (2003). Hybrid systems modeling of cooperative robots. Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 3, 4086\u20134091.","journal-title":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA)"},{"issue":"1","key":"9672_CR12","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/TRO.2011.2163434","volume":"28","author":"Y Chen","year":"2012","unstructured":"Chen, Y., Ding, X. C., Stefanescu, A., & Belta, C. (2012). Formal approach to the deployment of distributed robotic teams. IEEE Transactions on Robotics, 28(1), 158\u2013171.","journal-title":"IEEE Transactions on Robotics"},{"key":"9672_CR13","unstructured":"Cheng, P., Fink, J., & Kumar, V. (2009). Abstractions and algorithms for cooperative multiple robot planar manipulation. In Robotics: Science and Systems IV, p. 143."},{"key":"9672_CR14","doi-asserted-by":"crossref","unstructured":"Diaz-Mercado, Y., Jones, A., Belta, C., & Egerstedt, M. (2015). Correct-by-construction control synthesis for multi-robot mixing. In Proceedings of the IEEE conference on decision and control (CDC) (pp. 221\u2013226).","DOI":"10.1109\/CDC.2015.7402112"},{"key":"9672_CR15","doi-asserted-by":"crossref","unstructured":"Erhart, S., & Hirche, S. (2013). Adaptive force\/velocity control for multi-robot cooperative manipulation under uncertain kinematic parameters. In Proceedings of the IEEE\/RSJ international conference on intelligent robots and systems (IROS) (pp. 307\u2013314).","DOI":"10.1109\/IROS.2013.6696369"},{"key":"9672_CR16","doi-asserted-by":"crossref","unstructured":"Filippidis, I., & Murray, R.\u00a0M. (2016). Symbolic construction of gr (1) contracts for systems with full information. In Proceedings of the American control conference (ACC) (pp. 782\u2013789).","DOI":"10.1109\/ACC.2016.7525009"},{"key":"9672_CR17","doi-asserted-by":"crossref","unstructured":"Franchi, A., Petitti, A., & Rizzo, A. (2014). Distributed estimation of the inertial parameters of an unknown load via multi-robot manipulation. In IEEE conference on decision and control (CDC) (pp. 6111\u20136116).","DOI":"10.1109\/CDC.2014.7040346"},{"key":"9672_CR18","doi-asserted-by":"crossref","unstructured":"Franchi, A., Petitti, A., & Rizzo, A. (2015). Decentralized parameter estimation and observation for cooperative mobile manipulation of an unknown load using noisy measurements. In IEEE international conference on robotics and automation (ICRA) (pp. 5517\u20135522).","DOI":"10.1109\/ICRA.2015.7139970"},{"key":"9672_CR19","doi-asserted-by":"crossref","unstructured":"Guo, M., Tumova, J., & Dimarogonas, D.\u00a0V. (2014). Cooperative decentralized multi-agent control under local ltl tasks and connectivity constraints. In Proceedings of the IEEE international conference on decision and control (pp. 75\u201380).","DOI":"10.1109\/CDC.2014.7039362"},{"key":"9672_CR20","doi-asserted-by":"crossref","unstructured":"He, K., Lahijanian, M., Kavraki, L.\u00a0E., and Vardi, M.\u00a0Y. (2015). Towards manipulation planning with temporal logic specifications. In Proceedings of the IEEE international conference on robotics and automation (ICRA) (pp. 346\u2013352).","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"9672_CR21","doi-asserted-by":"crossref","unstructured":"Heck, D., Kostic, D., Denasi, A., & Nijmeijer, H. (2013). Internal and external force-based impedance control for cooperative manipulation. In Proceedings of the IEEE European control conference (ECC) (pp. 2299\u20132304).","DOI":"10.23919\/ECC.2013.6669163"},{"issue":"12","key":"9672_CR22","doi-asserted-by":"crossref","first-page":"1372","DOI":"10.1002\/rnc.1715","volume":"21","author":"S Karaman","year":"2011","unstructured":"Karaman, S., & Frazzoli, E. (2011). Linear temporal logic vehicle routing with applications to multi-uav mission planning. International Journal of Robust and Nonlinear Control, 21(12), 1372\u20131395.","journal-title":"International Journal of Robust and Nonlinear Control"},{"issue":"1","key":"9672_CR23","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M Kloetzer","year":"2008","unstructured":"Kloetzer, M., & Belta, C. (2008). A fully automated framework for control of linear systems from temporal logic specifications. IEEE Transactions on Automatic Control, 53(1), 287\u2013297.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9672_CR24","doi-asserted-by":"crossref","unstructured":"Lionis, G., & Kyriakopoulos, K.\u00a0J. (2005). Centralized motion planning for a group of micro agents manipulating a rigid object. In Proceedings of the IEEE international symposium on intelligent control, Mediterrean conference on control and automation (pp. 662\u2013667).","DOI":"10.1109\/.2005.1467093"},{"issue":"22","key":"9672_CR25","doi-asserted-by":"crossref","first-page":"704","DOI":"10.3182\/20120905-3-HR-2030.00158","volume":"45","author":"V Lippiello","year":"2012","unstructured":"Lippiello, V., & Ruggiero, F. (2012). Cartesian impedance control of a uav with a robotic arm. IFAC Proceedings Volumes, 45(22), 704\u2013709.","journal-title":"IFAC Proceedings Volumes"},{"issue":"3","key":"9672_CR26","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1177\/027836499801700302","volume":"17","author":"Y-H Liu","year":"1998","unstructured":"Liu, Y.-H., & Arimoto, S. (1998). Decentralized adaptive and nonadaptive position\/force controllers for redundant manipulators in cooperations. The International Journal of Robotics Research, 17(3), 232\u2013247.","journal-title":"The International Journal of Robotics Research"},{"issue":"22","key":"9672_CR27","doi-asserted-by":"crossref","first-page":"773","DOI":"10.3182\/20120905-3-HR-2030.00171","volume":"45","author":"J Markdahl","year":"2012","unstructured":"Markdahl, J., Karayiannidis, Y., & Hu, X. (2012). Cooperative object path following control by means of mobile manipulators: a switched systems approach. IFAC Proceedings Volumes, 45(22), 773\u2013778.","journal-title":"IFAC Proceedings Volumes"},{"issue":"1","key":"9672_CR28","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s10514-010-9205-0","volume":"30","author":"N Michael","year":"2011","unstructured":"Michael, N., Fink, J., & Kumar, V. (2011). Cooperative manipulation and transportation with aerial robots. Autonomous Robots, 30(1), 73\u201386.","journal-title":"Autonomous Robots"},{"key":"9672_CR29","doi-asserted-by":"crossref","unstructured":"Muthusamy, R., & Kyrki, V. (2014). Decentralized approaches for cooperative grasp planning. In Proceedings of the international conference on control automation robotics & vision (ICARCV) (pp. 693\u2013698).","DOI":"10.1109\/ICARCV.2014.7064388"},{"key":"9672_CR30","doi-asserted-by":"crossref","unstructured":"Nikou, A., Tumova, J., & Dimarogonas, D.\u00a0V. (2016). Cooperative task planning of multi-agent systems under timed temporal specifications. In Proceedings of the IEEE American control conference (ACC) (pp. 7104\u20137109).","DOI":"10.1109\/ACC.2016.7526793"},{"key":"9672_CR31","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., & Worrell, J. (2005). On the decidability of metric temporal logic. Annual IEEE symposium on logic in computer science (LICS\u201905) (pp. 188\u2013197).","DOI":"10.1109\/LICS.2005.33"},{"key":"9672_CR32","doi-asserted-by":"crossref","unstructured":"Palunko, I., Donner, P., Buss, M., & Hirche, S. (2014). Cooperative suspended object manipulation using reinforcement learning and energy-based control. In IEEE\/RSJ international conference on intelligent robots and systems (IROS 2014) (pp. 885\u2013891).","DOI":"10.1109\/IROS.2014.6942664"},{"issue":"1\u20134","key":"9672_CR33","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/s10846-012-9743-0","volume":"70","author":"V Parra-Vega","year":"2013","unstructured":"Parra-Vega, V., Sanchez, A., Izaguirre, C., Garcia, O., & Ruiz-Sanchez, F. (2013). Toward aerial grasping and manipulation with multiple uavs. Journal of Intelligent & Robotic Systems, 70(1\u20134), 575\u2013593.","journal-title":"Journal of Intelligent & Robotic Systems"},{"key":"9672_CR34","doi-asserted-by":"crossref","unstructured":"Petitti, A., Franchi, A., Di\u00a0Paola, D., & Rizzo, A. (2016). Decentralized motion control for cooperative manipulation with a team of networked mobile manipulators. In Proceedings of the IEEE international conference on robotics and automation (ICRA) (pp. 441\u2013446).","DOI":"10.1109\/ICRA.2016.7487164"},{"issue":"11","key":"9672_CR35","doi-asserted-by":"crossref","first-page":"2583","DOI":"10.1109\/TAC.2011.2118950","volume":"56","author":"G Reissig","year":"2011","unstructured":"Reissig, G. (2011). Computing abstractions of nonlinear systems. IEEE Transactions on Automatic Control, 56(11), 2583\u20132598.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9672_CR36","doi-asserted-by":"crossref","unstructured":"Rohmer, E., Singh, S.\u00a0P., & Freese, M. (2013). V-rep: a versatile and scalable robot simulation framework. In Proceedings of the international conference on intelligent robots and systems (IROS).","DOI":"10.1109\/IROS.2013.6696520"},{"key":"9672_CR37","doi-asserted-by":"crossref","unstructured":"Rungger, M., Weber, A., & Reissig, G. (2015). State space grids for low complexity abstractions. In Proceedings of the IEEE conference on decision and control (CDC) (pp. 6139\u20136146).","DOI":"10.1109\/CDC.2015.7403185"},{"key":"9672_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-30301-5","volume-title":"Springer handbook of robotics","author":"B Siciliano","year":"2008","unstructured":"Siciliano, B., & Khatib, O. (2008). Springer handbook of robotics. New York: Springer."},{"key":"9672_CR39","volume-title":"Mathematical control theory: Deterministic finite dimensional systems","author":"ED Sontag","year":"2013","unstructured":"Sontag, E. D. (2013). Mathematical control theory: Deterministic finite dimensional systems (Vol. 6). New York: Springer."},{"issue":"1","key":"9672_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10009-005-0214-9","volume":"9","author":"D Souza","year":"2007","unstructured":"Souza, D., & Prabhakar, P. (2007). On the expressiveness of mtl in the pointwise and continuous semantics. International Journal on Software Tools for Technology Transfer, 9(1), 1\u20134.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9672_CR41","first-page":"235","volume":"III","author":"A Stroupe","year":"2005","unstructured":"Stroupe, A., Huntsberger, T., Okon, A., & Aghazarian, H. (2005). Precision manipulation with cooperative robots. Multi-Robot Systems. From Swarms to Intelligent Automata, III, 235\u2013248.","journal-title":"From Swarms to Intelligent Automata"},{"issue":"1","key":"9672_CR42","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/70.988979","volume":"18","author":"TG Sugar","year":"2002","unstructured":"Sugar, T. G., & Kumar, V. (2002). Control of cooperating mobile manipulators. IEEE Transactions on robotics and automation, 18(1), 94\u2013103.","journal-title":"IEEE Transactions on robotics and automation"},{"issue":"6","key":"9672_CR43","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1002\/rob.10041","volume":"19","author":"J Szewczyk","year":"2002","unstructured":"Szewczyk, J., Plumet, F., & Bidaud, P. (2002). Planning and controlling cooperating robots through distributed impedance. Journal of Robotic Systems, 19(6), 283\u2013297.","journal-title":"Journal of Robotic Systems"},{"key":"9672_CR44","doi-asserted-by":"crossref","unstructured":"Tanner, H. G., Loizou, S. G., & Kyriakopoulos, K. J. (2003). Nonholonomic navigation and control of cooperating mobile manipulators. IEEE Transactions on Robotics and Automation, 19(1), 53\u201364.","DOI":"10.1109\/TRA.2002.807549"},{"issue":"1","key":"9672_CR45","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s10703-007-0044-3","volume":"32","author":"A Tiwari","year":"2008","unstructured":"Tiwari, A. (2008). Abstractions for hybrid systems. Formal Methods in System Design, 32(1), 57\u201383.","journal-title":"Formal Methods in System Design"},{"key":"9672_CR46","doi-asserted-by":"crossref","unstructured":"Tsiamis, A., Tumova, J., Bechlioulis, C.\u00a0P., Karras, G.\u00a0C., Dimarogonas, D.\u00a0V., & Kyriakopoulos, K.\u00a0J. (2015a). Decentralized leader-follower control under high level goals without explicit communication. In Proceedings of the IEEE\/RSJ international conference on intelligent robots and systems (IROS) (pp. 5790\u20135795).","DOI":"10.1109\/IROS.2015.7354199"},{"key":"9672_CR47","doi-asserted-by":"crossref","unstructured":"Tsiamis, A., Verginis, C.\u00a0K., Bechlioulis, C.\u00a0P., & Kyriakopoulos, K.\u00a0J. (2015b). Cooperative manipulation exploiting only implicit communication. In Proceedings of the IEEE\/RSJ international conference on intelligent robots and systems (IROS) (pp. 864\u2013869).","DOI":"10.1109\/IROS.2015.7353473"},{"key":"9672_CR48","unstructured":"Verginis, C.\u00a0K., & Dimarogonas, D.\u00a0V. (2016). Distributed cooperative manipulation under timed temporal specifications. American Control Conference (ACC)."},{"key":"9672_CR49","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-4-431-55879-8_10","volume":"112","author":"Z Wang","year":"2016","unstructured":"Wang, Z., & Schwager, M. (2016). Multi-robot manipulation without communication. Distributed Autonomous Robotic Systems, 112, 135\u2013149.","journal-title":"Distributed Autonomous Robotic Systems"},{"issue":"2","key":"9672_CR50","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TRA.2003.809592","volume":"19","author":"A Yamashita","year":"2003","unstructured":"Yamashita, A., Arai, T., Ota, J., & Asama, H. (2003). Motion planning of multiple mobile robots for cooperative manipulation and transportation. IEEE Transactions on Robotics and Automation, 19(2), 223\u2013237.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"9672_CR51","doi-asserted-by":"crossref","unstructured":"Zamani, M., Mazo, M., & Abate, A. (2014). Finite abstractions of networked control systems. In Proceedings of the IEEE conference on decision and control (pp. 95\u2013100).","DOI":"10.1109\/CDC.2014.7039365"},{"key":"9672_CR52","doi-asserted-by":"crossref","unstructured":"Zhang, Z., & Cowlagi, R.\u00a0V. (2016). Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles. In Proceedings of the American control conference (ACC) (pp. 7098\u20137103).","DOI":"10.1109\/ACC.2016.7526792"}],"container-title":["Autonomous Robots"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10514-017-9672-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-017-9672-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-017-9672-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T04:01:07Z","timestamp":1570334467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10514-017-9672-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,17]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9672"],"URL":"https:\/\/doi.org\/10.1007\/s10514-017-9672-7","relation":{},"ISSN":["0929-5593","1573-7527"],"issn-type":[{"value":"0929-5593","type":"print"},{"value":"1573-7527","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,17]]}}}