A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control Merging

This article presents a proactive approach to resolving the conflict between safety and optimality for continuous-time (CT) safety-critical systems with unknown dynamics. The presented method guarantees safety and performance specifications by combining two controllers: a safe controller and an opti...

Full description

Bibliographic Details
Main Authors: Marjan Khaledi, Bahare Kiumarsi
Format: Article
Language:English
Published: IEEE 2024-01-01
Series:IEEE Open Journal of Control Systems
Subjects:
Online Access:https://ieeexplore.ieee.org/document/10443513/
_version_ 1797234433518993408
author Marjan Khaledi
Bahare Kiumarsi
author_facet Marjan Khaledi
Bahare Kiumarsi
author_sort Marjan Khaledi
collection DOAJ
description This article presents a proactive approach to resolving the conflict between safety and optimality for continuous-time (CT) safety-critical systems with unknown dynamics. The presented method guarantees safety and performance specifications by combining two controllers: a safe controller and an optimal controller. On the one hand, the safe controller is designed using only input and state data measurements and without requiring the state derivative data, which are typically required in data-driven control of CT systems. State derivative measurement is costly, and its approximation introduces noise to the system. On the other hand, the optimal controller is learned using a low-complexity one-shot optimization problem, which again does not rely on prior knowledge of the system dynamics and state derivative data. Compared to existing optimal control learning methods for CT systems, which are typically iterative, a one-shot optimization is considerably more sample-efficient and computationally efficient. The share of optimal and safe controllers in the overall control policy is obtained by solving a computationally efficient optimization problem involving a scalar variable in a data-driven manner. It is shown that the contribution of the safe controller dominates that of the optimal controller when the system's state is close to the safety boundaries, and this domination drops as the system trajectories move away from the safety boundaries. In this case, the optimal controller contributes more to the overall controller. The feasibility and stability of the proposed controller are shown. Finally, the simulation results show the efficacy of the proposed approach.
first_indexed 2024-04-24T16:31:59Z
format Article
id doaj.art-c7a8a7d1b4d74a1982923c2c7350c56e
institution Directory Open Access Journal
issn 2694-085X
language English
last_indexed 2024-04-24T16:31:59Z
publishDate 2024-01-01
publisher IEEE
record_format Article
series IEEE Open Journal of Control Systems
spelling doaj.art-c7a8a7d1b4d74a1982923c2c7350c56e2024-03-29T23:01:00ZengIEEEIEEE Open Journal of Control Systems2694-085X2024-01-01311812710.1109/OJCSYS.2024.336885010443513A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control MergingMarjan Khaledi0https://orcid.org/0009-0006-7304-5156Bahare Kiumarsi1https://orcid.org/0000-0002-9701-8375Department of Electrical and Computer Engineering, Michigan State University, East Lansing, MI, USADepartment of Electrical and Computer Engineering, Michigan State University, East Lansing, MI, USAThis article presents a proactive approach to resolving the conflict between safety and optimality for continuous-time (CT) safety-critical systems with unknown dynamics. The presented method guarantees safety and performance specifications by combining two controllers: a safe controller and an optimal controller. On the one hand, the safe controller is designed using only input and state data measurements and without requiring the state derivative data, which are typically required in data-driven control of CT systems. State derivative measurement is costly, and its approximation introduces noise to the system. On the other hand, the optimal controller is learned using a low-complexity one-shot optimization problem, which again does not rely on prior knowledge of the system dynamics and state derivative data. Compared to existing optimal control learning methods for CT systems, which are typically iterative, a one-shot optimization is considerably more sample-efficient and computationally efficient. The share of optimal and safe controllers in the overall control policy is obtained by solving a computationally efficient optimization problem involving a scalar variable in a data-driven manner. It is shown that the contribution of the safe controller dominates that of the optimal controller when the system's state is close to the safety boundaries, and this domination drops as the system trajectories move away from the safety boundaries. In this case, the optimal controller contributes more to the overall controller. The feasibility and stability of the proposed controller are shown. Finally, the simulation results show the efficacy of the proposed approach.https://ieeexplore.ieee.org/document/10443513/Control barrier functions (CBFs)data-driven initiative controlleroptimalitysafe controlunknown systems
spellingShingle Marjan Khaledi
Bahare Kiumarsi
A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control Merging
IEEE Open Journal of Control Systems
Control barrier functions (CBFs)
data-driven initiative controller
optimality
safe control
unknown systems
title A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control Merging
title_full A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control Merging
title_fullStr A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control Merging
title_full_unstemmed A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control Merging
title_short A Computationally-Efficient Data-Driven Safe Optimal Algorithm Through Control Merging
title_sort computationally efficient data driven safe optimal algorithm through control merging
topic Control barrier functions (CBFs)
data-driven initiative controller
optimality
safe control
unknown systems
url https://ieeexplore.ieee.org/document/10443513/
work_keys_str_mv AT marjankhaledi acomputationallyefficientdatadrivensafeoptimalalgorithmthroughcontrolmerging
AT baharekiumarsi acomputationallyefficientdatadrivensafeoptimalalgorithmthroughcontrolmerging
AT marjankhaledi computationallyefficientdatadrivensafeoptimalalgorithmthroughcontrolmerging
AT baharekiumarsi computationallyefficientdatadrivensafeoptimalalgorithmthroughcontrolmerging