Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS

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

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


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
Journal6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018: Oxford, United Kingdom, 11—13 July 2018
Issue number16
StatePublished - Jan 1 2018


  • Formal Specifications
  • Motion Planning
  • Process Algebra
  • UxAS

ASJC Scopus subject areas

  • Control and Systems Engineering


Dive into the research topics of 'Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS'. Together they form a unique fingerprint.

Cite this