An effective approach to formalize and verify the rule base of mission manager for autonomous UAVs using Petri nets

Yanying Tan; Bo Sun; Xiaoping Zhu; Zhou Zhou

An effective approach to formalize and verify the rule base of mission manager for autonomous UAVs using Petri nets

Yanying Tan
, Bo Sun
, Xiaoping Zhu
, Zhou Zhou

School of Aeronautics

Northwestern Polytechnical University Xian

Research output: Contribution to journal › Article › peer-review

Abstract

Sections 1 through 4 of the full paper explain and evaluate the approach mentioned in the title, which we believe is effective. Their core consists of: (1) the "colour" of CPN(Colored Petri Net) is expressed by prime number in this technique; (2) the definitions for the potential problems in the rule base are given according to the number of "tokens" in each "place" while CPN model is executing; (3) the rule base of the mission manager for an autonomous UAV(Unmanned Aerial Vehicle) has been modeled and verified; the results, presented in Table 2, and their analysis, show preliminarily that our approach is indeed effective.

Original language	English
Pages (from-to)	862-867
Number of pages	6
Journal	Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Volume	30
Issue number	6
State	Published - Dec 2012

Keywords

Artificial intelligence
Autonomous UAVs
Mathematical models
Petri nets
Rule-set verification
Schematic diagrams
Unmanned aerial vehicles(UAV)

Cite this

@article{05f942abfa5f475ebf7bd84ed587945f,

title = "An effective approach to formalize and verify the rule base of mission manager for autonomous UAVs using Petri nets",

abstract = "Sections 1 through 4 of the full paper explain and evaluate the approach mentioned in the title, which we believe is effective. Their core consists of: (1) the {"}colour{"} of CPN(Colored Petri Net) is expressed by prime number in this technique; (2) the definitions for the potential problems in the rule base are given according to the number of {"}tokens{"} in each {"}place{"} while CPN model is executing; (3) the rule base of the mission manager for an autonomous UAV(Unmanned Aerial Vehicle) has been modeled and verified; the results, presented in Table 2, and their analysis, show preliminarily that our approach is indeed effective.",

keywords = "Artificial intelligence, Autonomous UAVs, Mathematical models, Petri nets, Rule-set verification, Schematic diagrams, Unmanned aerial vehicles(UAV)",

author = "Yanying Tan and Bo Sun and Xiaoping Zhu and Zhou Zhou",

year = "2012",

month = dec,

language = "英语",

volume = "30",

pages = "862--867",

journal = "Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University",

issn = "1000-2758",

publisher = "Northwestern Polytechnical University",

number = "6",

}

TY - JOUR

T1 - An effective approach to formalize and verify the rule base of mission manager for autonomous UAVs using Petri nets

AU - Tan, Yanying

AU - Sun, Bo

AU - Zhu, Xiaoping

AU - Zhou, Zhou

PY - 2012/12

Y1 - 2012/12

N2 - Sections 1 through 4 of the full paper explain and evaluate the approach mentioned in the title, which we believe is effective. Their core consists of: (1) the "colour" of CPN(Colored Petri Net) is expressed by prime number in this technique; (2) the definitions for the potential problems in the rule base are given according to the number of "tokens" in each "place" while CPN model is executing; (3) the rule base of the mission manager for an autonomous UAV(Unmanned Aerial Vehicle) has been modeled and verified; the results, presented in Table 2, and their analysis, show preliminarily that our approach is indeed effective.

AB - Sections 1 through 4 of the full paper explain and evaluate the approach mentioned in the title, which we believe is effective. Their core consists of: (1) the "colour" of CPN(Colored Petri Net) is expressed by prime number in this technique; (2) the definitions for the potential problems in the rule base are given according to the number of "tokens" in each "place" while CPN model is executing; (3) the rule base of the mission manager for an autonomous UAV(Unmanned Aerial Vehicle) has been modeled and verified; the results, presented in Table 2, and their analysis, show preliminarily that our approach is indeed effective.

KW - Artificial intelligence

KW - Autonomous UAVs

KW - Mathematical models

KW - Petri nets

KW - Rule-set verification

KW - Schematic diagrams

KW - Unmanned aerial vehicles(UAV)

UR - https://www.scopus.com/pages/publications/84872448478

M3 - 文章

AN - SCOPUS:84872448478

SN - 1000-2758

VL - 30

SP - 862

EP - 867

JO - Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University

JF - Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University

IS - 6

ER -

An effective approach to formalize and verify the rule base of mission manager for autonomous UAVs using Petri nets

Abstract

Keywords

Other files and links

Fingerprint

Cite this