{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:26:03Z","timestamp":1761488763663},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T00:00:00Z","timestamp":1316044800000},"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,3]]},"DOI":"10.1007\/s10626-011-0117-8","type":"journal-article","created":{"date-parts":[[2011,9,14]],"date-time":"2011-09-14T03:54:49Z","timestamp":1315972489000},"page":"101-119","source":"Crossref","is-referenced-by-count":17,"title":["Hybrid systems tools for compiling controllers for cyber-physical systems"],"prefix":"10.1007","volume":"22","author":[{"given":"Patrick","family":"Martin","sequence":"first","affiliation":[]},{"given":"Magnus B.","family":"Egerstedt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,15]]},"reference":[{"key":"117_CR1","doi-asserted-by":"crossref","unstructured":"Archer B, Sastry S, Rowe A, Rajkumar R (2009) Profiling primitives of networked embedded automation. In: Proceedings of the fifth annual IEEE Conference on Automation Science and Engineering (CASE 2009)","DOI":"10.1109\/COASE.2009.5234124"},{"issue":"1","key":"117_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TAC.2005.861721","volume":"51","author":"A Bicchi","year":"2006","unstructured":"Bicchi A, Marigo A, Piccoli B (2006) Feedback encoding for efficient symbolic control of dynamical systems. IEEE Trans Automat Contr 51(1):1\u201316","journal-title":"IEEE Trans Automat Contr"},{"key":"117_CR3","doi-asserted-by":"crossref","unstructured":"Brockett RW (1988) On the computer control of movement. In: Proceedings of the 1988 IEEE conference on robotics and automation. New York, pp\u00a0534\u2013540","DOI":"10.1109\/ROBOT.1988.12107"},{"issue":"6","key":"117_CR4","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1177\/02783649922066385","volume":"8","author":"RR Burridge","year":"1999","unstructured":"Burridge RR, Rizzi AA, Koditschek DE (1999) Sequential composition of dynamically dexterous robot behaviors. Int J Rob Res 8(6):534\u2013555","journal-title":"Int J Rob Res"},{"key":"117_CR5","unstructured":"Chen Y, Ding XC, Stefanescu A, Belta C (2010) A formal approach to deployment of robotic teams in an urban-like environment. In: 10th international symposium on Distributed Autonomous Robotics Systems (DARS). Lausanne, Switzerland"},{"issue":"1","key":"117_CR6","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 systems. IEEE Trans Automat Contr 51(1):110\u2013115","journal-title":"IEEE Trans Automat Contr"},{"issue":"6","key":"117_CR7","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1109\/TRO.2005.852260","volume":"21","author":"E Frazzoli","year":"2005","unstructured":"Frazzoli E, Dahleh MA, Feron E (2005) Maneuver-based motion planning for nonlinear systems with symmetries. IEEE Trans Robot 21(6):1077\u20131091","journal-title":"IEEE Trans Robot"},{"key":"117_CR8","unstructured":"Klavins E (2003) A formal model of a multi-robot control and communication task. In: 42nd IEEE conference on decision and control"},{"key":"117_CR9","doi-asserted-by":"crossref","unstructured":"Manikonda V, Krishnaprasad PS, Hendler J (1998) Languages, behaviors, hybrid architectures and motion control. In Willems JC, Baillieul J (eds) Mathematical control theory. Springer-Verlag","DOI":"10.1007\/978-1-4612-1416-8_6"},{"key":"117_CR10","doi-asserted-by":"crossref","unstructured":"Martin P, Egerstedt M (2009) Optimization of multi-agent motion programs with applications to robotic marionettes. Hybrid systems: computation and controll. Springer-Verlag","DOI":"10.1007\/978-3-642-00602-9_19"},{"key":"117_CR11","doi-asserted-by":"crossref","unstructured":"Martin P, Egerstedt M (2010a) Expanding motion programs under input constraints. In: Proceedings of American control conference. Baltimore, Maryland","DOI":"10.1109\/ACC.2010.5530572"},{"key":"117_CR12","doi-asserted-by":"crossref","unstructured":"Martin P, Egerstedt M (2010b) Timing control of switched systems with applications to robotic marionettes. JDEDS 20(2):233\u2013248","DOI":"10.1007\/s10626-009-0059-6"},{"key":"117_CR13","unstructured":"Motion Description Languages (2010) On the specification and execution of motion programs for networked systems. In: 19th international symposium on mathematical theory of networks and systems"},{"issue":"11","key":"117_CR14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/MC.2005.386","volume":"38","author":"J Stankovic","year":"2005","unstructured":"Stankovic J, Lee I, Mok A, Rajkumar R (2005) Opportunities and obligations for physical computing systems. Comput 38(11):23\u201331","journal-title":"Comput"},{"key":"117_CR15","doi-asserted-by":"crossref","unstructured":"Twu P, Martin P, Egerstedt M (2010) Graph process specifications for hybrid networked systems. International Workshop on Discrete Event Systems (WODES). Berlin, Germany","DOI":"10.3182\/20100830-3-DE-4013.00013"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0117-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0117-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0117-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T13:34:45Z","timestamp":1560605685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0117-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,15]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["117"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0117-8","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,15]]}}}