BEGIN:VCALENDAR
VERSION:2.0
PRODID:www.dresden-science-calendar.de
METHOD:PUBLISH
CALSCALE:GREGORIAN
X-MICROSOFT-CALSCALE:GREGORIAN
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
DTSTART:19810329T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
DTSTART:19961027T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:DSC-4700
DTSTART;TZID=Europe/Berlin:20130222T093000
SEQUENCE:1361518866
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20130222T103000
URL:https://www.dresden-science-calendar.de/calendar/de/detail/4700
LOCATION:TUD Andreas-Pfitzmann-Bau\, Nöthnitzer Straße 4601069 Dresden
SUMMARY:Klein: Compositional Synthesis and Most General Controllers
CLASS:PUBLIC
DESCRIPTION:Speaker: Dipl.-Inf. Joachim Klein\nInstitute of Speaker: \nTopi
 cs:\nInformatik\n Location:\n  Name: TUD Andreas-Pfitzmann-Bau (INF 1004  
 (Ratssaal))\n  Street: Nöthnitzer Straße 46\n  City: 01069 Dresden\n  Ph
 one: \n  Fax: \nDescription: The goal of this thesis is the development of
  a general framework for the compositional synthesis of controllers for pa
 rtially observable and partially controllable systems. For compositionalit
 y  it is crucial that the controllers are as permissive as possible\, as t
 hey have to ensure that legal choices for subsequent controllers are not r
 uled out prematurely. We introduce a novel notion of strategies and contro
 llers that allows the compositional synthesis of such most general control
 lers and provide algorithms for their construction for omega-regular objec
 tives. We apply our approach to the  setting of exogenous coordination in 
 the Reo and constraint automata framework and evaluate the implementation 
 in our modeling and verification tool Vereofy. We furthermore consider asp
 ects of the determinization of omega-automata used for objectives specifie
 d in Linear Temporal Logic and in other contexts such as probabilistic mod
 el checking.
DTSTAMP:20260502T100736Z
CREATED:20130209T073951Z
LAST-MODIFIED:20130222T074106Z
END:VEVENT
END:VCALENDAR