在线客服: 点击这里给我发消息  新用户使用步骤:会员注册→充值→重新登入→进入资源
标题:Formal Methods in Resilient Systems Design: Application to Multi-UAV System-of-Systems Control
时间:2020-10-18 07:54:41
DOI:10.1007/978-3-319-62217-0_29
大小:530 kb
页数:13 PAGES
下载: 点击下载
预览:

浏览器不支持嵌入PDF阅读,打开新页面在线阅读

目录:
  • Chapter 29: Formal Methods in Resilient Systems Design: Application to Multi-UAV System-of-Systems Control
    • 29.1 Introduction
    • 29.2 Technical Challenges
    • 29.3 Formal Modeling of Systems and SoS
    • 29.4 UAV Swarm Control Architecture
    • 29.5 UAV Swarm Modeling
    • 29.6 Modeling Construct, Implementation, and Simulation
    • 29.7 Conclusions
    • References

本页内容由网络收集而来,版权归原创者所有,如有侵权请及时联系