English
Related papers

Related papers: Taylor-Lagrange Control for Safety-Critical System…

200 papers

A combination of control Lyapunov functions (CLFs) and control barrier functions (CBFs) forms an efficient framework for addressing control challenges in safe stabilization. In our previous research, we developed an analytical control…

Systems and Control · Electrical Eng. & Systems 2023-12-06 Ming Li , Zhiyong Sun

Finding a control Lyapunov function (CLF) in a dynamical system with a controller is an effective way to guarantee stability, which is a crucial issue in safety-concerned applications. Recently, deep learning models representing CLFs have…

Machine Learning · Computer Science 2025-11-04 Yupu Lu , Shijie Lin , Hao Xu , Zeqing Zhang , Jia Pan

In this paper, we propose a quadratic programming-based filter for safe and stable controller design, via a Control Barrier Function (CBF) and a Control Lyapunov Function (CLF). Our method guarantees safety and local asymptotic stability…

Systems and Control · Electrical Eng. & Systems 2024-07-02 Han Wang , Kostas Margellos , Antonis Papachristodoulou

Control Lyapunov functions (CLFs) and Control Barrier Functions (CBFs) have been used to develop provably safe controllers by means of quadratic programs (QPs). This framework guarantees safety in the form of trajectory invariance with…

Systems and Control · Electrical Eng. & Systems 2026-03-17 Matheus F. Reis , A. Pedro Aguiar

This paper investigates the control synthesis for continuous-time uncertain systems under nested Signal Temporal Logic (STL) specifications containing nested temporal operators. Control Barrier Functions (CBFs) are utilized herein to encode…

Systems and Control · Electrical Eng. & Systems 2026-05-22 Yuzhang Peng , Jiaqi Yan , Wei Wang

Many modern nonlinear control methods aim to endow systems with guaranteed properties, such as stability or safety, and have been successfully applied to the domain of robotics. However, model uncertainty remains a persistent challenge,…

Robotics · Computer Science 2020-11-20 Andrew J. Taylor , Victor D. Dorobantu , Hoang M. Le , Yisong Yue , Aaron D. Ames

This paper proposes a safety-critical control design approach for nonlinear control affine systems in the presence of matched and unmatched uncertainties. Our constructive framework couples control barrier function (CBF) theory with a new…

Systems and Control · Electrical Eng. & Systems 2025-02-03 Ersin Das , Joel W. Burdick

This paper presents a novel approach to sustain transient chaos in the Lorenz system through the estimation of safety functions using a transformer-based model. Unlike classical methods that rely on iterative computations, the proposed…

Chaotic Dynamics · Physics 2025-04-01 David Valle , Rubén Capeans , Alexandre Wagemakers , Miguel A. F. Sanjuán

Adaptive control has focused on online control of dynamic systems in the presence of parametric uncertainties, with solutions guaranteeing stability and control performance. Safety, a related property to stability, is becoming increasingly…

Systems and Control · Electrical Eng. & Systems 2023-09-12 Johannes Autenrieb , Anuradha M. Annaswamy

This paper extends control barrier functions (CBFs) to high order control barrier functions (HOCBFs) that can be used for high relative degree constraints. The proposed HOCBFs are more general than recently proposed (exponential) HOCBFs. We…

Systems and Control · Computer Science 2019-03-15 Wei Xiao , Calin Belta

We develop an optimization-free framework for safe stabilization of single-input control-affine nonlinear systems with a given control Lyapunov function (CLF) and a given control barrier function (CBF), where the desired equilibrium lies in…

Systems and Control · Electrical Eng. & Systems 2026-03-25 Bo Wang , Miroslav Krstic

We propose a real-time control strategy that combines self-triggered control with Control Lyapunov Functions (CLF) and Control Barrier Functions (CBF). Similar to related works proposing CLF-CBF-based controllers, the computation of the…

Systems and Control · Computer Science 2019-03-12 Guang Yang , Calin Belta , Roberto Tron

This paper focuses on safety filters designed based on Control Barrier Functions (CBFs): these are modifications of a nominal stabilizing controller typically utilized in safety-critical control applications to render a given subset of…

Optimization and Control · Mathematics 2025-01-17 Pol Mestres , Yiting Chen , Emiliano Dall'anese , Jorge Cortés

This paper studies safety and feasibility guarantees for systems with tight control bounds. It has been shown that stabilizing an affine control system while optimizing a quadratic cost and satisfying state and control constraints can be…

Optimization and Control · Mathematics 2024-09-10 Shuo Liu , Wei Xiao , Calin A. Belta

Control Lyapunov functions (CLFs) and control barrier functions (CBFs) have been used to develop provably safe controllers by means of quadratic programs (QPs), guaranteeing safety in the form of trajectory invariance with respect to a…

Systems and Control · Electrical Eng. & Systems 2025-03-21 Matheus F. Reis , A. Pedro Aguiar , Paulo Tabuada

This paper establishes relationships between continuous-time, receding horizon, nonlinear model predictive control (MPC) and control Lyapunov and control barrier functions (CLF/CBF). We show that, if the cost function "behaves well" for…

Optimization and Control · Mathematics 2025-09-29 Jan Olucak , Arthur Castello B. de Oliveira , Torbjørn Cunis

We present a safety-critical controller for the problem of stabilization for force-controlled nonholonomic mobile robots. The proposed control law is based on the constructions of control Lyapunov functions (CLFs) and control barrier…

Systems and Control · Electrical Eng. & Systems 2024-12-04 Tianyu Han , Bo Wang

Reinforcement learning (RL) can improve control performance by seeking to learn optimal control policies in the end-use environment for vehicles and other systems. To accomplish this, RL algorithms need to sufficiently explore the state and…

Systems and Control · Electrical Eng. & Systems 2024-05-21 Habtamu Hailemichael , Beshah Ayalew , Andrej Ivanco

This paper develops a Closed-Loop Error Learning Control (CLELC) algorithm for feedback linearizable systems with experimental validation on a mobile robot. Traditional feedback and feedforward controllers are designed based on the nominal…

Robotics · Computer Science 2021-03-17 Erkan Kayacan

The property that every control system should posses is stability, which translates into safety in real-life applications. A central tool in systems theory for synthesizing control laws that achieve stability are control Lyapunov functions…

Other Computer Science · Computer Science 2010-04-01 M. Lazar