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 - http://www.scopus.com/inward/record.url?scp=84872448478&partnerID=8YFLogxK

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