arXiv cs.RO 机器人学· Ryan Matheu, John S. Baras, Calin Belta·· 2 天前AI 评分45
三值逻辑编码的时序行为树及其在控制综合中的应用
Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
AI 导读
研究者将时序行为树（TBT）重构为三值信号时序逻辑（STL）形式，引入第三真值 Unknown 以刻画轨迹既未完全满足也未违反规范的情形，并为部分轨迹 STL 与 TBT 提出混合整数线性编码。该编码通过混合整数优化为线性动力系统生成构造即正确的控制策略，论文已获 IEEE CDC 2026 接收。
来源：arXiv cs.RO 机器人学 · arxiv.org