Kripke modelling and verification of temporal specifications of a multiple UAV system

Author:

Sirigineedi Gopinadh,Tsourdos Antonios,White Brian A.,Żbikowski Rafał

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Reference41 articles.

1. Beard, R.W., McLain, T.W., Nelson, D.B.: Decentralized cooperative aerial surveillance using fixed-wing miniature UAVs. In: Proceedings of the IEEE, vol. 94, pp. 1306–1324 (2007)

2. Gaudiano, P., Bonabeau, E., Shargel, B.: Evolving behaviors for a swarm of unmanned air vehicles. In: Proceedings of the 2005 IEEE Swarm Intelligence Symposium, pp. 317–324 (2005)

3. Jin, Y., Minai, A.A., Polycarpou, M.M.: Cooperative real-time search and task allocation in UAV teams. In: Proceedings of IEEE Conference on Decision and Control, pp. 7–12 (2003)

4. Yang, Y., Polycarpou, M., Minai, A.A.: Multi-UAV cooperative search using an opportunistic learning method. J. Dyn. Syst. Meas. Control 129, 716–728 (2007)

5. Su Park, C., Jea Tahk, M., Bang, H.: Multiple aerial vehicles formation using swarm intelligence. In: AIAA Guidance, Navigation, and Control Conference and Exhibit (2003)

Cited by 8 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review;ACM Transactions on Software Engineering and Methodology;2023-03-30

2. Model Checking of Variable Petri Nets by Using the Kripke Structure;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2022-12

3. Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle;2021 IEEE/SICE International Symposium on System Integration (SII);2021-01-11

4. Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP;Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection;2020

5. DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles;IEEE Transactions on Reliability;2018-12

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3