Receding horizon control for persistent monitoring tasks with monitoring count requirements

Autor: Xiaohu Zhao, Yuanyuan Zou, Shaoyuan Li
Jazyk: angličtina
Rok vydání: 2024
Předmět:
Zdroj: IET Control Theory & Applications, Vol 18, Iss 14, Pp 1836-1845 (2024)
Druh dokumentu: article
ISSN: 1751-8652
1751-8644
DOI: 10.1049/cth2.12730
Popis: Abstract This article presents a reachability‐based receding horizon control (RHC) method for addressing persistent monitoring problems with count requirements. An agent is assigned to monitor multiple targets in a given environment to minimize the average uncertainty metric of all targets, while ensuring the monitoring count requirements of specific targets within predetermined time windows. To account for the spatial and temporal constraints in the monitoring requirements, a persistence predicate within the signal temporal logic (STL) specifications is introduced, which incorporates cumulative target state signals to effectively describe the monitoring count constraints. Considering the complexities arising from global time domain information requirements in STL constraints validation, an STL formula segmentation method based on completion progress is proposed. Subsequently, a reachability‐based controller for the agent is developed by solving a short‐term RHC problem while ensuring the satisfaction of the STL formulae. Simulation results are provided to illustrate the performance of proposed method.
Databáze: Directory of Open Access Journals
Externí odkaz: