| 标题 |
 Controller synthesis of multi-UAV systems for concurrent satisfaction of temporal logic tasks through parallel decomposition 相关领域
计算机科学
时态逻辑
分解
控制器（灌溉）
控制工程
线性时序逻辑
控制理论（社会学）
分解法（排队论）
实时计算
算法
区间时态逻辑
逻辑综合
时序逻辑
逻辑优化
分布式计算
理论计算机科学
控制（管理）
逻辑门
并行计算
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Chinese Journal of Aeronautics 作者：Yuchong HUANG; Meng GUO; Jie LI; Lincheng SHEN 出版日期：2025-09-13 |
| 求助人 | |
| 下载 | 暂无链接，等待应助者上传 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
嘻嘻哈哈
无极微光
Maestro_S
null
Nole
369ninja
GingerF
OK
秋风
v0id
风吹麦浪
aaaa
cdercder
牧青
YY
甜美柏柳
吃葡萄不吐葡萄皮
Gp1983
L77
学术雷锋
皖公网安备34019202002308
