Show simple item record

dc.contributor.authorLaViers, Amyen_US
dc.contributor.authorChen, Yushanen_US
dc.contributor.authorBelta, Calinen_US
dc.contributor.authorEgerstedt, Magnus B.en_US
dc.date.accessioned2011-05-15T21:38:53Z
dc.date.available2011-05-15T21:38:53Z
dc.date.issued2011-04
dc.identifier.citationA. 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.urihttp://hdl.handle.net/1853/38865
dc.description.abstractAs 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.isoen_USen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.subjectRobotic motionsen_US
dc.subjectLinear Temporal Logicen_US
dc.subjectBalletic motionsen_US
dc.titleA Formal Approach to the Automatic Generation of Ballet Motionsen_US
dc.title.alternativeAutomatic Generation of Balletic Motionsen_US
dc.typeProceedingsen_US
dc.typePre-printen_US
dc.contributor.corporatenameGeorgia Institute of Technology. School of Electrical and Computer Engineeringen_US
dc.contributor.corporatenameGeorgia Institute of Technology. Center for Robotics and Intelligent Machinesen_US
dc.contributor.corporatenameBoston University. Dept. of Electrical and Computer Engineeringen_US
dc.contributor.corporatenameBoston University. Dept. of Mechanical Engineeringen_US
dc.publisher.originalInstitute of Electrical and Electronics Engineersen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record