arXiv subjects

Eric Rosen

Publications and source records attributed to Eric Rosen.

27 records · Page 2Linked to original sources

arXiv2021

Bootstrapping Motor Skill Learning with Motion Planning

Learning a robot motor skill from scratch is impractically slow; so much so that in practice, learning must be bootstrapped using a good skill policy obtained from human demonstration. However, relying on human demonstration necessarily degrades the autonomy of robots that must learn a wide variety of skills over their operational lifetimes. We propose using kinematic motion planning as a completely autonomous, sample efficient way to bootstrap motor skill learning for object manipulation. We demonstrate the use of motion planners to bootstrap motor skills in two complex object manipulation scenarios with different policy representations: opening a drawer with a dynamic movement primitive representation, and closing a microwave door with a deep neural network policy. We also show how our method can bootstrap a motor skill for the challenging dynamic task of learning to hit a ball off a tee, where a kinematic plan based on treating the scene as static is insufficient to solve the task, but sufficient to bootstrap a more dynamic policy. In all three cases, our method is competitive with human-demonstrated initialization, and significantly outperforms starting with a random policy. This approach enables robots to to efficiently and autonomously learn motor policies for dynamic tasks without human demonstration.

cs.RO↗

arXiv2020

Steps Towards Best Practices For Robot Videos

There are unwritten guidelines for how to make robot videos that researchers learn from their advisors and pass onto their students. We believe that it is important for the community to collaboratively discuss and develop a standard set of best practices when making robot. We suggest a starting set of maxims for best robot video practices, and highlight positive examples from the community and negative examples only from videos made by the authors of this article. In addition, we offer a checklist that we hope can act as an document that can be given to robotic researchers to inform them of how to make robot videos that truthfully characterize what a robot can and can not do. We consider this a first draft, and are looking for feedback from the community as we refine and grow our maxims and checklist.

cs.RO↗

arXiv2017

Communicating Robot Arm Motion Intent Through Mixed Reality Head-mounted Displays

Efficient motion intent communication is necessary for safe and collaborative work environments with collocated humans and robots. Humans efficiently communicate their motion intent to other humans through gestures, gaze, and social cues. However, robots often have difficulty efficiently communicating their motion intent to humans via these methods. Many existing methods for robot motion intent communication rely on 2D displays, which require the human to continually pause their work and check a visualization. We propose a mixed reality head-mounted display visualization of the proposed robot motion over the wearer's real-world view of the robot and its environment. To evaluate the effectiveness of this system against a 2D display visualization and against no visualization, we asked 32 participants to labeled different robot arm motions as either colliding or non-colliding with blocks on a table. We found a 16% increase in accuracy with a 62% decrease in the time it took to complete the task compared to the next best system. This demonstrates that a mixed-reality HMD allows a human to more quickly and accurately tell where the robot is going to move than the compared baselines.

cs.RO↗

arXiv2017

Geometrical morphology

We explore inflectional morphology as an example of the relationship of the discrete and the continuous in linguistics. The grammar requests a form of a lexeme by specifying a set of feature values, which corresponds to a corner M of a hypercube in feature value space. The morphology responds to that request by providing a morpheme, or a set of morphemes, whose vector sum is geometrically closest to the corner M. In short, the chosen morpheme $μ$ is the morpheme (or set of morphemes) that maximizes the inner product of $μ$ and M.

cs.CL↗

arXiv2008

A differential Chevalley theorem

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a differential scheme under a finite morphism is a constructible set. We also obtain a new algebraic characterization of differentially closed fields. We show that similar results hold for differentially closed fields that are saturated, in the sense of model theory. In characteristic p > 0, we obtain related results and establish a differential Nullstellensatz. Analogs of these theorems for difference fields are also considered.

math.AG↗

arXiv2007

Prolongations in differential algebra

We develop the theory of higher prolongations of algebraic varieties over fields in arbitrary characteristic with commuting Hasse-Schmidt derivations. Prolongations were introduced by Buium in the context of fields of characteristic 0 with a single derivation. Inspired by work of Vojta, we give a new construction of higher prolongations in a more general context. Generalizing a result of Buium in characteristic 0, we prove that these prolongations are represented by a certain functor, which shows that they can be viewed as `twisted jet spaces.' We give a new proof of a theorem of Moosa, Pillay, and Scanlon that the prolongation functor and jet space functor commute. We also prove that the $m^{th}$-prolongation and $m^{th}$-jet space of a variety are differentially isomorphic by showing that their infinite prolongations are isomorphic as schemes.

math.LO↗

arXiv2007

Order 1 strongly minimal sets in differentially closed fields

We give a classification of non-orthogonality classes of trivial order 1 strongly minimal sets in differentially closed fields. A central idea is the introduction of $τ$-forms, functions on the prolongation of a variety which are analogous to 1-forms. Order 1 strongly minimal sets then correspond to smooth projective curves with $τ$-forms. We also introduce $τ$-differentials, algebraic versions of $τ$-forms which are analogous to usual differentials, and develop their basic properties. This enables us to reformulate our classification scheme-theoretically in terms of curves with $τ$-invertible sheaves. This work partially generalizes and extends results of Hrushovski and Itai.

math.LO↗

arXiv2007

Differentials over differential fields

Given an algebra $A$ over a differential field $K$, we study derivations on $A$ that are compatible with the derivation on $K$. There is a universal object, which is a twisted version of the usual module of differentials, and we establish some of its basic properties. In the context of differential algebraic geometry, one gets a sheaf of these $τ$-differentials which can be interpreted as certain natural functions on the prolongation of a variety, as studied by Buium. This sheaf corresponds to the Kodaira-Spencer class of the variety.

math.AC↗

arXiv1996

k --Universal Finite Graphs

This paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah, establish that the class of k-universal graphs is not definable by an infinite disjunction of first-order existential sentences with a finite number of variables and that there exist k-universal graphs with no k-extendible induced subgraphs.

math.LO↗