FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS

Authors: Luan Nguyen, Bardh Hoxha, Taylor T Johnson and Georgios Fainekos

Paper Information

Title:Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS
Authors:Luan Nguyen, Bardh Hoxha, Taylor T Johnson and Georgios Fainekos
Proceedings:ADHS Full papers
Editor: Alessandro Abate
Keywords:aaa, bbb, ccc
Abstract:

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.

Pages:6
Talk:Jul 11 15:15 (Session 66B: Applications 1)
Paper: