LTL语义描述下无人—有人机协同任务分解与调度策略研究

《LTL语义描述下无人—有人机协同任务分解与调度策略研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号TP301学号14030106ＵＤＣ密级公开工学硕士学位论文LTL语义描述下无人-有人机协同任务分解与调度策略研究硕士生姓名徐宁学科专业控制科学与工程研究方向任务规划技术指导教师沈林成教授国防科学技术大学研究生院二〇一六年十月CooperativeMissionDecompositionandSchedulingofMan-UnmannedSystemunderLTLSpecificationCandidate：NingXuAdvisor：LinchengShenAdissertationSubmittedinpartialfulfillmentoftherequi

2、rementsforthedegreeofMasterofEngineeringinControlScienceandEngineeringGraduateSchoolofNationalUniversityofDefenseTechnologyChangsha，Hunan，P.R.ChinaOctober，2016国防科学技术大学研究生院硕士学位论文目录摘要............................................................................................................

3、.....iABSTRACT........................................................................................................iii第一章绪论........................................................................................................11.1研究背景...................................................

4、...................................................11.2国内外研究现状...............................................................................................41.2.1无人-有人机协同控制研究现状............................................................41.2.2多智能体系统自主协同任务分解与调度方法研究现状....................61.

5、3论文研究内容与创新点...................................................................................91.4论文组织结构.................................................................................................10第二章基于自动机的LTL语义下智能体规划方法..........................................132.1引言...............

6、..................................................................................................132.2线性时序逻辑与状态转移系统......................................................................132.2.1线性时序逻辑.......................................................................................132

7、.2.2状态转移系统.......................................................................................152.3基于自动机的LTL语义规划求解器.............................................................182.3.1基于自动机的LTL语义模型检测方法..............................................182.3.2基于自动机的LTL语