BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20110327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20111030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260506T051741Z
UID:5004044d3e87b@ist.ac.at
DTSTART:20111010T164500
DTEND:20111010T174500
DESCRIPTION:Speaker: Jean-François Raskin\nAbstract: Hybrid automata exten
 d finite state machines with real valued variables\nthat are subject to co
 ntinuous evolutions (during time elapsing)\nconstrained by differential co
 nstraints and subject to discrete evolutions\n(during mode switches) const
 rained by guards and updates. A large part\nof the talk will target a gene
 ral audience of researchers interested in the\nmodeling of systems ranging
  from embedded control systems to\nbiological systems. In a last part of t
 he talk\, I will present recent results\nabout the decidability frontier o
 f the time-bounded reachability problem\nfor hybrid automata.
LOCATION:Raiffeisen Lecture Hall\, Central Building\, ISTA
ORGANIZER:ihetzenauer@ist.ac.at
SUMMARY:Jean-François Raskin: Hybrid automata: modeling and reachability a
 nalysis
URL:https://talks-calendar.ista.ac.at/events/437
END:VEVENT
END:VCALENDAR