{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:48Z","timestamp":1729641648047,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/acc.2012.6315290","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T17:55:22Z","timestamp":1405533322000},"page":"5294-5301","source":"Crossref","is-referenced-by-count":2,"title":["The Motion Grammar calculus for Context-Free Hybrid systems"],"prefix":"10.1109","author":[{"given":"Neil","family":"Dantam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Stilman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"2526","article-title":"Toward reachability-based controller design for hybrid systems in robotics","volume":"45","author":"ding","year":"2011","journal-title":"Int Symp Artificial Intell Robot Automat in Space"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1985.1104009"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459838"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271663"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"13","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"alur","year":"1993","journal-title":"Hybrid Systems"},{"key":"14","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1090\/psapm\/041\/1079568","article-title":"Formal languages for motion description and map making","volume":"41","author":"brockett","year":"1990","journal-title":"Robotics"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.03.045"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"20","first-page":"271","article-title":"Safety verification of hybrid systems using barrier certificates","author":"prajna","year":"2004","journal-title":"HSCC"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2011.VII.007","article-title":"The motion grammar: Linguistic planning and control","author":"dantam","year":"2011","journal-title":"RSS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980468"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/b137198"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"7"},{"key":"6","article-title":"Make your robot talk correctly: Deriving models of hybrid system","author":"dantam","year":"2011","journal-title":"RSS Workshop on Grounding Human-Robot Dialog for Spatial Tasks"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"}],"event":{"name":"2012 American Control Conference - ACC 2012","start":{"date-parts":[[2012,6,27]]},"location":"Montreal, QC","end":{"date-parts":[[2012,6,29]]}},"container-title":["2012 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6297579\/6314593\/06315290.pdf?arnumber=6315290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T18:25:04Z","timestamp":1565634304000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6315290\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/acc.2012.6315290","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}