{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T16:40:07Z","timestamp":1742748007602,"version":"3.40.2"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,3,21]],"date-time":"2012-03-21T00:00:00Z","timestamp":1332288000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10626-012-0134-2","type":"journal-article","created":{"date-parts":[[2012,3,20]],"date-time":"2012-03-20T09:11:26Z","timestamp":1332234686000},"page":"541-577","source":"Crossref","is-referenced-by-count":1,"title":["Graph process specifications for hybrid networked systems"],"prefix":"10.1007","volume":"22","author":[{"given":"Philip Y.","family":"Twu","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Martin","sequence":"additional","affiliation":[]},{"given":"Magnus B.","family":"Egerstedt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,3,21]]},"reference":[{"key":"134_CR1","unstructured":"Alamir M, Attia S (2004) On solving optimal control problems for switched hybrid nonlinear systems by strong variations algorithms. In: Proceedings of 6th IFAC symposium on nonlinear control systems, pp 558\u2013563"},{"key":"134_CR2","unstructured":"Antsaklis P (2000) A brief introduction to the theory and applications of hybrid systems. In: Proc IEEE, special issue on hybrid systems: theory and applications, Citeseer"},{"key":"134_CR3","doi-asserted-by":"crossref","unstructured":"Attia S, Alamir M, de\u00a0Wit C (2005) Sub optimal control of switched nonlinear systems under location and switching constraints. In: IFAC world congress","DOI":"10.3182\/20050703-6-CZ-1902.00307"},{"issue":"2","key":"134_CR4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s10957-007-9305-y","volume":"136","author":"H Axelsson","year":"2008","unstructured":"Axelsson H, Wardi Y, Egerstedt M, Verriest E (2008) Gradient descent approach to optimal mode scheduling in hybrid dynamical systems. J Optim Theory Appl 136(2):167\u2013186","journal-title":"J Optim Theory Appl"},{"issue":"7","key":"134_CR5","doi-asserted-by":"crossref","first-page":"1091","DOI":"10.1109\/TAC.2002.800646","volume":"47","author":"B Bamieh","year":"2002","unstructured":"Bamieh B, Paganini F, Dahleh M (2002) Distributed control of spatially invariant systems. IEEE Trans Automat Contr 47(7):1091\u20131107","journal-title":"IEEE Trans Automat Contr"},{"key":"134_CR6","unstructured":"Bemporad A, Borrelli F, Morari M (2000) Piecewise linear optimal controllers for hybrid systems. In: Proceedings of the American Control Conference, 2000. IEEE, vol 2, pp 1190\u20131194"},{"issue":"1","key":"134_CR7","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/9.654885","volume":"43","author":"M Branicky","year":"1998","unstructured":"Branicky M, Borkar V, Mitter S (1998) A unified framework for hybrid control: model and optimal control theory. IEEE Trans Automat Contr 43(1):31\u201345","journal-title":"IEEE Trans Automat Contr"},{"key":"134_CR8","doi-asserted-by":"crossref","unstructured":"Brockett R (1988) On the computer control of movement. In: Proceedings of IEEE international conference on robotics and automation, vol\u00a01, pp 534\u2013540","DOI":"10.1109\/ROBOT.1988.12107"},{"issue":"1511","key":"134_CR9","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1098\/rspb.2002.2210","volume":"270","author":"I Couzin","year":"2003","unstructured":"Couzin I, Franks N (2003) Self-organized lane formation and optimized traffic flow in army ants. Proc R Soc Lond, B Biol Sci 270(1511):139","journal-title":"Proc R Soc Lond, B Biol Sci"},{"issue":"1","key":"134_CR10","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/TAC.2005.861711","volume":"51","author":"M Egerstedt","year":"2006","unstructured":"Egerstedt M, Wardi Y, Axelsson H (2006) Transition-time optimization for switched-mode dynamical systems. IEEE Trans Automat Contr 51(1):110\u2013115","journal-title":"IEEE Trans Automat Contr"},{"key":"134_CR11","doi-asserted-by":"crossref","unstructured":"Eren T, Whiteley W, Anderson B, Morse A, Belhumeur P (2005) Information structures to secure control of rigid formations with leader-follower architecture. In: Proceedings of the American Control Conference, 2005. IEEE, pp 2966\u20132971","DOI":"10.1109\/ACC.2005.1470425"},{"key":"134_CR12","unstructured":"Hedlund S, Rantzer A (1999) Optimal control of hybrid systems. In: Proceedings of the 38th IEEE Conference on Decision and Control, 1999. IEEE, vol 4, pp 3972\u20133977"},{"issue":"6","key":"134_CR13","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1109\/TAC.2003.812781","volume":"48","author":"A Jadbabaie","year":"2003","unstructured":"Jadbabaie A, Lin J, Morse A (2003) Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans Automat Contr 48(6):988\u20131001","journal-title":"IEEE Trans Automat Contr"},{"issue":"4","key":"134_CR14","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1109\/TRO.2007.900638","volume":"23","author":"M Ji","year":"2007","unstructured":"Ji M, Egerstedt M (2007) Distributed coordination control of multiagent systems while preserving connectedness. IEEE Trans Robot 23(4):693\u2013703","journal-title":"IEEE Trans Robot"},{"issue":"3","key":"134_CR15","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","volume":"38","author":"K Johansson","year":"1999","unstructured":"Johansson K, Egerstedt M, Lygeros J, Sastry S (1999) On the regularization of Zeno hybrid automata. Syst Control Lett 38(3):141\u2013150","journal-title":"Syst Control Lett"},{"issue":"2","key":"134_CR16","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/TRO.2006.889492","volume":"23","author":"M Kloetzer","year":"2007","unstructured":"Kloetzer M, Belta C (2007) Temporal logic planning and control of robotic swarms by hierarchical abstractions. IEEE Trans Robot 23(2):320\u2013330","journal-title":"IEEE Trans Robot"},{"issue":"7","key":"134_CR17","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1109\/5.871307","volume":"88","author":"X Koutsoukos","year":"2000","unstructured":"Koutsoukos X, Antsaklis P, Stiver J, Lemmon M (2000) Supervisory control of hybrid systems. Proc IEEE 88(7):1026\u20131049","journal-title":"Proc IEEE"},{"issue":"4","key":"134_CR18","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1109\/TAC.2004.825639","volume":"49","author":"Z Lin","year":"2004","unstructured":"Lin Z, Broucke M, Francis B (2004) Local control strategies for groups of mobile autonomous agents. IEEE Trans Automat Contr 49(4):622\u2013629","journal-title":"IEEE Trans Automat Contr"},{"issue":"10","key":"134_CR19","doi-asserted-by":"crossref","first-page":"1848","DOI":"10.1109\/TAC.2003.817942","volume":"48","author":"Y Liu","year":"2003","unstructured":"Liu Y, Passino K, Polycarpou M (2003) Stability analysis of one-dimensional asynchronous swarms. IEEE Trans Automat Contr 48(10):1848\u20131854","journal-title":"IEEE Trans Automat Contr"},{"key":"134_CR20","unstructured":"Lynch N (1996) Distributed algorithms. Morgan Kaufmann"},{"key":"134_CR21","doi-asserted-by":"crossref","unstructured":"Manikonda V, Krishnaprasad PS, Hendler J (1998) Languages, behaviors, hybrid architectures and motion control. In: Willems J, Baillieul J (eds) Mathematical control theory, Springer-Verlag","DOI":"10.1007\/978-1-4612-1416-8_6"},{"key":"134_CR22","doi-asserted-by":"crossref","unstructured":"Martin P, de la Croix J, Egerstedt M (2008) MDLn: a motion description language for networked systems. In: Proceedings of 47th IEEE Conference on Decision and Control","DOI":"10.1109\/CDC.2008.4739185"},{"key":"134_CR23","doi-asserted-by":"crossref","unstructured":"McNew J, Klavins E (2006) Locally interacting hybrid systems with embedded graph grammars. In: Proceedings of the 45th IEEE Conference on Decision and Control, 2006. pp 6080\u20136087","DOI":"10.1109\/CDC.2006.376843"},{"key":"134_CR24","doi-asserted-by":"crossref","DOI":"10.1515\/9781400835355","volume-title":"Graph theoretic methods for multiagent networks","author":"M Mesbahi","year":"2010","unstructured":"Mesbahi M, Egerstedt M (2010) Graph theoretic methods for multiagent networks. Princeton University Press, Princeton, NJ"},{"key":"134_CR25","doi-asserted-by":"crossref","unstructured":"Morse A (1997) Control using logic-based switching. Citeseer","DOI":"10.1007\/BFb0036078"},{"issue":"7","key":"134_CR26","doi-asserted-by":"crossref","first-page":"1616","DOI":"10.1109\/TAC.2008.929366","volume":"53","author":"N Motee","year":"2008","unstructured":"Motee N, Jadbabaie A (2008) Optimal control of spatially distributed systems. IEEE Trans Automat Contr 53(7):1616\u20131629","journal-title":"IEEE Trans Automat Contr"},{"issue":"1","key":"134_CR27","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/j.amc.2004.08.039","volume":"168","author":"A Muhammad","year":"2005","unstructured":"Muhammad A, Egerstedt M (2005) Connectivity graphs as models of local interactions. Appl Math Comput 168(1):243\u2013269","journal-title":"Appl Math Comput"},{"issue":"9","key":"134_CR28","doi-asserted-by":"crossref","first-page":"1520","DOI":"10.1109\/TAC.2004.834113","volume":"49","author":"R Olfati-Saber","year":"2004","unstructured":"Olfati-Saber R, Murray R (2004) Consensus problems in networks of agents with switching topology and time-delays. IEEE Trans Automat Contr 49(9):1520\u20131533","journal-title":"IEEE Trans Automat Contr"},{"issue":"1","key":"134_CR29","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/JPROC.2006.887293","volume":"95","author":"R Olfati-Saber","year":"2007","unstructured":"Olfati-Saber R, Fax J, Murray R (2007) Consensus and cooperation in networked multi-agent systems. Proc IEEE 95(1):215\u2013233","journal-title":"Proc IEEE"},{"key":"134_CR30","unstructured":"Rantzer A (2007) A separation principle for distributed control. In: Proceedings of the 45th IEEE Conference on Decision and Control, 2006. IEEE, pp 3609\u20133613"},{"issue":"5","key":"134_CR31","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1109\/TAC.2005.846556","volume":"50","author":"W Ren","year":"2005","unstructured":"Ren W, Beard R (2005) Consensus seeking in multiagent systems under dynamically changing interaction topologies. IEEE Trans Automat Contr 50(5):655\u2013661","journal-title":"IEEE Trans Automat Contr"},{"issue":"2","key":"134_CR32","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1109\/TAC.2005.860365","volume":"51","author":"M Rotkowitz","year":"2006","unstructured":"Rotkowitz M, Lall S (2006) A characterization of convex problems in decentralized control. IEEE Trans Automat Contr 51(2):274\u2013286","journal-title":"IEEE Trans Automat Contr"},{"key":"134_CR33","unstructured":"Shaikh M, Caines P (2002) On trajectory optimization for hybrid systems: theory and algorithms for fixed schedules. In: Proceedings of the 37th IEEE Conference on Decision and Control, 1998. IEEE, vol 2, pp 1997\u20131998"},{"key":"134_CR34","doi-asserted-by":"crossref","unstructured":"Shaikh M, Caines P (2003) On the optimal control of hybrid systems: optimization of trajectories, switching times, and location schedules. In: Proceedings of the 6th international conference on Hybrid systems: computation and control, Springer-Verlag, pp 466\u2013481","DOI":"10.1007\/3-540-36580-X_34"},{"issue":"9","key":"134_CR35","doi-asserted-by":"crossref","first-page":"1587","DOI":"10.1109\/TAC.2007.904451","volume":"52","author":"M Shaikh","year":"2007","unstructured":"Shaikh M, Caines P (2007) On the hybrid optimal control problem: theory and algorithms. IEEE Trans Automatic Control 52(9):1587\u20131603","journal-title":"IEEE Trans Automatic Control"},{"issue":"1","key":"134_CR36","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s10514-008-9107-6","volume":"26","author":"B Smith","year":"2009","unstructured":"Smith B, Howard A, McNew J, Wang J, Egerstedt M (2009) Multi-robot deployment and coordination with embedded graph grammars. Auton Robots 26(1):79\u201398","journal-title":"Auton Robots"},{"issue":"3","key":"134_CR37","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1109\/TRA.2004.825275","volume":"20","author":"H Tanner","year":"2004","unstructured":"Tanner H, Pappas G, Kumar V (2004) Leader-to-formation stability. IEEE Trans Robot Autom 20(3):443\u2013455","journal-title":"IEEE Trans Robot Autom"},{"issue":"5","key":"134_CR38","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1109\/TAC.2007.895948","volume":"52","author":"H Tanner","year":"2007","unstructured":"Tanner H, Jadbabaie A, Pappas G (2007) Flocking in fixed and switching networks. IEEE Trans Automat Contr 52(5):863\u2013868","journal-title":"IEEE Trans Automat Contr"},{"key":"134_CR39","doi-asserted-by":"crossref","unstructured":"Twu P, Egerstedt M (2010) Optimal decentralization of multi-agent motions. In: Proceedings of the American Control Conference, 2010. IEEE, pp 2326\u20132331","DOI":"10.1109\/ACC.2010.5530553"},{"key":"134_CR40","doi-asserted-by":"crossref","unstructured":"Twu P, Martin P, Egerstedt M (2010) Graph process specifications for hybrid networked systems. In: Proceedings of 10th international workshop on discrete event systems","DOI":"10.3182\/20100830-3-DE-4013.00013"},{"key":"134_CR41","unstructured":"Xiao L, Boyd S, Lall S (2006) A space-time diffusion scheme for peer-to-peer least-squares estimation. In: Proceedings of the 5th international conference on information processing in sensor networks, ACM, pp\u00a0168\u2013176"},{"key":"134_CR42","doi-asserted-by":"crossref","unstructured":"Xu X, Antsaklis P (2002a) Optimal control of switched autonomous systems. In: Proceedings of the 41st IEEE Conference on Decision and Control, 2002. IEEE, vol 4, pp 4401\u20134406","DOI":"10.1109\/CDC.2002.1185065"},{"issue":"17","key":"134_CR43","doi-asserted-by":"crossref","first-page":"1406","DOI":"10.1080\/0020717021000023825","volume":"75 16","author":"X Xu","year":"2002","unstructured":"Xu X, Antsaklis P (2002b) Optimal control of switched systems via non-linear optimization based on direct differentiations of value functions. Int J Control 75 16(17):1406\u20131426","journal-title":"Int J Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0134-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0134-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0134-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T16:16:22Z","timestamp":1742746582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0134-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,21]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["134"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0134-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2012,3,21]]}}}