University of Maryland, College Park（马里兰大学帕克分校）

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis

三值逻辑的时间行为树编码及其在控制综合中的应用

Ryan Matheu, John S. Baras, Calin Belta

机构 * University of Maryland, College Park（马里兰大学学院公园分校） 纠错

AI总结 本文提出基于三值信号时序逻辑的三值逻辑时间行为树编码，用于构建线性动态系统的正确-by-设计控制策略，通过混合整数优化解决最优控制问题。

Comments 8 pages, 4 figures. This work has been submitted to the IEEE for possible publication