一种基于算子的信号时序逻辑方法

Panagiotis Rousseas, Dimos V. Dimarogonas

2026

摘要

本文提出了一种基于可达性价值函数算子的信号时序逻辑新方法，能够处理复杂多嵌套公式，并提供在线控制合成工具。该方法在理论上提取了STL公式满足的充要条件，并通过仿真验证了其表达能力。

Signal Temporal Logicoperator-based approachreachability value functionscontrol synthesisautonomous planning

OTHER

📊 1 引用

Qiang Cui, Chuan Yu, Daoqian Yang 等 5 位作者

Robotics and Computer-Integrated Manufacturing · 2026

OTHER

📊 0 引用

Ke Shang, Xin Jin, Teli Xu 等 7 位作者

Robotics and Computer-Integrated Manufacturing · 2026

OTHER

📊 0 引用

Aryan Chaudhary

Recent Advances in Computer Science and Communications · 2026

OTHER

📊 0 引用

Chuang Shi, Tianming Liu, Ning Xue 等 9 位作者

Aerospace Science and Technology · 2026