Controller Synthesis for Adaptive Systems
Decanato - Facoltà di scienze informatiche
Data d'inizio: 30 Gennaio 2014
Data di fine: 31 Gennaio 2014
The Faculty of Informatics is pleased to announce a seminar given by Sebastian Uchitel
DATE: Thursday, January 30th 2014
PLACE: USI Lugano Campus, room SI-008, Informatics building (Via G. Buffi 13)
TIME: 14.30
ABSTRACT:
In this talk I will argue that (Discrete Event) Controller Synthesis is a powerful tool on which engineering of adaptive systems can build on. I will briefly discuss some results and challenges of applying synthesis for such systems.
BIO:
Sebastian Uchitel is Director of LaFHIS - Laboratory on Fundamentals and Tools for Software Engineering, Professor at the Department of Computing, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires and an Independent Researcher for CONICET; he also holds a Readership at the Department of Computing, Imperial College London, UK.
HOST: Prof. Mauro Pezzè