Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS

Luan V. Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos

Research output: Contribution to journalArticle

Abstract

In this paper, we present extensions to Unmanned Systems Autonomy Services (UxAS) to handle mission specifications that require a synchronization of task execution. UxAS uses Process Algebra (PA) as a formal language to specify mission requirements for unmanned aerial vehicle (UAV) operations. However, the current implementation of PA in UxAS utilizes assigned semantics which does not guarantee the order of task completion and is unable to provide a mission planning required vehicle-synchronization. To enable the capability of UxAS in operating synchronized mission specifications, we introduce a notion of Synchronized Process Algebra (SPA) which extends PA by adding a synchronized composition operator to the syntax of PA. Such an operator allows us to specify the task's duration and enforce the next task is executed after the previous one has terminated. Moreover, we provide a new service in UxAS, called Temporal Service (TS) to control the flow of the planning process with respect to timing specifications. We apply SPA and TS to specify and operate the mission specification of a forest fire rescue scenario required the synchronized arrivals of multiple UAVs.

Original languageEnglish (US)
Pages (from-to)67-72
Number of pages6
JournalIFAC-PapersOnLine
Volume51
Issue number16
DOIs
StatePublished - Jan 1 2018

Fingerprint

Algebra
Specifications
Planning
Unmanned aerial vehicles (UAV)
Mathematical operators
Synchronization
Formal languages
Fires
Semantics
Chemical analysis

Keywords

  • Formal Specifications
  • Motion Planning
  • Process Algebra
  • UxAS

ASJC Scopus subject areas

  • Control and Systems Engineering

Cite this

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. / Nguyen, Luan V.; Hoxha, Bardh; Johnson, Taylor T.; Fainekos, Georgios.

In: IFAC-PapersOnLine, Vol. 51, No. 16, 01.01.2018, p. 67-72.

Research output: Contribution to journalArticle

Nguyen, Luan V. ; Hoxha, Bardh ; Johnson, Taylor T. ; Fainekos, Georgios. / Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. In: IFAC-PapersOnLine. 2018 ; Vol. 51, No. 16. pp. 67-72.
@article{15718b9d694f471c9450937192512151,
title = "Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS",
abstract = "In this paper, we present extensions to Unmanned Systems Autonomy Services (UxAS) to handle mission specifications that require a synchronization of task execution. UxAS uses Process Algebra (PA) as a formal language to specify mission requirements for unmanned aerial vehicle (UAV) operations. However, the current implementation of PA in UxAS utilizes assigned semantics which does not guarantee the order of task completion and is unable to provide a mission planning required vehicle-synchronization. To enable the capability of UxAS in operating synchronized mission specifications, we introduce a notion of Synchronized Process Algebra (SPA) which extends PA by adding a synchronized composition operator to the syntax of PA. Such an operator allows us to specify the task's duration and enforce the next task is executed after the previous one has terminated. Moreover, we provide a new service in UxAS, called Temporal Service (TS) to control the flow of the planning process with respect to timing specifications. We apply SPA and TS to specify and operate the mission specification of a forest fire rescue scenario required the synchronized arrivals of multiple UAVs.",
keywords = "Formal Specifications, Motion Planning, Process Algebra, UxAS",
author = "Nguyen, {Luan V.} and Bardh Hoxha and Johnson, {Taylor T.} and Georgios Fainekos",
year = "2018",
month = "1",
day = "1",
doi = "10.1016/j.ifacol.2018.08.012",
language = "English (US)",
volume = "51",
pages = "67--72",
journal = "IFAC-PapersOnLine",
issn = "2405-8963",
publisher = "IFAC Secretariat",
number = "16",

}

TY - JOUR

T1 - Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS

AU - Nguyen, Luan V.

AU - Hoxha, Bardh

AU - Johnson, Taylor T.

AU - Fainekos, Georgios

PY - 2018/1/1

Y1 - 2018/1/1

N2 - In this paper, we present extensions to Unmanned Systems Autonomy Services (UxAS) to handle mission specifications that require a synchronization of task execution. UxAS uses Process Algebra (PA) as a formal language to specify mission requirements for unmanned aerial vehicle (UAV) operations. However, the current implementation of PA in UxAS utilizes assigned semantics which does not guarantee the order of task completion and is unable to provide a mission planning required vehicle-synchronization. To enable the capability of UxAS in operating synchronized mission specifications, we introduce a notion of Synchronized Process Algebra (SPA) which extends PA by adding a synchronized composition operator to the syntax of PA. Such an operator allows us to specify the task's duration and enforce the next task is executed after the previous one has terminated. Moreover, we provide a new service in UxAS, called Temporal Service (TS) to control the flow of the planning process with respect to timing specifications. We apply SPA and TS to specify and operate the mission specification of a forest fire rescue scenario required the synchronized arrivals of multiple UAVs.

AB - In this paper, we present extensions to Unmanned Systems Autonomy Services (UxAS) to handle mission specifications that require a synchronization of task execution. UxAS uses Process Algebra (PA) as a formal language to specify mission requirements for unmanned aerial vehicle (UAV) operations. However, the current implementation of PA in UxAS utilizes assigned semantics which does not guarantee the order of task completion and is unable to provide a mission planning required vehicle-synchronization. To enable the capability of UxAS in operating synchronized mission specifications, we introduce a notion of Synchronized Process Algebra (SPA) which extends PA by adding a synchronized composition operator to the syntax of PA. Such an operator allows us to specify the task's duration and enforce the next task is executed after the previous one has terminated. Moreover, we provide a new service in UxAS, called Temporal Service (TS) to control the flow of the planning process with respect to timing specifications. We apply SPA and TS to specify and operate the mission specification of a forest fire rescue scenario required the synchronized arrivals of multiple UAVs.

KW - Formal Specifications

KW - Motion Planning

KW - Process Algebra

KW - UxAS

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

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

U2 - 10.1016/j.ifacol.2018.08.012

DO - 10.1016/j.ifacol.2018.08.012

M3 - Article

AN - SCOPUS:85052659884

VL - 51

SP - 67

EP - 72

JO - IFAC-PapersOnLine

JF - IFAC-PapersOnLine

SN - 2405-8963

IS - 16

ER -