TY - JOUR
T1 - Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
AU - Delimpaltadakis, Giannis
AU - Cortes, Jorge
AU - Heemels, W.P.M.H.
PY - 2025/1
Y1 - 2025/1
N2 - Projected
Dynamical Systems (PDSs) form a class of discontinuous constrained dynamical
systems, and have been used widely to solve optimization problems and
variational inequalities. Recently, they have also gained significant attention
for control purposes, such as high-performance integrators, saturated control
and feedback optimization. In this work, we establish that locally Lipschitz
continuous dynamics, involving Control Barrier Functions (CBFs), namely
CBF-based dynamics , approximate PDSs. Specifically, we prove that trajectories
of CBF-based dynamics uniformly converge to trajectories of PDSs, as a
CBF-parameter approaches infinity. Towards this, we also prove that CBF-based
dynamics are perturbations of PDSs, with quantitative bounds on the perturbation.
Our results pave the way to implement discontinuous PDS-based controllers in a
continuous fashion, employing CBFs. We demonstrate this on an example on
synchronverter control. Moreover, our results can be employed to numerically
simulate PDSs, overcoming disadvantages of existing discretization schemes,
such as computing projections to possibly non-convex sets. Finally, this bridge
between CBFs and PDSs may yield other potential benefits, including novel
insights on stability.
AB - Projected
Dynamical Systems (PDSs) form a class of discontinuous constrained dynamical
systems, and have been used widely to solve optimization problems and
variational inequalities. Recently, they have also gained significant attention
for control purposes, such as high-performance integrators, saturated control
and feedback optimization. In this work, we establish that locally Lipschitz
continuous dynamics, involving Control Barrier Functions (CBFs), namely
CBF-based dynamics , approximate PDSs. Specifically, we prove that trajectories
of CBF-based dynamics uniformly converge to trajectories of PDSs, as a
CBF-parameter approaches infinity. Towards this, we also prove that CBF-based
dynamics are perturbations of PDSs, with quantitative bounds on the perturbation.
Our results pave the way to implement discontinuous PDS-based controllers in a
continuous fashion, employing CBFs. We demonstrate this on an example on
synchronverter control. Moreover, our results can be employed to numerically
simulate PDSs, overcoming disadvantages of existing discretization schemes,
such as computing projections to possibly non-convex sets. Finally, this bridge
between CBFs and PDSs may yield other potential benefits, including novel
insights on stability.
KW - Control systems
KW - Dynamical systems
KW - Optimization
KW - Perturbation methods
KW - Power system dynamics
KW - Trajectory
KW - Vehicle dynamics
KW - safety-critical control
KW - discontinuous dynamical systems
KW - Control barrier functions
KW - synchronverters
KW - projected dynamical systems
KW - feedback optimization
KW - nonsmooth dynamics
UR - http://www.scopus.com/inward/record.url?scp=85199009036&partnerID=8YFLogxK
U2 - 10.1109/TAC.2024.3449151
DO - 10.1109/TAC.2024.3449151
M3 - Article
AN - SCOPUS:85199009036
SN - 0018-9286
VL - 70
SP - 681
EP - 688
JO - IEEE Transactions on Automatic Control
JF - IEEE Transactions on Automatic Control
IS - 1
M1 - 10645203
ER -