Volume 40, Number 4, August 2022
|Page(s)||812 - 818|
|Published online||30 September 2022|
Modeling method of unmanned aerial vehicle swarm behavior based on spatiotemporal hybrid Petri net
Ningbo Institute of Northwestern Polytechnical University, Ningbo 315103, China
2 School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China
3 CETC Key Laboratory of Data Link Technology, Xi’an 710072, China
The more and more widely used UAV swarm operations have received great attention in the new global military revolution of informatization, and the integrated modeling of UAV swarms has great significance and value for the testing and verification of combat modes. Aiming at the modeling and simulation requirements of combat scenarios, taking the collaborative combat process of heterogeneous UAV swarms as the research object, starting from the modeling of a single UAV, on the basis of the formalization and mathematical description of the single combat process, this paper employs Petri nets based on the hybridization of time and space to describe the discrete states and continuous processes of heterogeneous UAV swarm systems, and effectively solves the problems of the fusion between physics and computing processes, and modeling of interactive events in swarm systems. UPPAAL is selected to formally verify the modeling of UAV swarm strike mission, which shows that the proposed modeling method is feasible and effective.
越来越广泛应用的无人机集群作战在信息化全球新军事变革中受到高度关注, 集群一体化建模对作战模式的测试验证具有重要的意义和价值。结合作战场景的建模仿真需求, 以异构无人机集群协同作战过程为研究对象, 从无人机单体建模入手, 在单体作战过程形式化和数学描述的基础上, 基于时空混成Petri网描述异构无人机集群系统的离散状态和连续过程, 有效解决了集群系统中物理、计算过程的融合问题和交互事件建模问题。选取UPPAAL对无人机集群打击任务建模进行形式化验证, 表明所提建模方法可行、有效。
Key words: heterogeneous drone swarm / spatiotemporal hybrid Petri net / cluster modeling / formal verification
关键字 : 异构无人机集群 / 时空混成Petri网 / 集群建模 / 形式化验证
© 2022 Journal of Northwestern Polytechnical University. All rights reserved.
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.