Tuesday, May 31, 2022
11:00am Zoom3 - https://zoom.us/j/3911012202 (pass: @s3)
Patrick Cousot, Professor, Courant Institute of Mathematical Sciences, New York University, US
Asynchronous Correspondences Between Hybrid Trajectory Semantics
Abstract:
We study abstraction correspondences between hybrid trajectory semantics for verification and refinement, including discretization and state-based homomorphisms, simulations, bisimulations, preservations with progress, and show that they are all Galois connections. We investigate the problematic composition of hybrid state-based abstractions.