BEGIN:VCALENDAR
VERSION:2.0
PRODID:OpenCms 21.0.22
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20190117T155825
UID:5744d387-1a68-11e9-b632-000e0c3db68b
SUMMARY:Talk of Prof. Majid Zamani
DESCRIPTION:Prof. Majid Zamani   \n Dept. of Electrical and Computer Engineering\nTechnical University, Munich, Germany\n  \nTuesday, 2017-01-10 16:00\n IST-Seminar-Room V9.22 - Pfaffenwaldring 9 - Campus Stuttgart-Vaihingen  \nAbstract  \nCyber-physical systems (CPS) are complex heterogeneous systems where software components\ninteract tightly with physical ones. At the core of these applications there exists embedded\ncontrol software playing a crucial role by monitoring and controlling the physical components.\nAlthough CPS have become widely present, the development of control software running on these\nsystems is still ad hoc and fallible. In the first part of the talk, I will propose a design\nprocess, in which the controller code is automatically synthesized from high-level correctness\nrequirements in a provably correct fashion. The proposed solution is unifying techniques from\ndiscrete systems theory from computer science (initiated by Church) with continuous dynamical\nsystems from control theory (initiated by Lyapunov).\nIn the second part of the talk, time permitting, I will introduce a notion of invariance\nfeedback entropy (inspired by the Shannon entropy) for non-deterministic control systems as a\nmeasure of necessary state information to enforce a given subset of the state space to be\ninvariant. For finite systems, the proposed invariance feedback entropy can be computed\nautomatically via a mean-payoff game (initiated by Church).  \n   \n  \nBiographical Information  \nMajid Zamani is an assistant professor in the Department of Electrical and Computer Engineering\nat Technical University of Munich where he leads the Hybrid Control Systems Group. He received a\nPh.D. degree in Electrical Engineering and an MA degree in Mathematics both from University of\nCalifornia, Los Angeles in 2012, and a M.Sc. degree in Electrical Engineering from Sharif\nUniversity of Technology in 2007. From September 2012 to December 2013, he was a postdoctoral\nresearcher in the Delft Centre for Systems and Control at Delft University of Technology. Between\nDecember 2013 and May 2014, he was an assistant professor at Delft University of\nTechnology.  \n    \n\n  
DTSTART;TZID=Europe/Berlin;VALUE=DATE:20170110
URL;VALUE=URI:https://www.ist.uni-stuttgart.de/events/Talk-of-Prof.-Majid-Zamani/
END:VEVENT
END:VCALENDAR