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...
Main Authors: | , |
---|---|
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 |