BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:**Cancelled** Logic of Hybrid Games - Andre Platzer\, CMU
DTSTART:20130628T150000Z
DTEND:20130628T160000Z
UID:TALK45526@talks.cam.ac.uk
CONTACT:Jonathan Hayman
DESCRIPTION:Hybrid systems model cyber-physical systems as dynamical syste
 ms with interacting discrete transitions and continuous evolutions along d
 ifferential equations.  They arise frequently in many application domains\
 , including aviation\, automotive\, railway\, and robotics.  We study hybr
 id games\, i.e. games on hybrid systems combining discrete and continuous 
 dynamics. Unlike hybrid systems\, hybrid games allow choices in the system
  dynamics to be resolved adversarially by different players with different
  objectives.\n\nThis talk describes how logic and formal verification can 
 be lifted to hybrid games.  The talk describes a logic for hybrid systems 
 called differential game logic dGL.  The logic dGL can be used to study th
 e existence of winning strategies for hybrid games.  We present a simple s
 ound and complete axiomatization of dGL relative to the fixpoint logic of 
 differential equations.  We prove hybrid games to be determined and their 
 winning regions to require higher closure ordinals and we identify separat
 ing axioms\, i.e. axioms that distinguish hybrid games from hybrid systems
 .
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR