|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
**Cancelled** Logic of Hybrid Games
If you have a question about this talk, please contact Jonathan Hayman.
Hybrid systems model cyber-physical systems as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. They arise frequently in many application domains, including aviation, automotive, railway, and robotics. We study hybrid 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.
This 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 the existence of winning strategies for hybrid games. We present a simple sound 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 separating axioms, i.e. axioms that distinguish hybrid games from hybrid systems.
This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsType the title of a new list here Turkish-Armenian Relations. Facing History: Denial as a Security Concept Cambridge Neuroscience Seminar: New Approaches in Neuroscience
Other talksBiomedical Engineering: problem solving using clinical and biomedical applications Inhibition of phagocytosis by extracellular pathogens enteropathogenic and enterohaemorrhagic Escherichia coli Molecular characterization of the Flagellar Pocket Collar cytoskeletal of the protozoan parasite Trypanosoma brucei The translation of discovery research with nanostructured bio-minerals: from Cancer to Crohn’s disease’ What can gambling machine data tell us about betting behaviour? Political Economy of Public Health: Network Showcase 2016