SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Wed 7 Dec 2022 16:37 - 17:00 at Seminar Room G100 - GPCE Session 4 Chair(s): Bernhard Scholz

Unmanned Aerial Systems (UAS, typically known as drones) are useful in many application domains, such as logistics and precision farming, especially when they fly Beyond Visual Line of Sight (BVLOS).
To effectively use multiple UAS for BVLOS missions, it is required to precisely plan the flight of each UAS involved in the missions, allocating the required airspace ahead of time.
The \textsc{dots} Domain-Specific Language (DSL) can be used to plan and execute such missions but does not support the adaptation of missions when unexpected changes occur during the execution of these missions.
Such dynamic replanning of missions to changing conditions is a crucial feature for the safe integration of UAS into the airspace since it allows the UAS to adapt to these changes, such as yielding to emergency response aircraft.

In this work, we propose a program transformation technique inspired by program slicing to dynamically replan ongoing \textsc{dots}-specified multi-UAS missions using the same planner built for the \textsc{dots} language.
Whenever dynamic replanning is needed, we compute a forward slice of the \textsc{dots} program based on the current runtime state of the mission.
This generates a new program that obeys the original mission specification but only specifies the mission from the point in time where the replanning is needed.
We validate our proposed technique by integrating it into \textsc{ros-dots}, a service-oriented architecture for autonomous UAS operations.

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

15:30 - 17:00
GPCE Session 4GPCE at Seminar Room G100
Chair(s): Bernhard Scholz University of Sydney
15:30
22m
Talk
A Modern C++ Point of View of Programming in Image ProcessingVirtual
GPCE
Michaël ROYNARD EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Thierry Géraud EPITA Research Laboratory
DOI
15:52
22m
Talk
The Cost of Dynamism in Static Languages for Image ProcessingIn Person
GPCE
Baptiste Esteban EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Guillaume Tochon EPITA Research Laboratory, Didier Verna EPITA Research Laboratory
DOI
16:15
22m
Talk
A Model-Driven Generative Self Play-Based Toolchain for Developing Games and PlayersIn Person
GPCE
Evgeny Kusmenko RWTH Aachen University, Maximilian Münker RWTH Aachen University, Matthias Nadenau RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
DOI
16:37
22m
Talk
Dynamic Replanning of Multi-drone Missions using Dynamic Forward SlicingIn Person
GPCE
Miguel Campusano University of Southern Denmark, Ulrik Pagh Schultz University of Southern Denmark
DOI