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
Program
14:00-15:00
Closing the Model-Implementation Semantic Gap in Distributed Control Systems
Samarjit Chakraborty (Institute for Real-Time Computer Systems, TUM)
15:00-16:00
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
16:15-17:15
Automated Synthesis of Complex Systems
Majid Zamani (Hybrid Control Systems, TUM)
17:15-18:15
Minimizing the sensing cost in monitoring and synthesis
Denis Kuperberg (Foundations of Software Reliability and Theoretical Computer Science, TUM)