{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T12:05:53Z","timestamp":1770897953977,"version":"3.50.1"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,11,18]],"date-time":"2019-11-18T00:00:00Z","timestamp":1574035200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,18]],"date-time":"2019-11-18T00:00:00Z","timestamp":1574035200000},"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":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10626-019-00297-7","type":"journal-article","created":{"date-parts":[[2019,11,18]],"date-time":"2019-11-18T11:02:01Z","timestamp":1574074921000},"page":"473-499","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Resource-aware networked control systems under temporal logic specifications"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9376-5760","authenticated-orcid":false,"given":"Kazumune","family":"Hashimoto","sequence":"first","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,18]]},"reference":[{"key":"297_CR1","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1177\/0278364913501564","volume":"33.2","author":"A Agha-mohammadi","year":"2014","unstructured":"Agha-mohammadi A, Chakravorty S, Amato NM (2014) FIRM: Sampling-based feedback motion planning under motion uncertainty and imperfect measurements. Int J Robot Res 33.2:268\u2013304","journal-title":"Int J Robot Res"},{"key":"297_CR2","unstructured":"Antoniotti M, Jafari M, Mishra B (1995) Applying temporal logic verification and synthesis to manufacturing systems. In: IEEE International Conference on Systems, Man and Cybernetics"},{"key":"297_CR3","doi-asserted-by":"crossref","unstructured":"Luders B, Kothari M, How J (2010) Chance constrained RRT for probabilistic robustness to environmental uncertainty. In: AIAA Guidance, Navigation, and Control Conference","DOI":"10.2514\/6.2010-8160"},{"key":"297_CR4","unstructured":"Baier C, Katoen J-P (2008) Principles of model checking. The MIT Press"},{"key":"297_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MRA.2007.339624","volume":"14.1","author":"C Belta","year":"2007","unstructured":"Belta C, et al (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":"297_CR6","doi-asserted-by":"crossref","unstructured":"Bhatia A, Kavraki LE, Vardi MY (2010) Sampling-based motion planning with temporal goals. In: Proceedings of IEEE International Conference on Robotics and Automation, pp 2689\u20132696","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"297_CR7","doi-asserted-by":"crossref","unstructured":"Borrelli F, Bemporad A, Morari M (2017) Predictive Control for Linear and Hybrid Systems. Cambridge University Press","DOI":"10.1017\/9781139061759"},{"key":"297_CR8","first-page":"1034","volume":"64.3","author":"A Borri","year":"2018","unstructured":"Borri A, Pola G, Benedetto MDD (2018) Design of symbolic controllers for networked control systems. IEEE Trans Autom Control 64.3:1034\u20131046","journal-title":"IEEE Trans Autom Control"},{"key":"297_CR9","doi-asserted-by":"crossref","unstructured":"Chinchali S, et al (2012) Towards formal synthesis of reactive controllers for dexterous robotic manipulation. In: IEEE International Conference on Robotics and Automation (ICRA)","DOI":"10.1109\/ICRA.2012.6225257"},{"key":"297_CR10","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/TCNS.2015.2428471","volume":"3.2","author":"S Coogan","year":"2016","unstructured":"Coogan S, et al (2016) Traffic network control from temporal logic specifications. IEEE Trans Control Net Syst 3.2:162\u2013172","journal-title":"IEEE Trans Control Net Syst"},{"key":"297_CR11","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45.2","author":"GE Fainekos","year":"2009","unstructured":"Fainekos GE, et al (2009) Temporal logic motion planning for dynamic robots. Automatica 45.2:343\u2013352","journal-title":"Automatica"},{"key":"297_CR12","doi-asserted-by":"crossref","unstructured":"Filippidis I, et al (2016) Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. In: 2016 IEEE Conference on Control Applications (IEEE CCA)","DOI":"10.1109\/CCA.2016.7587949"},{"key":"297_CR13","first-page":"78","volume":"56.11","author":"EA Gol","year":"2015","unstructured":"Gol EA, Lazar M, Belta C (2015) Temporal logic model predictive control. Automatica 56.11:78\u201385","journal-title":"Automatica"},{"key":"297_CR14","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1177\/0278364914546174","volume":"34.2","author":"M Guo","year":"2015","unstructured":"Guo M, Dimarogonas DV (2015) Multi-agent plan reconfiguration under local LTL specifications. Int J Robot Res 34.2:218\u2013235","journal-title":"Int J Robot Res"},{"key":"297_CR15","unstructured":"Guo M, Johansson KH, Dimarogonas DV (2013) Revising motion planning under linear temporal logic specifications in partially known workspaces. In: IEEE International Conference on Robotics and Automation (ICRA)"},{"key":"297_CR16","doi-asserted-by":"crossref","unstructured":"Hashimoto K, Adachi S, Dimarogonas DV (2018) Energy-aware networked control systems under temporal logic specifications. In: Proceedings of the 57th IEEE Conference on Decision and Control (IEEE CDC)","DOI":"10.1109\/CDC.2018.8618893"},{"key":"297_CR17","doi-asserted-by":"crossref","unstructured":"He K, et al (2015) Towards manipulation planning with temporal logic specifications. In: IEEE International Conference on Robotics and Automation (ICRA)","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"297_CR18","doi-asserted-by":"crossref","unstructured":"Heddy G, et al (2015) Linear temporal logic (LTL) based monitoring of smart manufacturing systems. In: Proceedings of the Annual Conference of the Prognostics and Health Management Society","DOI":"10.36001\/phmconf.2015.v7i1.2684"},{"key":"297_CR19","unstructured":"Heemels WPMH, Johansson KH, Tabuada P (2012) An introduction to event-triggered and self-triggered control. In: Proceedings of the 51st IEEE Conference on Decision and Control (IEEE CDC), pp 3270\u20133285"},{"key":"297_CR20","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/JPROC.2006.887288","volume":"95.1","author":"JP Hespanha","year":"2007","unstructured":"Hespanha JP, Naghshtabrizi P, Xu Y (2007) A survey of recent results in networked control systems. Proceedings of the IEEE 95.1:138\u2013162","journal-title":"Proceedings of the IEEE"},{"key":"297_CR21","doi-asserted-by":"publisher","first-page":"1372","DOI":"10.1002\/rnc.1715","volume":"21.12","author":"S Karaman","year":"2011","unstructured":"Karaman S, Frazzoli E (2011a) Linear temporal logic vehicle routing with applications to multi-UAV mission planning. Int J Robust Nonlin Control 21.12:1372\u20131395","journal-title":"Int J Robust Nonlin Control"},{"key":"297_CR22","doi-asserted-by":"publisher","first-page":"846","DOI":"10.1177\/0278364911406761","volume":"30.7","author":"S Karaman","year":"2011","unstructured":"Karaman S (2011b) Sampling-based algorithms for optimal motion planning. Int J Robot Res 30.7:846\u2013894","journal-title":"Int J Robot Res"},{"key":"297_CR23","doi-asserted-by":"crossref","unstructured":"Karaman S (2012) Sampling-based algorithms for optimal motion planning with deterministic \u03bc-calsulus speciFIcations. In: Proceedings of 2012 American Control Conference, pp 735\u2013742","DOI":"10.1109\/ACC.2012.6315419"},{"key":"297_CR24","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1016\/j.automatica.2011.01.078","volume":"47.5","author":"M Karimadini","year":"2011","unstructured":"Karimadini M, Lin H (2011) Guaranteed global performance through local coordinations. Automatica 47.5:890\u2013898","journal-title":"Automatica"},{"key":"297_CR25","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/TASE.2014.2376492","volume":"12.2","author":"B Kehoe","year":"2015","unstructured":"Kehoe B, et al (2015) A survey of research on cloud robotics and automation. IEEE Trans Autom Sci Eng 12.2:398\u2013409","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"297_CR26","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53.1","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 Trans Autom Control 53.1:287\u2013297","journal-title":"IEEE Trans Autom Control"},{"key":"297_CR27","doi-asserted-by":"crossref","unstructured":"Kress-Gazit H, Fainekos GE, Pappas GJ (2007) Where\u2019s Waldo? sensor-based temporal logic motion planning. In: IEEE International Conference on Robotics and Automation (ICRA)","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"297_CR28","doi-asserted-by":"publisher","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25.6","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit H (2009) Temporal-logic-based reactive mission and motion planning. IEEE Trans Robot 25.6:1370\u20131381","journal-title":"IEEE Trans Robot"},{"key":"297_CR29","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1146\/annurev-control-060117-104838","volume":"1","author":"H Kress-Gazit","year":"2018","unstructured":"Kress-Gazit H, Lahijanian M, Raman V (2018) Synthesis for robots: guarantees and feedback for robot behavior. Annual Review of Control, Robotics, and Autonomous Systems 1:211\u2013236","journal-title":"Annual Review of Control, Robotics, and Autonomous Systems"},{"key":"297_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning Algorithms Cambridge","author":"SM LaValle","year":"2006","unstructured":"LaValle SM (2006) Planning Algorithms Cambridge. Cambridge University Press, UK"},{"key":"297_CR31","doi-asserted-by":"crossref","unstructured":"Livingston SC, Murray RM (2013) Just-in-time synthesis for reactive motion planning with temporal logic. In: Proceedings of IEEE International Conference on Robotics and Automation (ICRA)","DOI":"10.1109\/ICRA.2013.6631298"},{"key":"297_CR32","doi-asserted-by":"crossref","unstructured":"Livingston SC, Wolff EM, Murray RM (2015) Cross-entropy temporal logic motion planning. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC), pp 269\u2013278","DOI":"10.1145\/2728606.2728635"},{"key":"297_CR33","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1177\/0278364917712421","volume":"36.8","author":"A Majumdar","year":"2017","unstructured":"Majumdar A, Tedrake R (2017) Funnel libraries for real-time robust feedback motion planning. Int J Robot Res 36.8:947\u2013982","journal-title":"Int J Robot Res"},{"key":"297_CR34","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","volume-title":"Computer Aided Verification","author":"Manuel Mazo","year":"2010","unstructured":"Mazo M, Davitian A, Tabuada P (2010) PESSOA: a tool for embedded controller synthesis. In: Proceedings of the 22nd International Conference on Computer Aided Verification, pp 566\u2013569"},{"key":"297_CR35","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/BF01587076","volume":"44","author":"RDC Monteiro","year":"1989","unstructured":"Monteiro RDC, Adler I (1989) Interior path following primal-dual algorithms. Part II: Convex Quadratic Programming. Math Prog 44:43\u201366","journal-title":"Math Prog"},{"key":"297_CR36","doi-asserted-by":"crossref","unstructured":"Morel G, Petin JF, Lamboley P (2001) Formal specification for manufacturing systems automation. In: Proceedings of the 10th IFAC Symposium on Information Control Problems in Manufacturing","DOI":"10.1016\/S1474-6670(17)33252-4"},{"key":"297_CR37","doi-asserted-by":"crossref","unstructured":"Nilsson P, et al (2012) Temporal logic control of switched affine systems with an application in fuel balancing. In: IEEE Conference on Decision and Control (IEEE CDC)","DOI":"10.1109\/ACC.2012.6315141"},{"key":"297_CR38","unstructured":"Oddoux D, Gastin P (2001) LTL2BA software: fast translation from LTL formulae to B\u00fcchi automaton. In: http:\/\/www.lsv.ens-cachan.fr\/%7B%7Dgastin\/ltl2ba\/"},{"key":"297_CR39","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2478\/v10006-009-0034-2","volume":"19.3","author":"R Pepy","year":"2009","unstructured":"Pepy R, Kieffer M, Walter E (2009) Reliable Robust Path Planning with application to Mobile Robots. Int J Appl Math Comput Sci 19.3:413\u2013424","journal-title":"Int J Appl Math Comput Sci"},{"key":"297_CR40","doi-asserted-by":"publisher","first-page":"2803","DOI":"10.1109\/TAC.2017.2775962","volume":"63.9","author":"G Pola","year":"2018","unstructured":"Pola G, Pepe P, Benedetto MDD (2018) Decentralized supervisory control of networks of nonlinear control systems. IEEE Trans Autom Control 63.9:2803\u20132817","journal-title":"IEEE Trans Autom Control"},{"key":"297_CR41","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1177\/0278364910369189","volume":"29.8","author":"R Tedrake","year":"2010","unstructured":"Tedrake R, et al (2010) LQR-trees: feedback motion planning via sums-of-squares verication. Int J Robot Res 29.8:1038\u20131052","journal-title":"Int J Robot Res"},{"key":"297_CR42","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.automatica.2016.04.006","volume":"70","author":"J Tumova","year":"2016","unstructured":"Tumova J, Dimarogonas DV (2016) Multi-agent planning under local LTL specifications and event-based synchronization. Automatica 70:239\u2013248","journal-title":"Automatica"},{"key":"297_CR43","doi-asserted-by":"crossref","unstructured":"Verginis CK, Dimarogonas DV (2017) Distributed cooperative manipulation under timed temporal specifications. In: Proceedings of 2017 American Control Conference","DOI":"10.23919\/ACC.2017.7963141"},{"key":"297_CR44","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1109\/TAC.2009.2012973","volume":"54.3","author":"X Wang","year":"2009","unstructured":"Wang X, Lemmon MD (2009) Self-triggered feedback control systems with finite L2 gain stability. IEEE Trans Autom Control 54.3:452\u2013467","journal-title":"IEEE Trans Autom Control"},{"key":"297_CR45","doi-asserted-by":"publisher","first-page":"2817","DOI":"10.1109\/TAC.2012.2195811","volume":"57.11","author":"T Wongpiromsarn","year":"2012","unstructured":"Wongpiromsarn T, Topcu U, Murray RM (2012) Receding horizon temporal logic planning. IEEE Trans Autom Control 57.11:2817\u20132830","journal-title":"IEEE Trans Autom Control"},{"key":"297_CR46","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1109\/TAC.2005.852550","volume":"50.8","author":"L Zhang","year":"2005","unstructured":"Zhang L, et al (2005) A New Method for Stabilization of Networked Control Systems with Random delays. IEEE Trans Autom Control 50.8:1177\u20131181","journal-title":"IEEE Trans Autom Control"},{"key":"297_CR47","first-page":"84","volume":"21.1","author":"W Zhang","year":"2001","unstructured":"Zhang W, Branicky MS, Phillips SM (2001) Stability of Networked Control Systems. IEEE Control Syst 21.1:84\u201399","journal-title":"IEEE Control Syst"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00297-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00297-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00297-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,27]],"date-time":"2024-07-27T03:22:05Z","timestamp":1722050525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00297-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,18]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["297"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00297-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,18]]},"assertion":[{"value":"18 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 October 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 November 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}