机译:针对线性时序逻辑规范控制多仿射系统的输入输出仿真方法
automatic synthesis; hybrid systems; linear temporal logic; multi-affine functions;
机译:针对线性时序逻辑规范控制多仿射系统的输入输出仿真方法
机译:多仿射系统的时间受限时态逻辑控制
机译:基于线性时序逻辑规范的仿射系统分段输出反馈控制
机译:多染色系统的时间约束时间逻辑控制
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:一种控制多仿射系统的输入输出仿真方法 用于线性时序逻辑规范
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。