This paper on Multi-Robot Motion and Task Planning in Automotive Production Using Controller-based Safe Reinforcement Learning, written with Eric Wete, Daniel Kudenko and Wolfgang Nejdl, was accepted at the 3rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024).
Category Archives: Research
MEKES 2018 Workshop Paper Preprint and Video available
We uploaded a preprint of our paper “A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems — Early Virtual Prototyping of Car-to-X System Specifications”, which was accepted at the MEKES 2018 Workshop.
We also created a video presentation of our work, including a demo of the implemented prototype.
Highlights:
- The coordination logic of a car-to-x system is modeled using SML scenarios
- These scenarios are compiled to specialized Java code that executes the scenarios.
- The code is executed in a distributed setting, running on a laptop and Android devices
- The scenario execution is integrated with a 3D driving simulator (OpenDS): collisions of cars with marker objects in the 3D simulation are translated to environment events that are injected into the play-out of the car-to-x coordination logic.
ScenarioTools Science of Computer Programming article published
Our article “ScenarioTools — A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems” was now published in the Original Software Publication track of the Science of Computer Programming journal:
http://dx.doi.org/10.1016/j.scico.2017.07.004
MDETools’17 paper accepted
Our paper “A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example” was accepted at the 1st Model-Driven Engineering Tools Challenge Workshop (MDETools’17), co-located with MODELS 2017.
ESEC/FSE 2017 tool demo paper accepted
Our tool demo paper From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology was accepted at ESEC/FSE 2017. See you in Paderborn!
See demo video and artifact at http://scenariotools.org/esecfse-2017-tool-demo/.
AIRE 2017 paper accepted (RE’17 workshop)
Our paper Toward Learning Realizable Scenario-based, Formal Requirements Specifications was accepted at the AIRE 2017 workshop, co-located with RE’17.
MODELS 2017 paper accepted
Our paper titled Symbolic Execution for Realizability-Checking of Scenario-based Specifications was accepted at MODELS 2017. See you in Austin!
MORSE 2017 paper accepted
Our paper Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications was accepted at the MORSE workshop 2017.
MODELSWARD 2017 paper accepted
Our paper titled Distributing Scenario-Based Models: A Replicate-and-Project Approach was accepted at MODELSWARD 2017.
Video online: UbiBots – Model Based Software Engineering for Ubiquitous Cyber-Physical Systems
Reply
The final presentation video of the project course “UbiBots – Model Based Software Engineering for Ubiquitous Cyber-Physical Systems” is now uploaded to YouTube.
The video presents the results of a master project course conducted at the Software Engineering group of the Leibniz Universität Hannover (http://www.se.uni-hannover.de/) in 2015.
In this course, a group of students used the ScenarioTools tool suite (http://scenariotools.org/) to specify the behavior of an advanced driver assistance system based on Car-to-X communication. The main example regarded in the course was the warning of drivers as they pass a narrow lane caused by roadworks.
Then an execution infrastructure was developed to execute the scenario-based specification on RaspberryPi-based and Java-enabled robots (Pi2Go).
See also the project website: http://ubibots2015.scenariotools.org/
See also a paper publication of the topic (scenarios@run.time): http://jgreen.de/wp-content/documents…