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 presents a novel strategy for bipedal locomotion that is inspired from human movement strategy. The paper describes a novel prototype that uses an actuation scheme to shifts the center of gravity of the platform to acheive forward progress. This design is inspired by key movement primitives discussed in studies of human locomotion. In particular,(More)
The patient-centered care paradigm is an influential healthcare management model that can improve the way care is delivered. Autonomous agents may be implemented in hospitals to enhance patient-centered by adding tailored patient interaction without the expense of hiring additional workforce. Observations in the University of Virginia's Children's Hospital(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)