The increasing complexity of control systems necessitates control laws t...
Connected automated vehicles have shown great potential to improve the
e...
Selecting robot design parameters can be challenging since these paramet...
The safety-critical control of robotic systems often must account for
mu...
Input-to-State Stability (ISS) is fundamental in mathematically quantify...
Efficient methods to provide sub-optimal solutions to non-convex optimiz...
This paper presents a safety-critical approach to the coordinated contro...
Uneven terrain necessarily transforms periodic walking into a non-period...
Leveraging recent developments in black-box risk-aware verification, we
...
Guaranteeing safe behavior on complex autonomous systems – from cars to
...
Many approaches to grasp synthesis optimize analytic quality metrics tha...
We propose an adversarial, time-varying test-synthesis procedure for
saf...
Recent advances in safety-critical risk-aware control are predicated on
...
The aim of this work is to define a planner that enables robust legged
l...
This paper presents a layered control approach for real-time trajectory
...
We study automated test generation for verifying discrete decision-makin...
Ankle push-off largely contributes to limb energy generation in human
wa...
Achieving stable hopping has been a hallmark challenge in the field of
d...
The ability to generate robust walking gaits on bipedal robots is key to...
This paper presents a framework for synthesizing bipedal robotic walking...
Parameter tuning for robotic systems is a time-consuming and challenging...
The weight, space, and power limitations of small aerial vehicles often
...
This work presents a theoretical framework for the safety-critical contr...
Balancing safety and performance is one of the predominant challenges in...
Safe longitudinal control is discussed for a connected automated truck
t...
Recent advances allow for the automation of food preparation in
high-thr...
The dramatic increase of autonomous systems subject to variable environm...
This work presents Neural Gaits, a method for learning dynamic walking g...
Control Barrier Functions (CBFs) have been demonstrated to be a powerful...
The ability to generate dynamic walking in real-time for bipedal robots ...
With the increasing prevalence of complex vision-based sensing methods f...
We propose a method for training ordinary differential equations by usin...
This paper details the theory and implementation behind practically ensu...
In this letter, the authors propose a two-step approach to evaluate and
...
Bringing dynamic robots into the wild requires a tenuous balance between...
Endowing nonlinear systems with safe behavior is increasingly important ...
This paper considers centralized mission-planning for a heterogeneous
mu...
This paper presents a framework for the safety-critical control of robot...
Motion planning for autonomous robots and vehicles in presence of
uncont...
Generating provably stable walking gaits that yield natural locomotion w...
A large class of decision making under uncertainty problems can be descr...
The ability to realize nonlinear controllers with formal guarantees on
d...
Functional autonomous systems often realize complex tasks by utilizing s...
Lower-limb prosthesis wearers are more prone to fall than non-amputees.
...
This paper combines episodic learning and control barrier functions in t...
We consider the stochastic shortest path planning problem in MDPs, i.e.,...
We present a straightforward and efficient way to estimate dynamics mode...
Experimental demonstration of complex robotic behaviors relies heavily o...
We consider the problem of designing policies for Markov decision proces...
Modern nonlinear control theory seeks to endow systems with properties s...