A Formal Approach to the Automatic Generation of Ballet Motions

Show simple item record

dc.contributor.author LaViers, Amy en_US
dc.contributor.author Chen, Yushan en_US
dc.contributor.author Belta, Calin en_US
dc.contributor.author Egerstedt, Magnus B. en_US
dc.date.accessioned 2011-05-15T21:38:53Z
dc.date.available 2011-05-15T21:38:53Z
dc.date.issued 2011-04
dc.identifier.citation A. LaViers, Y. Chen, C. Belta, and M. Egerstedt. A Formal Approach to the Automatic Generation of Ballet Motions. ACM/IEEE Second International Conference on Cyber-Physical Systems, Chicago, IL, Apr. 2011. To appear. en_US
dc.identifier.uri http://hdl.handle.net/1853/38865
dc.description.abstract As cyber-physical systems become more prevalent, specifications for these systems must be formulated in a more nuanced manner. This paper presents a particular instantiation of such specification by proposing a framework that endows robotic motions with a sense of aesthetic style. Drawing inspiration from classical ballet, poses are cast as discrete states and movements as the transitions between these states. Thus, a given movement style is encoded in the availability of transitions at each state, and the dynamics of a complex physical trajectory are abstracted as a system which moves between these states. Using Linear Temporal Logic (LTL), we are able to further constrain the set of possible sequences through the transition system and thus prevent it from evolving through a sequence of states that is physically impossible or aesthetically undesirable. Our overarching objective is to facilitate subtle degrees of control over systems as such subtleties are required, more and more, to interact in a social and aesthetically driven world. en_US
dc.language.iso en_US en_US
dc.publisher Georgia Institute of Technology en_US
dc.subject Robotic motions en_US
dc.subject Linear Temporal Logic en_US
dc.subject Balletic motions en_US
dc.title A Formal Approach to the Automatic Generation of Ballet Motions en_US
dc.title.alternative Automatic Generation of Balletic Motions en_US
dc.type Proceedings en_US
dc.type Pre-print en_US
dc.contributor.corporatename Georgia Institute of Technology. School of Electrical and Computer Engineering en_US
dc.contributor.corporatename Georgia Institute of Technology. Center for Robotics and Intelligent Machines en_US
dc.contributor.corporatename Boston University. Dept. of Electrical and Computer Engineering en_US
dc.contributor.corporatename Boston University. Dept. of Mechanical Engineering en_US
dc.publisher.original Institute of Electrical and Electronics Engineers en_US


Files in this item

Files Size Format View
Automatic Generation of Balletic Motions.pdf 547.8Kb PDF View/ Open

This item appears in the following Collection(s)

Show simple item record