机译:基于偏斜时间逻辑的完整鲁棒控制网络
Anhui Inst Econ Management Dept Informat Engn Hefei 230031 Peoples R China;
Skewed distribution; temporal logic; robust; the internet; control flow;
机译:具有鲁棒性裕度的有限抽象,用于基于时间逻辑的控制综合
机译:使用离散平均空间鲁棒性的信号时间逻辑规范的鲁棒控制
机译:具有义务和鲁棒性的时间逻辑的完全公理化
机译:相依偏斜度测量逻辑的鲁棒自动控制系统
机译:用于验证和控制网络系统的时空逻辑
机译:无线传感器/执行器网络中基于模糊逻辑控制的QoS管理
机译:基于模糊逻辑的队列管理鲁棒控制和TCP / IP网络上流量的最佳处理
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。