On modelling, simulating and verifying a decentralized mission control algorithm for a fleet of collaborative UAVs

Pu Gao; Hong P. Liua; David P. Gluch

doi:10.1016/j.procs.2012.04.085

On modelling, simulating and verifying a decentralized mission control algorithm for a fleet of collaborative UAVs

Pu Gao, Hong P. Liua, David P. Gluch

Embry-Riddle Aeronautical University

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	792-801
Number of pages	10
Journal	Procedia Computer Science
Volume	9
DOIs	https://doi.org/10.1016/j.procs.2012.04.085
State	Published - 2012
Externally published	Yes
Event	12th Annual International Conference on Computational Science, ICCS 2012 - Omaha, NB, United States Duration: Jun 4 2012 → Jun 6 2012

ASJC Scopus Subject Areas

General Computer Science

Keywords

Computation tree logic
Coolaborative UVAs
Hungary algorithm
Model checking
Simulation
UPPAAL

Access to Document

10.1016/j.procs.2012.04.085

Cite this

@article{ea22f368a8c74826b835cddeaf4e74c9,

title = "On modelling, simulating and verifying a decentralized mission control algorithm for a fleet of collaborative UAVs",

keywords = "Computation tree logic, Coolaborative UVAs, Hungary algorithm, Model checking, Simulation, UPPAAL",

author = "Pu Gao and Liua, {Hong P.} and Gluch, {David P.}",

year = "2012",

doi = "10.1016/j.procs.2012.04.085",

language = "English",

volume = "9",

pages = "792--801",

journal = "Procedia Computer Science",

issn = "1877-0509",

note = "12th Annual International Conference on Computational Science, ICCS 2012 ; Conference date: 04-06-2012 Through 06-06-2012",

}

TY - JOUR

T1 - On modelling, simulating and verifying a decentralized mission control algorithm for a fleet of collaborative UAVs

AU - Gao, Pu

AU - Liua, Hong P.

AU - Gluch, David P.

PY - 2012

Y1 - 2012

KW - Computation tree logic

KW - Coolaborative UVAs

KW - Hungary algorithm

KW - Model checking

KW - Simulation

KW - UPPAAL

UR - http://www.scopus.com/inward/record.url?scp=84896939079&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84896939079&partnerID=8YFLogxK

U2 - 10.1016/j.procs.2012.04.085

DO - 10.1016/j.procs.2012.04.085

M3 - Conference article

AN - SCOPUS:84896939079

SN - 1877-0509

VL - 9

SP - 792

EP - 801

JO - Procedia Computer Science

JF - Procedia Computer Science

T2 - 12th Annual International Conference on Computational Science, ICCS 2012

Y2 - 4 June 2012 through 6 June 2012

ER -

On modelling, simulating and verifying a decentralized mission control algorithm for a fleet of collaborative UAVs

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this