OTHER
一种基于算子的信号时序逻辑方法
Panagiotis Rousseas, Dimos V. Dimarogonas
- 发表年份
- 2026
- 访问权限
- 开放获取
摘要
本文提出了一种基于可达性价值函数算子的信号时序逻辑新方法，能够处理复杂多嵌套公式，并提供在线控制合成工具。该方法在理论上提取了STL公式满足的充要条件，并通过仿真验证了其表达能力。
关键词
Signal Temporal Logicoperator-based approachreachability value functionscontrol synthesisautonomous planning
相关论文
OTHER
📊 26,957 引用
Statistical Learning Theory
Yuhai Wu, Vladimir Vapnik
1999
OTHER
开放获取📊 20,501 引用
Fractional Differential Equations
Igor Podlubný
2025
OTHER
📊 18,993 引用
Applied Nonlinear Control
Jean-Jacques Slotine, Weiping Li
1991
OTHER
📊 13,277 引用
Genetic Programming: On the Programming of Computers by Means of Natural Selection
John R. Koza
1992