.png){kind=icon}
返回
Continuous-Time Control Synthesis Under Nested Signal Temporal Logic Specifications
.png){kind=icon}
OA
AI
DOI：10.1109/TRO.2024.3353081.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this work, we propose a novel approach for the continuous-time control synthesis of nonlinear systems under nested signal temporal logic (STL) specifications. While the majority of existing literature focuses on control synthesis for STL specifications without nested temporal operators, addressing nested temporal operators poses a notably more challenging scenario and requires new theoretical advancements. Our approach hinges on the concepts of STL tree (sTLT) and control barrier function (CBF). Specifically, we detail the construction of an sTLT from a given STL formula and a continuous-time dynamical system, the sTLT semantics (i.e., satisfaction condition), and the equivalence or underapproximation relation between sTLT and STL. Leveraging the fact that the satisfaction condition of an sTLT is essentially keeping the state within certain sets during certain time intervals, it provides explicit guidelines for the CBF design. The resulting controller is obtained through the utilization of an online CBF-based program coupled with an event-triggered scheme for online updating the activation time interval of each CBF, with which the correctness of the system behavior can be established by construction. We demonstrate the efficacy of the proposed method for single-integrator and unicycle models under nested STL formulas.
Keyword:
Dynamical systems
Robots
Semantics
Behavioral sciences
Trajectory
Nonlinear systems
Transforms
Continuous-time nonlinear systems
control barrier function (CBF)
control synthesis
signal temporal logic (STL)
期刊
IF:
10.5
论文数:
3.3K
被引数:
2.8W
机构
引用论文
Control Barrier Function Based Quadratic Programs for Safety Critical Systems用于安全关键系统的基于控制障碍函数的二次程序
OAAI
OAAI分享收藏Evolving approaches to integration of computational with experimental chemistry: an example from osmium hydrido (η1/η2-)nitrosyl/nitroxyl chemistry.png)
New J. Chem.
New J. Chem.IF0
PREAI
分享收藏分享收藏Symbolic planning and control of robot motion - Finding the missing pieces of current methods and ideas机器人运动的符号规划和控制-寻找当前方法和思想的缺失部分
PREAI
分享收藏分享收藏
查看更多内容