Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots

01/21/2022
by   Jason J. Choi, et al.
0

Contact-rich robotic systems, such as legged robots and manipulators, are often represented as hybrid systems. However, the stability analysis and region-of-attraction computation for these systems are often challenging because of the discontinuous state changes upon contact (also referred to as state resets). In this work, we cast the computation of region-ofattraction as a Hamilton-Jacobi (HJ) reachability problem. This enables us to leverage HJ reachability tools that are compatible with general nonlinear system dynamics, and can formally deal with state and input constraints as well as bounded disturbances. Our main contribution is the generalization of HJ reachability framework to account for the discontinuous state changes originating from state resets, which has remained a challenge until now. We apply our approach for computing region-of-attractions for several underactuated walking robots and demonstrate that the proposed approach can (a) recover a bigger region-of-attraction than state-of-the-art approaches, (b) handle state resets, nonlinear dynamics, external disturbances, and input constraints, and (c) also provides a stabilizing controller for the system that can leverage the state resets for enhancing system stability.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/26/2023

Formal Verification of Robotic Contact Tasks via Reachability Analysis

Verifying the correct behavior of robots in contact tasks is challenging...
research
09/19/2023

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions

Hybrid dynamical systems with non-linear dynamics are one of the most ge...
research
11/04/2020

DeepReach: A Deep Learning Approach to High-Dimensional Reachability

Hamilton-Jacobi (HJ) reachability analysis is an important formal verifi...
research
01/01/2020

Local Stability of PD Controlled Bipedal Walking Robots

We establish stability results for PD tracking control laws in bipedal w...
research
03/20/2019

Walking with Confidence: Safety Regulation for Full Order Biped Models

Safety guarantees are valuable in the control of walking robots, as fall...
research
04/17/2019

Contact Planning for the ANYmal Quadruped Robot using an Acyclic Reachability-Based Planner

Despite the great progress in quadrupedal robotics during the last decad...
research
10/28/2020

DeepQ Stepper: A framework for reactive dynamic walking on uneven terrain

Reactive stepping and push recovery for biped robots is often restricted...

Please sign up or login with your details

Forgot password? Click here to reset