{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T18:18:39Z","timestamp":1759342719259},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71493-4_33","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:33:57Z","timestamp":1180560837000},"page":"413-427","source":"Crossref","is-referenced-by-count":16,"title":["Solving Coverage Problems with Embedded Graph Grammars"],"prefix":"10.1007","author":[{"given":"John-Michael","family":"McNew","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Klavins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magnus","family":"Egerstedt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Egerstedt, M., Brockett, R.W.: Feedback can reduce the specification complexity of motor programs. IEEE Transactions on Automatic Control (2003)","DOI":"10.1109\/TAC.2002.808466"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Manikonda, V., Krishnaprasad, P.S., Hendler, J.: Languages, Behaviors, Hybrid Architectures and Motion Control. In: Mathematical Control Theory (1998)","DOI":"10.1007\/978-1-4612-1416-8_6"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Lygeros, J., et al.: Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control (2003)","DOI":"10.1109\/TAC.2002.806650"},{"key":"33_CR4","volume-title":"11th Annual Symposium on Logic in Computer Science (LICS)","author":"T. Henzinger","year":"1996","unstructured":"Henzinger, T.: The theory of hybrid automata. In: 11th Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Klavins, E., Burden, S., Napp, N.: Optimal rules for programmed stochastic self-assembly. In: Robotics: Science and Systems, Philadelphia, PA (2006)","DOI":"10.15607\/RSS.2006.II.002"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Cortes, J., Martinez, S., Bullo, F.: Robust rendezvous for mobile autonomous agents via proximity graphs in arbitrary dimensions. IEEE Transactions on Automatic Control (2006)","DOI":"10.1109\/TAC.2006.878713"},{"key":"33_CR7","volume-title":"Proc. of the IEEE Conference on Decision and Control","author":"N. Leonard","year":"2001","unstructured":"Leonard, N., Fiorelli, E.: Virtual leaders, artificial potentials and coordinated control of groups. In: Proc. of the IEEE Conference on Decision and Control, IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"McNew, J.M., Klavins, E.: Locally interacting hybrid sytems using embedded graph grammars. In: Proc. of the Conference on Decision and Control (2006)","DOI":"10.1109\/CDC.2006.376843"},{"key":"33_CR9","unstructured":"Smith, B., et al.: Embedded graph grammars for multi-robot coordination. In: Proc. of the International Conference on Robotics and Automation, submitted (2007)"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Shucker, B., Murphey, T., Bennett, J.K.: A method of cooperative control using occasional non-local interactions. In: Proc. of the American Control Conference (2006)","DOI":"10.1109\/ROBOT.2006.1641892"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:21:26Z","timestamp":1605763286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714927","9783540714934"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_33","relation":{},"subject":[]}}