• A Formal Approach to the Automatic Generation of Ballet Motions 

      LaViers, Amy; Chen, Yushan; Belta, Calin; Egerstedt, Magnus B. (Georgia Institute of TechnologyInstitute of Electrical and Electronics Engineers, 2011-04)
      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 ...
    • A Formal Approach to the Automatic Generation of Ballet Phrases 

      LaViers, Amy; Chen, Yushan; Belta, Calin; Egerstedt, Magnus B. (Georgia Institute of TechnologyInstitute of Electrical and Electronics Engineers, 2011-09)
      This paper presents a novel example where formal methods can be used to generate a type of human behavior. Drawing inspiration from classical ballet, poses are cast as discrete states and movements as the transitions between ...
    • A Formal Model for Human Motion 

      LaViers, Amy; Egerstedt, Magnus B. (Georgia Institute of TechnologyInstitute of Electrical and Electronics Engineers, 2011-06)
      In this paper we present a discrete event model whose marked language, i.e., sequences of movements, make up canonical warm-up routines in classical ballet. Through composition operations that trim physically infeasible ...