Our paper Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications was accepted at the MORSE workshop 2017.
Our paper titled Distributing Scenario-Based Models: A Replicate-and-Project Approach was accepted at MODELSWARD 2017.
Our tool demo paper titled Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools was accepted at MODELS 2016.
Read the paper here.
See our short demo video and artifact download here.
It was a bit tricky to get to the lecture today, due to the visit of President Obama in Hannover.
Also students from out University had a chance to attend Obama’s speech. Of course they were excused for not attending to my lecture.
And the following speech in full length:
Our tutorial titled Modeling Reactive Systems with the Scenario Modeling Language and ScenarioTools was accepted at the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016).
Our paper “Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems” was accepted at the 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)
Our paper “Scenario-based Specification of Car-to-X Systems” was accepted at the 1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities (CPSSC 2016), which is co-located with SE 2016.
I am looking for qualified applicants for a doctoral researcher position in the DFG-fundend project EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning.
Please submit your application via email by November 1st 2015. The position is to be filled by January 2015. The position is for two years, but, if possible, may be extended.
For more information also see the German description of the position.
The goal of this project is to develop methods and tools for engineers to design energy efficient mechatronic systems, for example production systems, that optimize the reuse of braking energy in the system.
This interdisciplinary research project will be carried out in cooperation with the Institute of Mechatronic Systems in Hannover (Jens Kotlarski). I am seeking candidates with a background on model-based software engineering and/or formal methods. Knowledge of mechanical- or control engineering or robotics is a plus. Required is a masters degree (or equivalent) in computer science or a related field of study.
Don’t hesitate to contact me for more information.