BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:End-to-end arguments in embedded control systems  
DTSTART:20110621T151500
DTSTAMP:20260508T010554Z
UID:da53c9a6cacc7a55b46c8553d24f0b9dbaa5ee90d9236c3fb59b6bc2
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Rupak Majumdar\, Max-Planck Institute for Software Syste
 ms\nThere is a semantic gap between the mathematics of control theory and 
 the implementation of controllers on top of real-time operating systems. W
 e show two examples ---stability analysis and controller-scheduler co-desi
 gn--- of verification algorithms that perform an end-to-end analysis of co
 ntrol system implementations\, translating the mathematical analysis of th
 e control system to properties of the implementation. We also outline a th
 eory of robustness for discrete systems\, inspired by similar theories in 
 robust control.  Prof. Majumdar's homepage
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR