Amy LaViers

Learn More
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(More)
— 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 these states. Using Linear Temporal Logic (LTL), we are able to further constrain the set of possible sequences through the(More)
— 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(More)
— Clustering is a powerful tool for data classification ; however, its application has been limited to analysis of static snapshots of data which may be time-evolving. This work presents a clustering algorithm that employs a fixed time interval and a time-aggregated similarity measure to determine classification. The fixed time interval and a weighting(More)
From movement analysis literature, such as the work of Bartenieff, and motion capture and anatomical evidence, it is known that the core of human body plays an important role in walking motion. Motivated by these findings, a biped robot with core-located actuation, which causes the center of mass to change, has been proposed. In this paper, a planar model(More)
This paper reports on the development of three subsystems to automate the process of three dimensional cell culturing. Conventional cell culturing is a manual process in which cells are grown in a controlled environment and eventually harvested for testing purposes. The large amount of human labor necessary in this process creates opportunity for human(More)
— This paper presents a method for segmenting human motion based on a notion of quality and the movement of a user such that the exact segmentation is tailored for different subjects. The problem is solved via an inverse optimal control problem where the parameter of optimization is a time along the movement trajectory that splits the longer trajectory into(More)