Write a Blog >>
SLE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Tue 22 Oct 2019 12:00 - 12:30 at Templars - Session 6: Modeling

Mobile robots are increasingly used in our everyday life to autonomously realize missions. A variety of languages has been proposed to support robotic experts in the systematic development of robotic applications, ranging from logical languages with well-defined semantics to domain-specific languages with user-friendly syntax. Both have distinct advantages, however, developing a language that combines them to specify robotic missions remains an elusive task. We present the novel language PROMISE that enables domain experts to specify missions on a higher level of abstraction for teams of autonomous robots in a user-friendly way, while having well-defined semantics. Our ambition is to permit users to specify high-level goals instead of a series of specific actions the robots should perform. The language contains a set of atomic tasks that can be executed by robots and a set of operators that allow the composition of these tasks in complex missions. The language is supported by a standalone tool that permits mission specification through a textual and a graphical interface and that can be integrated within a variety of frameworks. We integrated PROMISE with a software platform providing functionalities such as motion control and planning. We conducted experiments to evaluate the correctness of the specification and execution of complex robotic missions with both simulators and real robots. We also conducted two user studies to assess the simplicity of PROMISE. The results show that PROMISE effectively supports users to specify missions for robots in a user-friendly manner.

This program is tentative and subject to change.

Tue 22 Oct

sle-2019-papers
11:00 - 12:30: SLE 2019 - Session 6: Modeling at Templars
sle-2019-papers11:00 - 11:30
Talk
Manouchehr ZadahmadUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Omar AlamTrent University, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraUniversidad Autonoma de Madrid
sle-2019-papers11:30 - 12:00
Talk
Djamel Eddine KhelladiCNRS, IRISA, Roland KretschmerJOHANNES KEPLER UNIVERSITY LINZ, Alexander EgyedJOHANNES KEPLER UNIVERSITY LINZ
sle-2019-papers12:00 - 12:30
Talk
Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneChalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University