Amy LaViers

Learn 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)
— 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)
— 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)
— 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)
  • 1