4,864 research outputs found
A geometric approach to three-dimensional hipped bipedal robotic walking
This paper presents a control law that results in stable walking for a three-dimensional bipedal robot with a hip. To obtain this control law, we utilize techniques from geometric reduction, and specifically a variant of Routhian reduction termed functional Routhian reduction, to effectively decouple the dynamics of the three-dimensional biped into its sagittal and lateral components. Motivated by the decoupling afforded by functional Routhian reduction, the control law we present is obtained by combining three separate control laws: the first shapes the potential energy of the sagittal dynamics of the biped to obtain stable walking gaits when it is constrained to the sagittal plane, the second shapes the total energy of the walker so that functional Routhian reduction can be applied to decoupling the dynamics of the walker for certain initial conditions, and the third utilizes an output zeroing controller to stabilize to the surface defining these initial conditions. We numerically verify that this method results in stable walking, and we discuss certain attributes of this walking gait
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions
A multi-agent partially observable Markov decision process (MPOMDP) is a
modeling paradigm used for high-level planning of heterogeneous autonomous
agents subject to uncertainty and partial observation. Despite their modeling
efficiency, MPOMDPs have not received significant attention in safety-critical
settings. In this paper, we use barrier functions to design policies for
MPOMDPs that ensure safety. Notably, our method does not rely on discretization
of the belief space, or finite memory. To this end, we formulate sufficient and
necessary conditions for the safety of a given set based on discrete-time
barrier functions (DTBFs) and we demonstrate that our formulation also allows
for Boolean compositions of DTBFs for representing more complicated safe sets.
We show that the proposed method can be implemented online by a sequence of
one-step greedy algorithms as a standalone safe controller or as a
safety-filter given a nominal planning policy. We illustrate the efficiency of
the proposed methodology based on DTBFs using a high-fidelity simulation of
heterogeneous robots.Comment: 8 pages and 4 figure
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
Safety critical systems involve the tight coupling between potentially
conflicting control objectives and safety constraints. As a means of creating a
formal framework for controlling systems of this form, and with a view toward
automotive applications, this paper develops a methodology that allows safety
conditions -- expressed as control barrier functions -- to be unified with
performance objectives -- expressed as control Lyapunov functions -- in the
context of real-time optimization-based controllers. Safety conditions are
specified in terms of forward invariance of a set, and are verified via two
novel generalizations of barrier functions; in each case, the existence of a
barrier function satisfying Lyapunov-like conditions implies forward invariance
of the set, and the relationship between these two classes of barrier functions
is characterized. In addition, each of these formulations yields a notion of
control barrier function (CBF), providing inequality constraints in the control
input that, when satisfied, again imply forward invariance of the set. Through
these constructions, CBFs can naturally be unified with control Lyapunov
functions (CLFs) in the context of a quadratic program (QP); this allows for
the achievement of control objectives (represented by CLFs) subject to
conditions on the admissible states of the system (represented by CBFs). The
mediation of safety and performance through a QP is demonstrated on adaptive
cruise control and lane keeping, two automotive control problems that present
both safety and performance considerations coupled with actuator bounds
Barrier Functions for Multiagent-POMDPs with DTL Specifications
Multi-agent partially observable Markov decision processes (MPOMDPs) provide a framework to represent heterogeneous autonomous agents subject to uncertainty and partial observation. In this paper, given a nominal policy provided by a human operator or a conventional planning method, we propose a technique based on barrier functions to design a minimally interfering safety-shield ensuring satisfaction of high-level specifications in terms of linear distribution temporal logic (LDTL). To this end, we use sufficient and necessary conditions for the invariance of a given set based on discrete-time barrier functions (DTBFs) and formulate sufficient conditions for finite time DTBF to study finite time convergence to a set. We then show that different LDTL mission/safety specifications can be cast as a set of invariance or finite time reachability problems. We demonstrate that the proposed method for safety-shield synthesis can be implemented online by a sequence of one-step greedy algorithms. We demonstrate the efficacy of the proposed method using experiments involving a team of robots
Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs
This paper presents a novel method for directly incorporating user-defined
control input saturations into the calculation of a control Lyapunov function
(CLF)-based walking controller for a biped robot. Previous work by the authors
has demonstrated the effectiveness of CLF controllers for stabilizing periodic
gaits for biped walkers, and the current work expands on those results by
providing a more effective means for handling control saturations. The new
approach, based on a convex optimization routine running at a 1 kHz control
update rate, is useful not only for handling torque saturations but also for
incorporating a whole family of user-defined constraints into the online
computation of a CLF controller. The paper concludes with an experimental
implementation of the main results on the bipedal robot MABEL
Safe Multi-Agent Interaction through Robust Control Barrier Functions with Learned Uncertainties
Robots operating in real world settings must navigate and maintain safety while interacting with many heterogeneous agents and obstacles. Multi-Agent Control Barrier Functions (CBF) have emerged as a computationally efficient tool to guarantee safety in multi-agent environments, but they assume perfect knowledge of both the robot dynamics and other agents' dynamics. While knowledge of the robot's dynamics might be reasonably well known, the heterogeneity of agents in real-world environments means there will always be considerable uncertainty in our prediction of other agents' dynamics. This work aims to learn high-confidence bounds for these dynamic uncertainties using Matrix-Variate Gaussian Process models, and incorporates them into a robust multi-agent CBF framework. We transform the resulting min-max robust CBF into a quadratic program, which can be efficiently solved in real time. We verify via simulation results that the nominal multi-agent CBF is often violated during agent interactions, whereas our robust formulation maintains safety with a much higher probability and adapts to learned uncertainties
2D bipedal walking with knees and feet: A hybrid control approach
In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-like walking. The presence of feet results in periods of full actuation and periods of underactuation during the course of a step. Properties of each of these phases of walking are utilized in order to achieve a stable walking gait. In particular, we will show that using controlled symmetries in the fully-actuated domains coupled with ÂżpartialÂż controlled symmetries and local ankle control laws in the underactuated domains yields stable walking; this result is possible due to the amount of time which the biped spends in the fully-actuated domains. The paper concludes with simulation results along with a comparison of these results to human walking data
3D bipedal walking with knees and feet: A hybrid geometric approach
Motivated by the goal of obtaining more-anthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. The main observation of this paper is that functional Routhian Reduction can be used to extend two-dimensional walking to three dimensions-even in the presence of periods of underactuation-by decoupling the sagittal and coronal dynamics of the 3D biped. Specifically, we assume the existence of a control law that yields stable walking for the 2D sagittal component of the 3D biped. The main result of the paper is that utilizing this controller together with “reduction control laws” yields walking in three dimensions. This result is supported through simulation
Human Preference-Based Learning for High-dimensional Optimization of Exoskeleton Walking Gaits
Optimizing lower-body exoskeleton walking gaits for user comfort requires understanding users’ preferences over a high-dimensional gait parameter space. However, existing preference-based learning methods have only explored low-dimensional domains due to computational limitations. To learn user preferences in high dimensions, this work presents LINECOSPAR, a human-in-the-loop preference-based framework that enables optimization over many parameters by iteratively exploring one-dimensional subspaces. Additionally, this work identifies gait attributes that characterize broader preferences across users. In simulations and human trials, we empirically verify that LINECOSPAR is a sample-efficient approach for high-dimensional preference optimization. Our analysis of the experimental data reveals a correspondence between human preferences and objective measures of dynamicity, while also highlighting differences in the utility functions underlying individual users’ gait preferences. This result has implications for exoskeleton gait synthesis, an active field with applications to clinical use and patient rehabilitation
- …