BEGIN:VCALENDAR
VERSION:2.0
PRODID:IEEE vTools.Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:Europe/Copenhagen
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20261025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260701T054355Z
UID:331BE869-B800-480F-BB2B-30BC864FE42F
DTSTART;TZID=Europe/Copenhagen:20260814T130000
DTEND;TZID=Europe/Copenhagen:20260814T170000
DESCRIPTION:This thesis studies how to analyze and evaluate complex cyber-p
 hysical systems\, which are systems observing the real world via sensors a
 nd affecting it through actuators. Examples of such systems include automa
 ted robots in warehouses\, battery packs\, and scheduling software for avi
 onics. All these domains are distinct problems\, but can all be modeled by
  related formalisms of extensions of Timed Automata. Common to all those f
 ormalisms\, we have tools enabling efficient analysis of these models. Thu
 s\, the tools help us learn the paths the warehouse robots should follow\,
  obtain control programs for managing the battery pack\, and determine whe
 ther the scheduling policy for the avionics system is safe.\n\nCo-sponsore
 d by: Sean Bin Yang\n\nSpeaker(s): \, Martin \n\nRoom:  0.2.13\, Bldg: Dep
 artment of Computer Science\, Selma Lagerløfs Vej 300\, Aalborg East\, No
 rdjyllands Amt\, Denmark\, 9220
LOCATION:Room:  0.2.13\, Bldg: Department of Computer Science\, Selma Lager
 løfs Vej 300\, Aalborg East\, Nordjyllands Amt\, Denmark\, 9220
ORGANIZER:seany@cs.aau.dk
SEQUENCE:16
SUMMARY:PhD. defense at the Department of Computer Science\, Aalborg Univer
 sity
URL;VALUE=URI:https://events.vtools.ieee.org/m/565887
X-ALT-DESC:Description: <br /><p>This thesis studies how to analyze and eva
 luate complex cyber-physical systems\, which are systems observing the rea
 l world via sensors and affecting it through actuators. Examples of such s
 ystems include automated robots in warehouses\, battery packs\, and schedu
 ling software for avionics. All these domains are distinct problems\, but 
 can all be modeled by related formalisms of extensions of Timed Automata. 
 Common to all those formalisms\, we have tools enabling efficient analysis
  of these models. Thus\, the tools help us learn the paths the warehouse r
 obots should follow\, obtain control programs for managing the battery pac
 k\, and determine whether the scheduling policy for the avionics system is
  safe.</p>
END:VEVENT
END:VCALENDAR