Patrick Cousot, Abstractions of Hybrid Semantics

Patrick Cousot.
Abstractions of Hybrid Semantics
In ICALP 2022, EATCS award talk, Paris, France, Wednesday July 6, 2022
Slides of the 45mn seminar:
- 1 slide per landscape page, 50.2 Mb,
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 asynchronous hybrid state-based abstractions.
Keywords:
abstract interpretation, bisimulation, discretization, homomorphism, hybrid semantics, hybrid system, hybrid transition system, preservation, progress, sampling, simulation.
Interview (in French)

Bibliographic reference:

@inproceedings{Cousot-ICALP-2022,
  author    = {Patrick Cousot},
  title     = {Abstractions of Hybrid Semantics},
  year      = {2022},
  month     = {july},
  publisher = {ICALP 2022, Paris, France},
}

\bibitem{Cousot-ICALP-2022}
Patrick Cousot.
\newblock Abstractions of Hybrid Semantics.
\newblock In \emph{ICALP 2022, Paris, France}, July 6, 2022.

copyright notice
Last modified: Fri Jul 29 18:37:30 EDT 2022