{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:55:16Z","timestamp":1767034516135,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Robot"],"published-print":{"date-parts":[[2020,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents a scalable procedure for time-constrained planning of a class of uncertain nonlinear multi-robot systems. In particular, we consider <jats:italic>N<\/jats:italic> robotic agents operating in a workspace which contains regions of interest (RoI), in which atomic propositions for each robot are assigned. The main goal is to design decentralized and robust control laws so that each robot meets an individual high-level specification given as a metric interval temporal logic (MITL), while using only local information based on a limited sensing radius. Furthermore, the robots need to fulfill certain desired transient constraints such as collision avoidance between them. The controllers, which guarantee the transition between regions, consist of two terms: a nominal control input, which is computed online and is the solution of a decentralized finite-horizon optimal control problem (DFHOCP); and an additive state feedback law which is computed offline and guarantees that the real trajectories of the system will belong to a hyper-tube centered along the nominal trajectory. The controllers serve as actions for the individual weighted transition system (WTS) of each robot, and the time duration required for the transition between regions is modeled by a weight. The DFHOCP is solved at every sampling time by each robot and then necessary information is exchanged between neighboring robots. The proposed approach is scalable since it does not require a product computation among the WTS of the robots. The proposed framework is experimentally tested and the results show that the proposed framework is promising for solving real-life robotic as well as industrial applications.<\/jats:p>","DOI":"10.1007\/s10514-020-09937-6","type":"journal-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T21:08:26Z","timestamp":1596229706000},"page":"1451-1467","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Scalable time-constrained planning of multi-robot systems"],"prefix":"10.1007","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8696-1536","authenticated-orcid":false,"given":"Alexandros","family":"Nikou","sequence":"first","affiliation":[]},{"given":"Shahab","family":"Heshmati-alamdari","sequence":"additional","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"issue":"2","key":"9937_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., & Dill, D. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183\u2013235.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9937_CR2","doi-asserted-by":"publisher","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":"9937_CR3","first-page":"135","volume":"7","author":"P Bouyer","year":"2009","unstructured":"Bouyer, P. (2009). From qualitative to quantitative analysis of timed systems. M\u00e9moire d\u2019habilitation, Universit\u00e9 Paris, 7, 135\u2013175.","journal-title":"M\u00e9moire d\u2019habilitation, Universit\u00e9 Paris"},{"key":"9937_CR4","doi-asserted-by":"crossref","unstructured":"Brihaye, T., Geeraerts, G., Ho, H., & Monmege, B. (2017). MightyL: A compositional translation from MITL to timed automata. In 29th international conference on computer aided verification (CAV).","DOI":"10.1007\/978-3-319-63387-9_21"},{"issue":"10","key":"9937_CR5","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.1016\/S0005-1098(98)00073-9","volume":"34","author":"H Chen","year":"1998","unstructured":"Chen, H., & Allg\u00f6wer, F. (1998). A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability. Automatica, 34(10), 1205\u20131217.","journal-title":"Automatica"},{"issue":"2","key":"9937_CR6","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"G Fainekos","year":"2009","unstructured":"Fainekos, G., Girard, A., Kress-Gazit, H., & Pappas, G. (2009). Temporal logic motion planning for dynamic robots. Automatica, 45(2), 343\u2013352.","journal-title":"Automatica"},{"key":"9937_CR7","doi-asserted-by":"crossref","unstructured":"Fang, J., Zhang, Z., & Cowlagi, R. (2018). Decentralized route-planning to satisfy global linear temporal logic specifications on multiple aircraft. In 2018 AIAA guidance, navigation, and control conference (p.\u00a01862).","DOI":"10.2514\/6.2018-1862"},{"key":"9937_CR8","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1080\/00207179.2018.1514129","volume":"93","author":"A Filotheou","year":"2018","unstructured":"Filotheou, A., Nikou, A., & Dimarogonas, D. V. (2018). Robust decentralized navigation of multi-agent systems with collision avoidance and connectivity Maintenance Using Model Predictive Controllers. International Journal of Control (IJC), 93, 1470\u20131484.","journal-title":"International Journal of Control (IJC)"},{"key":"9937_CR9","doi-asserted-by":"crossref","unstructured":"Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G. J., & Lee, I. (2019). Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees. arXiv.","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"9937_CR10","unstructured":"Johnson, S. G. (2009). The NLopt nonlinear-optimization package. Retrieved from http:\/\/ab-initio.mit.edu\/nlopt."},{"key":"9937_CR11","doi-asserted-by":"crossref","unstructured":"Kantaros, Y., & Zavlanos, M. (2016). A distributed LTL-based approach for intermittent communication in mobile robot networks. In American control conference (ACC) (pp.\u00a05557\u20135562), Boston, USA.","DOI":"10.1109\/ACC.2016.7526541"},{"key":"9937_CR12","doi-asserted-by":"crossref","unstructured":"Karaman, S., & Frazzoli, E. (2008). Vehicle routing problem with metric temporal logic specifications. In 2008 47th IEEE conference on decision and control (pp.\u00a03953\u20133958).","DOI":"10.1109\/CDC.2008.4739366"},{"key":"9937_CR13","volume-title":"Noninear systems","author":"H Khalil","year":"1996","unstructured":"Khalil, H. (1996). Noninear systems. New Jersey: Prentice-Hall."},{"key":"9937_CR14","volume-title":"Nonlinear and adaptive control design","author":"M Krstic","year":"1995","unstructured":"Krstic, M., Kanellakopoulos, I., & Kokotovic, P. (1995). Nonlinear and adaptive control design. New York: Wiley."},{"key":"9937_CR15","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to timed automata. In International conference on formal modeling and analysis of timed systems (pp.\u00a0274\u2013289).","DOI":"10.1007\/11867340_20"},{"key":"9937_CR16","volume-title":"Formal modeling and analysis of timed systems","author":"D Ni\u010dkovi\u0107","year":"2010","unstructured":"Ni\u010dkovi\u0107, D., & Piterman, N. (2010). From MTL to deterministic timed automata. In K. Chatterjee & T. A. Henzinger (Eds.), Formal modeling and analysis of timed systems. Berlin: Springer."},{"key":"9937_CR17","unstructured":"Nikou, A. (2019). Robust and decentralized control of multi-agent systems under high-level tasks. Doctoral Thesis, KTH Royal Institute of Technology."},{"key":"9937_CR18","doi-asserted-by":"crossref","unstructured":"Nikou, A., Boskos, D., Tumova, J., & Dimarogonas, D. V. (2017). Cooperative planning synthesis for coupled multi-agent systems under timed temporal specifications. In American control conference (ACC) (pp.\u00a01847\u20131852), Seattle, USA.","DOI":"10.23919\/ACC.2017.7963221"},{"key":"9937_CR19","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.automatica.2018.08.023","volume":"97","author":"A Nikou","year":"2018","unstructured":"Nikou, A., Boskos, D., Tumova, J., & Dimarogonas, D. V. (2018). On the timed temporal logic planning of coupled multi-agent systems. Automatica, 97, 339\u2013345.","journal-title":"Automatica"},{"key":"9937_CR20","doi-asserted-by":"publisher","first-page":"2799","DOI":"10.1002\/rnc.4522","volume":"29","author":"A Nikou","year":"2019","unstructured":"Nikou, A., & Dimarogonas, D. V. (2019). Decentralized tube-based model predictive control of uncertain nonlinear multi-agent systems. International Journal of Robust and Nonlinear Control (IJRNC), 29, 2799\u20132818.","journal-title":"International Journal of Robust and Nonlinear Control (IJRNC)"},{"key":"9937_CR21","doi-asserted-by":"crossref","unstructured":"Nikou, A., Heshmati-alamdari, S., Verginis, C., & Dimarogonas, D. V. (2017). Decentralized abstractions and timed constrained planning of a general class of coupled multi-agent systems. In 56th IEEE conference on decision and control (CDC) (pp.\u00a0990\u2013995), Melbourne, Australia.","DOI":"10.1109\/CDC.2017.8263787"},{"key":"9937_CR22","doi-asserted-by":"crossref","unstructured":"Nikou, A., Tumova, J., & Dimarogonas, D. V. (2016). Cooperative task planning of multi-agent systems under timed temporal specifications. In American control conference (ACC) (pp.\u00a07104\u20137109), Boston, USA.","DOI":"10.1109\/ACC.2016.7526793"},{"key":"9937_CR23","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., & Worrell, J. (2005). On the decidability of metric temporal logic. In 20th annual IEEE symposium on logic in computer science (LICS) (pp.\u00a0188\u2013197).","DOI":"10.1109\/LICS.2005.33"},{"key":"9937_CR24","doi-asserted-by":"crossref","unstructured":"Pant, Y., Abbas, H., Quaye, R., & Mangharam, R. (2018). Fly-by-logic: Control of multi-drone fleets with temporal logic objectives. In 9th ACM\/IEEE international conference on cyber-physical systems.","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"9937_CR25","doi-asserted-by":"crossref","unstructured":"Pant, Y., Quaye, R., Abbas, H., Varre, A., & Mangharam, R. (2019). Fly-by-logic: A tool for unmanned aircraft system fleet planning using temporal logic. In NASA formal methods symposium.","DOI":"10.1007\/978-3-030-20652-9_24"},{"key":"9937_CR26","unstructured":"Quigley, M., Conley, K., Gerkey, B. P., Faust, J., Foote, T., Leibs, J., Wheeler, R., & Ng, A. Y. (2009). ROS: An open-source robot operating system. In International conference on robotics and automation (ICRA) workshop."},{"key":"9937_CR27","doi-asserted-by":"crossref","unstructured":"Raman, V., Donze, A., Maasoumy, M., Murray, R., Vincentelli, A., & Seshia, S. (2014). Model predictive control for signal temporal logic specifications. In IEEE conference on decision and control (CDC).","DOI":"10.1109\/CDC.2014.7039363"},{"key":"9937_CR28","unstructured":"Smart Mobility Lab (SML). (n.d.). Retrieved from https:\/\/www.kth.se\/dcs\/research\/control-of-transport\/smart-mobility-lab\/smart-mobility-lab-1.441539."},{"issue":"1","key":"9937_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-005-0214-9","volume":"9","author":"DD Souza","year":"2007","unstructured":"Souza, D. 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"},{"issue":"3","key":"9937_CR30","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1507244.1507245","volume":"10","author":"S Tripakis","year":"2009","unstructured":"Tripakis, S. (2009). Checking timed Buchi automata emptiness on simulation graphs. ACM Transactions on Computational Logic (TOCL), 10(3), 15.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"8","key":"9937_CR31","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1177\/0278364913487931","volume":"32","author":"A Ulusoy","year":"2013","unstructured":"Ulusoy, A., Smith, S., Ding, X., Belta, C., & Rus, D. (2013). Optimality and robustness in multi-robot path planning with temporal logic constraints. The International Journal of Robotics Research (IJRR), 32(8), 889\u2013911.","journal-title":"The International Journal of Robotics Research (IJRR)"},{"key":"9937_CR32","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., & Murray, R. (2009). Receding horizon temporal logic planning for dynamical systems (pp.\u00a05997\u20136004), December 2009.","DOI":"10.1109\/CDC.2009.5399536"},{"key":"9937_CR33","doi-asserted-by":"crossref","unstructured":"Xu, Z., Ornik, M., Julius, A., & Topcu, A. (2019). Information-guided temporal logic inference with prior knowledge. In 2019 American control conference (ACC) (pp.\u00a01891\u20131897), July 2019.","DOI":"10.23919\/ACC.2019.8815145"},{"issue":"2","key":"9937_CR34","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.sysconle.2012.11.004","volume":"62","author":"S Yu","year":"2013","unstructured":"Yu, S., Maier, C., Chen, H., & Allg\u00f6wer, F. (2013). Tube MPC scheme based on robust control invariant set with application to Lipschitz nonlinear systems. Systems and Control Letters, 62(2), 194\u2013200.","journal-title":"Systems and Control Letters"}],"container-title":["Autonomous Robots"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-020-09937-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10514-020-09937-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-020-09937-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T00:01:12Z","timestamp":1627689672000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10514-020-09937-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,31]]},"references-count":34,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["9937"],"URL":"https:\/\/doi.org\/10.1007\/s10514-020-09937-6","relation":{},"ISSN":["0929-5593","1573-7527"],"issn-type":[{"type":"print","value":"0929-5593"},{"type":"electronic","value":"1573-7527"}],"subject":[],"published":{"date-parts":[[2020,7,31]]},"assertion":[{"value":"25 September 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 July 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}