Title:
The Motion Grammar Calculus for Context-Free Hybrid Systems
The Motion Grammar Calculus for Context-Free Hybrid Systems
dc.contributor.author | Dantam, Neil | |
dc.contributor.author | Stilman, Mike | |
dc.contributor.corporatename | Georgia Institute of Technology. Center for Robotics and Intelligent Machines | |
dc.date.accessioned | 2012-07-19T22:01:14Z | |
dc.date.available | 2012-07-19T22:01:14Z | |
dc.date.issued | 2012-06 | |
dc.description | ©2012 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or distribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. | en_US |
dc.description | Presented at the 2012 American Control Conference (ACC’12), 27-29 June 2012, Montreal, Canada. | |
dc.description.abstract | This paper provides a method for deriving provably correct controllers for Hybrid Dynamical Systems with Context-Free discrete dynamics, nonlinear continuous dynamics, and nonlinear state partitioning. The proposed method models the system using a Context-Free Motion Grammar and specifies correct performance using a Regular language representation such as Linear Temporal Logic. The initial model is progressively rewritten via a calculus of symbolic transformation rules until it satisfies the desired specification. | en_US |
dc.identifier.citation | Dantam, N., & Stilman, M. (2012). “The Motion Grammar Calculus for Context-Free Hybrid Systems”. Proceedings of the American Control Conference (ACC’12), June 2012. | en_US |
dc.identifier.uri | http://hdl.handle.net/1853/44346 | |
dc.language.iso | en_US | en_US |
dc.publisher | Georgia Institute of Technology | en_US |
dc.publisher.original | Institute of Electrical and Electronics Engineers | |
dc.subject | Context free grammars | en_US |
dc.subject | Hybrid dynamical systems | en_US |
dc.subject | Linear Temporal Logic | en_US |
dc.subject | Robot manipulation | en_US |
dc.title | The Motion Grammar Calculus for Context-Free Hybrid Systems | en_US |
dc.type | Text | |
dc.type.genre | Proceedings | |
dspace.entity.type | Publication | |
local.contributor.corporatename | Humanoid Robotics Laboratory | |
relation.isOrgUnitOfPublication | 05bf85fb-965e-425d-af8b-dbf56e0d9797 |