EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning
DFG project (Sachbeihilfe)
PIs:
Prof. Dr. Joel Greenyer, Software Engineering Group, Leibniz Universität Hannover, Germany.
Dr. Jens Kotlarski, Institute for Mechatronic Systems, Leibniz Universität Hannover, Germany.
started in April 2016.
Scenario-based Specification and Analysis of Structurally Dynamic Reactive Systems
GIF project (German-Israeli Foundation for Scientific Research and Development)
PIs:
Prof. Dr. Joel Greenyer, Software Engineering Group, Leibniz Universität Hannover, Germany.
Prof. David Harel, Department of Computer Science and Applied Mathematics Faculty of Mathematics and Computer Science, Weizmann Institute of Science, Israel.
started in January 2015
Industry Collaborations
Automatic Tests of Programmable Logic Controllers by Executing Modifiable Recordings of the Machine’s Behavior, cooperation with Continental Machinery, 2016.
Evaluating a Formal Scenario-based Method for the Requirements Analysis in Automotive Software Engineering, cooperation with IAV Automotive Engineering, 2014-2015.
Hybrid Modeling — Integration of Hybrid Modeling and Validation Techniques in CAMeL-View, Transfer project T2 of the Collaborative Research Center 614, cooperation with iXtronics GmbH, 2010-2011.
Automated Testing of the Code Generator TargetLink, in cooperation with dSPACE GmbH,2009.
Past Project Involvement (other PIs)
Self-Managing Situated Computing (SMScom), ERC Advanced Investigator Grant N. 227977, PI Prof. Carlo Ghezzi, http://www.erc-smscom.org/, as postdoc.
Collaborative Research Center 614 “Self-Optimizing Concepts and Structures in Mechanical Engineering”, DFG Sonderforschungsbereich (SFB~614), as doctoral student. Working Group B2, Design Methodology.
