Jacobian State Augmented Viable Kinematic Safety Filter
Organizations: Manufacturing Robotics and Controls Group within the Manufacturing Science Division, Energy Science & Technology Directorate of the Oak Ridge National Lab.
Abstract
Safety Filters (SF) are leveraged to design certifiably safe controllers, which ensures forward invariance on a defined safe set when the filter is feasible. Predictive Safety Filters (PSF) embed these constraints to a closed-loop model-based optimization method to improve constraint satisfaction, and reduce feasibility loss caused by myopic, one-step filtering. Related viability-based methods emphasize approximating a viability kernel which ensures admissible control for all future time, but requires significant computational expense. This work introduces a Jacobian-based kinematic safety filter leveraging an augmented state variable with task-space velocity and filters task-space acceleration to preserve the feasibility of a low-level filter while enforcing joint position and velocity. The proposed method introduces a nested Quadratic Program (QP) formulation, defines a conservative inner approximation of viability envelope and computes a viable planner online. The method is validated in a simplified 2R planar manipulator simulation environment and shows significant improvement compared to a baseline Control Barrier Function Quadratic Program (CBF-QP) based filter. The experiments highlights the improvements in terms of computation time compared to traditional PSF and Reference Governor approach while also showing significant reduction in feasibility violations. Lastly, a simplified demonstration on a simulated 6-DoF manipulator highlights the potential scalability of the method to higher degree-of-freedom setups.
Figures & tables
| Parameter | Value | |
|---|---|---|
| Gains | [ , ] | [1.5, 1.0] |
| Link Lengths | [0.4, 0.4] (m) | |
| Decay rates | [2.0, 1.0] | |
| Max Time | 12 (s) | |
| Method | Metric | Value |
|---|---|---|
| Without JASF | Minimum | |
| Safety Violations | 0 | |
| VE Violations | 233 | |
| With JASF | Minimum | |
| Safety Violations | 0 | |
| VE Violations | 0 |
| Metric | Without JASF | With JASF |
|---|---|---|
| CBF Violations (Steps) | ||
| VE Violations (Steps) | ||
| Goal dist (m) | ||
| Metric | Baseline CBF | Ref. Gov | NMPC-PSF | JASF |
|---|---|---|---|---|
| VE frac. | ||||
| Sat. frac. | ||||
| min | ||||
| Goal dist. [m] | ||||
| Reached [%] | ||||
| Solve [ s] |
Safety Filtering
Safety filtering intercepts actions or generated content to prevent harm while preserving as much useful behavior as possible.
See all 126 papers