Kick-off Workshop Automated Controller Synthesis

Events |

Date: November 24, 2015

Time: 14:00 - 18:15

Location: TUM Institute for Advanced Study, Conference Room 0 (ground floor), Lichtenbergstraße 2 a, 85748 Garching

Organization: Focus Group Automated Controller Synthesis


Closing the Model-Implementation Semantic Gap in Distributed Control Systems
Samarjit Chakraborty (Institute for Real-Time Computer Systems, TUM)

Automated synthesis of distributed controllers for discrete systems
Anca Muscholl (TUM-IAS Hans Fischer Senior Fellow/Laboratoire Bordelais de Recherche en Informatique)

16:00-16:15 Coffee/Tea Break

Automated Synthesis of Complex Systems
Majid Zamani (Hybrid Control Systems, TUM)

Minimizing the sensing cost in monitoring and synthesis
Denis Kuperberg (Foundations of Software Reliability and Theoretical Computer Science, TUM)