A Formal Approach to the Automatic Generation of Ballet Motions

Show full item record

Please use this identifier to cite or link to this item: http://hdl.handle.net/1853/38865

Title: A Formal Approach to the Automatic Generation of Ballet Motions
Alternative Title: Automatic Generation of Balletic Motions
Author: LaViers, Amy ; Chen, Yushan ; Belta, Calin ; Egerstedt, Magnus B.
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.
Type: Proceedings
Pre-print
URI: http://hdl.handle.net/1853/38865
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.
Date: 2011-04
Contributor: Georgia Institute of Technology. School of Electrical and Computer Engineering
Georgia Institute of Technology. Center for Robotics and Intelligent Machines
Boston University. Dept. of Electrical and Computer Engineering
Boston University. Dept. of Mechanical Engineering
Publisher: Georgia Institute of Technology
Institute of Electrical and Electronics Engineers
Subject: Robotic motions
Linear Temporal Logic
Balletic motions

All materials in SMARTech are protected under U.S. Copyright Law and all rights are reserved, unless otherwise specifically indicated on or in the materials.

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 full item record