Multi-rate control design leveraging control barrier functions and model predictive control policies

U Rosolia, AD Ames - IEEE Control Systems Letters, 2020 - ieeexplore.ieee.org
In this letter we present a multi-rate control architecture for safety critical systems. We
consider a high level planner and a low level controller which operate at different …

Computationally efficient safe reinforcement learning for power systems

D Tabas, B Zhang - 2022 American Control Conference (ACC), 2022 - ieeexplore.ieee.org
We propose a computationally efficient approach to safe reinforcement learning (RL) for
frequency regulation in power systems with high levels of variable renewable energy …

Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts

S Liu, A Saoud, P Jagtap… - 2022 IEEE 61st …, 2022 - ieeexplore.ieee.org
In this paper, we focus on the problem of compositional synthesis of controllers enforcing
signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected …

Generalization of safe optimal control actions on networked multiagent systems

L Song, N Wan, A Gahlawat, C Tao… - IEEE transactions on …, 2022 - ieeexplore.ieee.org
In this article, we propose a unified framework to instantly generate a safe optimal control
action for a new task from existing controllers on multiagent systems. The control action …

Towards a theory of control architecture: A quantitative framework for layered multi-rate control

N Matni, AD Ames, JC Doyle - arxiv preprint arxiv:2401.15185, 2024 - arxiv.org
This paper focuses on the need for a rigorous theory of layered control architectures (LCAs)
for complex engineered and natural systems, such as power systems, communication …

High‐order control barrier functions‐based optimization control for time‐varying nonlinear systems with full‐state constraints: A dynamic sub‐safe set approach

H Wang, J Peng, J Xu, F Zhang… - International Journal of …, 2023 - Wiley Online Library
This study focuses on the problems of safety control and stabilization for time‐varying
nonlinear systems in the presence of time‐varying full‐state constraints. High‐order control …

Composition of behavioural assume–guarantee contracts

BM Shali, A van der Schaft… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
The growing complexity of modern engineering systems necessitates a method for design
and analysis that is inherently modular. Methods based on using contracts for system design …

Invariant sets for assume-guarantee contracts

A Girard, A Iovine, S Benberkane - 2022 IEEE 61st Conference …, 2022 - ieeexplore.ieee.org
Contract theory is a powerful tool to reason on systems that are interacting with an external
environment, possibly made of other systems. Formally, a contract is usually given by …

Formally verified self-adaptation of an incubator digital twin

T Wright, C Gomes, J Woodcock - International Symposium on Leveraging …, 2022 - Springer
The performance and reliability of Cyber-Physical Systems are increasingly aided through
the use of digital twins, which mirror the static and dynamic behaviour of a Cyber-Physical …

A unified framework for online data-driven predictive control with robust safety guarantees

A Vahidi-Moghaddam, K Chen, K Zhang, Z Li… - arxiv preprint arxiv …, 2023 - arxiv.org
Despite great successes, model predictive control (MPC) relies on an accurate dynamical
model and requires high onboard computational power, impeding its wider adoption in …