Asynchronous Correspondences Between Hybrid Trajectory Semantics

May 31, 2022

Patrick Cousot


Asynchronous Correspondences Between Hybrid Trajectory Semantics

Time:   11:00am
Location:   Zoom3 - https://zoom.us/j/3911012202 (pass: @s3)

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.