dorsal/arxiv
View SchemaSafe Navigation under Uncertain Obstacle Dynamics using Control Barrier Functions and Constrained Convex Generators
| Authors | Hugo Matias, Daniel Silvestre |
|---|---|
| Categories | |
| ArXiv ID | 2601.07715vv1 |
| URL | https://arxiv.org/abs/2601.07715 |
| License | http://creativecommons.org/licenses/by/4.0/ |
Abstract
This paper presents a sampled-data framework for the safe navigation of controlled agents in environments cluttered with obstacles governed by uncertain linear dynamics. Collision-free motion is achieved by combining Control Barrier Function (CBF)-based safety filtering with set-valued state estimation using Constrained Convex Generators (CCGs). At each sampling time, a CCG estimate of each obstacle is obtained using a finite-horizon guaranteed estimation scheme and propagated over the sampling interval to obtain a CCG-valued flow that describes the estimated obstacle evolution. However, since CCGs are defined indirectly - as an affine transformation of a generator set subject to equality constraints, rather than as a sublevel set of a scalar function - converting the estimated obstacle flows into CBFs is a nontrivial task. One of the main contributions of this paper is a procedure to perform this conversion, ultimately yielding a CBF via a convex optimization problem whose validity is established by the Implicit Function Theorem. The resulting obstacle-specific CBFs are then merged into a single CBF that is used to design a safe controller through the standard Quadratic Program (QP)-based approach. Since CCGs support Minkowski sums, the proposed framework also naturally handles rigid-body agents and generalizes existing CBF-based rigid-body navigation designs to arbitrary agent and obstacle geometries. While the main contribution is general, the paper primarily focuses on agents with first-order control-affine dynamics and second-order strict-feedback dynamics. Simulation examples demonstrate the effectiveness of the proposed method.
{
"annotation_id": "e5ba811a-8862-4fc3-b26f-65f907f2348e",
"date_created": "2026-02-17T05:53:12.528000Z",
"date_modified": "2026-02-17T05:53:12.528000Z",
"file_hash": "dc71357e710a91ce1e01925ef2bcae2bb0e7064703bd7572a4828644968d9f8a",
"private": false,
"record": {
"abstract": "This paper presents a sampled-data framework for the safe navigation of controlled agents in environments cluttered with obstacles governed by uncertain linear dynamics. Collision-free motion is achieved by combining Control Barrier Function (CBF)-based safety filtering with set-valued state estimation using Constrained Convex Generators (CCGs). At each sampling time, a CCG estimate of each obstacle is obtained using a finite-horizon guaranteed estimation scheme and propagated over the sampling interval to obtain a CCG-valued flow that describes the estimated obstacle evolution. However, since CCGs are defined indirectly - as an affine transformation of a generator set subject to equality constraints, rather than as a sublevel set of a scalar function - converting the estimated obstacle flows into CBFs is a nontrivial task. One of the main contributions of this paper is a procedure to perform this conversion, ultimately yielding a CBF via a convex optimization problem whose validity is established by the Implicit Function Theorem. The resulting obstacle-specific CBFs are then merged into a single CBF that is used to design a safe controller through the standard Quadratic Program (QP)-based approach. Since CCGs support Minkowski sums, the proposed framework also naturally handles rigid-body agents and generalizes existing CBF-based rigid-body navigation designs to arbitrary agent and obstacle geometries. While the main contribution is general, the paper primarily focuses on agents with first-order control-affine dynamics and second-order strict-feedback dynamics. Simulation examples demonstrate the effectiveness of the proposed method.",
"arxiv_id": "2601.07715",
"authors": [
"Hugo Matias",
"Daniel Silvestre"
],
"categories": [
"eess.SY",
"cs.SY"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"title": "Safe Navigation under Uncertain Obstacle Dynamics using Control Barrier Functions and Constrained Convex Generators",
"url": "https://arxiv.org/abs/2601.07715",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "12edf6a2-0e4f-45b5-9b7b-d9ac32567f28",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}