BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2023/newsitem/14152/16
 -June-2023-Formalisation-Optimisation-Algorithms-M
 echanisms-FOAM-Wan-Fokkink
DTSTAMP:20230424T141734
SUMMARY:Formalisation, Optimisation, Algorithms, M
 echanisms (FOAM), Wan Fokkink
ATTENDEE;ROLE=Speaker:Wan Fokkink
DTSTART;TZID=Europe/Amsterdam:20230616T150000
DTEND;TZID=Europe/Amsterdam:20230616T162500
LOCATION:Room L2.06, ILLC Lab42, Science Park 900,
  Amsterdam
DESCRIPTION:Abstract:  Supervisory Control Theory,
  initiated by Ramadge and Wonham, automatically tr
 ansforms a formal system model and its safety requ
 irements into a (minimally) restricted system that
  satisfies all safety requirements. This approach 
 turns out to be very suitable for designing and ge
 nerating software for the control of large infrast
 ructural systems like bridges, locks and tunnels. 
 In this talk recent research results will be discu
 ssed that are pivotal in tackling such large appli
 cations, including multilevel synthesis, determini
 ng a control problem dependency graph, and several
  modeling guidelines.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract:<br>\
 n  Supervisory Control Theory, initiated by Ramadg
 e and Wonham, automatically transforms a formal sy
 stem model and its safety requirements into a (min
 imally) restricted system that satisfies all safet
 y requirements. This approach turns out to be very
  suitable for designing and generating software fo
 r the control of large infrastructural systems lik
 e bridges, locks and tunnels. In this talk recent 
 research results will be discussed that are pivota
 l in tackling such large applications, including m
 ultilevel synthesis, determining a control problem
  dependency graph, and several modeling guidelines
 .</p>\n
URL:https://events.illc.uva.nl/FOAM/posts/talk5/
CONTACT:Gregor Behnke at g.behnke at uva.nl
CONTACT:Ronald de Haan at r.dehaan at uva.nl
END:VEVENT
END:VCALENDAR