A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917365560639488 |
|---|---|
| author | Tan, Xiao Nanayakkara, Rahal Tabuada, Paulo Ames, Aaron D. |
| author_facet | Tan, Xiao Nanayakkara, Rahal Tabuada, Paulo Ames, Aaron D. |
| contents | State estimation uncertainty is prevalent in real-world applications, hindering the application of safety-critical control. Existing methods address this by strengthening a Control Barrier Function (CBF) condition either to handle actuation errors induced by state uncertainty, or to enforce stricter, more conservative sufficient conditions. In this work, we take a more direct approach and formulate a robust safety filter by analyzing the image of the set of all possible states under the CBF dynamics. We first prove that convexifying this image set does not change the set of possible inputs. Then, by leveraging duality, we propose an equivalent and tractable reformulation for cases where this convex hull can be expressed as a polytope or ellipsoid. Simulation results show the approach in this paper to be less conservative than existing alternatives. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_26999 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties Tan, Xiao Nanayakkara, Rahal Tabuada, Paulo Ames, Aaron D. Systems and Control State estimation uncertainty is prevalent in real-world applications, hindering the application of safety-critical control. Existing methods address this by strengthening a Control Barrier Function (CBF) condition either to handle actuation errors induced by state uncertainty, or to enforce stricter, more conservative sufficient conditions. In this work, we take a more direct approach and formulate a robust safety filter by analyzing the image of the set of all possible states under the CBF dynamics. We first prove that convexifying this image set does not change the set of possible inputs. Then, by leveraging duality, we propose an equivalent and tractable reformulation for cases where this convex hull can be expressed as a polytope or ellipsoid. Simulation results show the approach in this paper to be less conservative than existing alternatives. |
| title | A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2603.26999 |