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è