English
Related papers

Related papers: Real-time Safety Index Adaptation for Parameter-va…

200 papers

In this paper, we study a safe control design for dynamical systems in the presence of uncertainty in a dynamical environment. The worst-case error approach is considered to formulate robust Control Barrier Functions (CBFs) in an…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Vahid Hamdipoor , Nader Meskin , Christos G. Cassandras

Reasoning models have demonstrated remarkable capabilities in complex reasoning tasks. However, ensuring their safety against adversarial jailbreak prompts remains a critical challenge. Due to the covert and deceptive nature of such…

Computation and Language · Computer Science 2026-01-06 Yuhang Wang , Yanxu Zhu , Dongyuan Lu , Jitao Sang

This paper addresses the problem of optimally controlling nonlinear systems with norm-bounded disturbances and parametric uncertainties while robustly satisfying constraints. The proposed approach jointly optimizes a nominal nonlinear…

Systems and Control · Electrical Eng. & Systems 2023-09-14 Antoine P. Leeman , Jerome Sieber , Samir Bennani , Melanie N. Zeilinger

Gradient algorithms are classical in adaptive control and parameter estimation. For instantaneous quadratic cost functions they lead to a linear time-varying dynamic system that converges exponentially under persistence of excitation…

Optimization and Control · Mathematics 2020-10-06 Juan G. Rueda-Escobedo , Jaime A. Moreno

In this paper, we will consider a class of continuous-time stochastic control systems with both unknown nonlinear structure and unknown disturbances, and investigate the capability of the classical proportional-integral-derivative(PID)…

Systems and Control · Electrical Eng. & Systems 2023-03-21 Cheng Zhao , Shuo Yuan

A nonovershooting finite-time control design for linear multi-input system is proposed by upgrading a linear (asymptotic) nonovershooting stabilizer to a homogeneous one. Robustness of the safety and stability properties is analyzed using…

Optimization and Control · Mathematics 2023-05-17 Andrey Polyakov , Miroslav Krstic

A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over the infinite time horizon. We present a…

Logic in Computer Science · Computer Science 2021-06-01 Qiuye Wang , Mingshuai Chen , Bai Xue , Naijun Zhan , Joost-Pieter Katoen

The objective of this research is to enable safety-critical systems to simultaneously learn and execute optimal control policies in a safe manner to achieve complex autonomy. Learning optimal policies via trial and error, i.e., traditional…

Systems and Control · Electrical Eng. & Systems 2022-04-05 S M Nahid Mahmud , Moad Abudia , Scott A Nivison , Zachary I. Bell , Rushikesh Kamalapurkar

This paper focuses on the controller synthesis for unknown, nonlinear systems while ensuring safety constraints. Our approach consists of two steps, a learning step that uses Gaussian processes and a controller synthesis step that is based…

Systems and Control · Electrical Eng. & Systems 2020-10-13 Pushpak Jagtap , George J. Pappas , Majid Zamani

Merely pursuing performance may adversely affect the safety, while a conservative policy for safe exploration will degrade the performance. How to balance the safety and performance in learning-based control problems is an interesting yet…

Systems and Control · Electrical Eng. & Systems 2025-01-28 Xinyang Wang , Hongwei Zhang , Shimin Wang , Wei Xiao , Martin Guay

In this paper, we propose a novel safety-critical control framework for a chain of integrators subject to both matched and mismatched perturbations. The core of our approach is a linear, time-varying state-feedback design that…

Systems and Control · Electrical Eng. & Systems 2025-10-01 Imtiaz Ur Rehman Moussa Labbadi , Amine Abadi , Lew Lew Yan Voon

Safety assurance is critical in the planning and control of robotic systems. For robots operating in the real world, the safety-critical design often needs to explicitly address uncertainties and the pre-computed guarantees often rely on…

Robotics · Computer Science 2024-07-09 Hao Zhou , Yanze Zhang , Wenhao Luo

We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dynamical equations with inputs, evolving over a continuous…

Reach-avoid analysis is fundamental to reasoning about the safety and goal-reaching behavior of dynamical systems, and serves as a foundation for specifying and verifying more complex control objectives. This paper introduces a reach-avoid…

Systems and Control · Electrical Eng. & Systems 2026-03-30 Rayan Mazouz , Luca Laurenti , Morteza Lahijanian

This paper studies the problem of control strategy synthesis for dynamical systems with differential constraints to fulfill a given reachability goal while satisfying a set of safety rules. Particular attention is devoted to goals that…

System level synthesis enables improved robust MPC formulations by allowing for joint optimization of the nominal trajectory and controller. This paper introduces a tailored algorithm for solving the corresponding disturbance feedback…

Optimization and Control · Mathematics 2024-09-05 Antoine P. Leeman , Johannes Köhler , Florian Messerer , Amon Lahr , Moritz Diehl , Melanie N. Zeilinger

While the identification of nonlinear dynamical systems is a fundamental building block of model-based reinforcement learning and feedback control, its sample complexity is only understood for systems that either have discrete states and…

Machine Learning · Statistics 2020-06-19 Horia Mania , Michael I. Jordan , Benjamin Recht

Reinforcement learning (RL) is an area of significant research interest, and safe RL in particular is attracting attention due to its ability to handle safety-driven constraints that are crucial for real-world applications. This work…

Systems and Control · Electrical Eng. & Systems 2023-05-26 Song Bo , Bernard T. Agyeman , Xunyuan Yin , Jinfeng Liu

We present a Riccati-based framework for safety-critical nonlinear control that integrates the barrier states (BaS) methodology with the State-Dependent Riccati Equation (SDRE) approach. The BaS formulation embeds safety constraints into…

Systems and Control · Electrical Eng. & Systems 2026-03-24 Hassan Almubarak , Maitham F. AL-Sunni , Justin T. Dubbin , Nader Sadegh , John M. Dolan , Evangelos A. Theodorou

Online identification of post-contingency transient stability is essential in power system control, as it facilitates the grid operator to decide and coordinate system failure correction control actions. Utilizing machine learning methods…

Systems and Control · Computer Science 2017-05-23 James J. Q. Yu , David J. Hill , Albert Y. S. Lam , Jiatao Gu , Victor O. K. Li
‹ Prev 1 8 9 10 Next ›