research
∙
03/04/2023
Technical Report on: Tripedal Dynamic Gaits for a Quadruped Robot
A vast number of applications for legged robots entail tasks in complex,...
share
research
∙
09/30/2022
Technical Report on: Anchoring Sagittal Plane Templates in a Spatial Quadruped
This technical report provides a more thorough treatment of the proofs a...
research
∙
02/03/2022
Technical Report: A Hierarchical Deliberative-Reactive System Architecture for Task and Motion Planning in Partially Known Environments
We describe a task and motion planning architecture for highly dynamic s...
research
∙
08/17/2021
Hybrid dynamical type theories for navigation
We present a hybrid dynamical type theory equipped with useful primitive...
research
∙
06/01/2021
Necessary conditions for feedback stabilization and safety
Brockett's necessary condition yields a test to determine whether a syst...
research
∙
11/01/2020
Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments
Complex manipulation tasks, such as rearrangement planning of numerous o...
research
∙
11/01/2020
Technical Report: A New Hopping Controller for Highly Dynamical Bipeds
We present angle of attack control, a novel control strategy for a hip e...
research
∙
05/07/2020
Conley's fundamental theorem for a class of hybrid systems
We establish versions of Conley's (i) fundamental theorem and (ii) decom...
research
∙
02/25/2020
Technical Report: Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback
This paper presents a reactive planning system that enriches the topolog...
research
∙
02/20/2020
Reactive Navigation in Partially Familiar Planar Environments Using Semantic Perceptual Feedback
This paper solves the planar navigation problem by recourse to an online...
research
∙
11/04/2019
Formal composition of hybrid systems
We develop a compositional framework for formal synthesis of hybrid syst...
research
∙
10/29/2019
A Tunably Compliant Origami Mechanism for Dynamically Dexterous Robots
We present an approach to overcoming challenges in dynamical dexterity f...
research
∙
12/20/2018
Iterated Belief Revision Under Resource Constraints: Logic as Geometry
We propose a variant of iterated belief revision designed for settings w...
research
∙
07/23/2018
Technical Report: Reactive Navigation in Partially Known Non-Convex Environments
This paper presents a provably correct method for robot navigation in 2D...
research
∙
02/21/2015
Universal Memory Architectures for Autonomous Machines
We propose a self-organizing memory architecture for perceptual experien...
research
∙
02/05/2015
A Hybrid Systems Model for Simple Manipulation and Self-Manipulation Systems
Rigid bodies, plastic impact, persistent contact, Coulomb friction, and ...
research
∙
04/13/2014
