Automatic Sequencing of Ballet Poses

In this article, we draw inspiration from the formal principals of movement organization in basic classical ballet. A grammar for leg positions in ballet movements restricted to the coronal plane is specified. Ballet is a highly ordered behavior of a truly complex biological system whose attributes have important analogs in systems theory that warrant quantitative study. By formulating aesthetic style from a systems theoretic perspective and, thus, resolving the attributes of human movement that typify and comprise stylized movement, we are beginning to define a metric for a previously abstract concept. Furthermore, the structure of the aesthetic movement explored here provides an interesting challenge for robotics research and formal methods, namely that of how the composition of structured discrete event systems may generate desired behavior for humanoid robotic tasks.

[1]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[2]  Pietro Perona,et al.  Decomposition of human motion into dynamics-based primitives with application to drawing tasks , 2003, Autom..

[3]  Paul Gastin,et al.  Fast LTL to Büchi Automata Translation , 2001, CAV.

[4]  Andrea Lockerd Thomaz,et al.  Stylized motion generalization through adaptation of velocity profiles , 2010, 19th International Symposium in Robot and Human Interactive Communication.

[5]  Pietro Perona,et al.  Hybrid models for human motion recognition , 2005, 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05).

[6]  Gang Qian,et al.  View-invariant full-body gesture recognition from video , 2008, 2008 19th International Conference on Pattern Recognition.

[7]  Eric Feron,et al.  Modeling musically meaningful choreography , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[8]  Music Musi.  Georgia Institute of Technology , 2002 .

[9]  Christoph Bregler,et al.  Learning and recognizing human dynamics in video sequences , 1997, Proceedings of IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[10]  Ufuk Topcu,et al.  Receding horizon control for temporal logic specifications , 2010, HSCC '10.

[11]  Amy LaViers,et al.  Automatic Generation of Balletic Motions , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[12]  Vera Maletic,et al.  Body-space-expression , 1987 .

[13]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[14]  Amir Pnueli,et al.  Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[15]  Elizabeth Bradley,et al.  Using chaos to generate variations on movement sequences. , 1998, Chaos.

[16]  Calin Belta,et al.  Receding horizon surveillance with temporal logic specifications , 2010, 49th IEEE Conference on Decision and Control (CDC).

[17]  Hadas Kress-Gazit,et al.  Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[18]  Amy LaViers,et al.  The ballet automaton: A formal model for human motion , 2011, Proceedings of the 2011 American Control Conference.