A Formal Approach to the Automatic Generation of Ballet MotionsReportar como inadecuado


A Formal Approach to the Automatic Generation of Ballet Motions


A Formal Approach to the Automatic Generation of Ballet Motions - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

As cyber-physical systems become more prevalent,specifications for these systems must be formulated in a morenuanced manner.
This paper presents a particular instantiationof such specification by proposing a framework that endowsrobotic motions with a sense of aesthetic style.
Drawing inspirationfrom classical ballet, poses are cast as discrete states andmovements as the transitions between these states.
Thus, a givenmovement style is encoded in the availability of transitions ateach state, and the dynamics of a complex physical trajectoryare abstracted as a system which moves between these states.Using Linear Temporal Logic LTL, we are able to furtherconstrain the set of possible sequences through the transitionsystem and thus prevent it from evolving through a sequence ofstates that is physically impossible or aesthetically undesirable.Our overarching objective is to facilitate subtle degrees ofcontrol over systems as such subtleties are required, more andmore, to interact in a social and aesthetically driven world.



Georgia Robotics and InTelligent Systems Laboratory GRITS - Georgia Robotics and InTelligent Systems Laboratory GRITS Publications -



Autor: LaViers, Amy - Chen, Yushan - Belta, Calin - Egerstedt, Magnus B.
- -


Fuente: https://smartech.gatech.edu/





Documentos relacionados