Skip to Main content Skip to Navigation
New interface
Conference papers

Fibrational Bisimulations and Quantitative Reasoning

Abstract : Bisimulation and bisimilarity are fundamental notions in comparing state-based systems. Their extensions to a variety of systems have been actively pursued in recent years, a notable direction being quantitative extensions. In this paper we present an abstract categorical framework for such extended (bi)simulation notions. We use coalgebras as system models and fibrations for organizing predicates—following the seminal work by Hermida and Jacobs—but our focus is on the structural aspect of fibrational frameworks. Specifically we use morphisms of fibrations as well as canonical liftings of functors via Kan extensions. We apply this categorical framework by deriving some known properties of the Hausdorff pseudometric and approximate bisimulation in control theory.
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01901092
Contributor : Jérémy Dubut Connect in order to contact the contributor
Submitted on : Thursday, February 21, 2019 - 4:09:45 PM
Last modification on : Saturday, December 4, 2021 - 3:58:19 AM
Long-term archiving on: : Wednesday, May 22, 2019 - 4:35:18 PM

File

473364_1_En_11_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

David Sprunger, Shin-Ya Katsumata, Jérémy Dubut, Ichiro Hasuo. Fibrational Bisimulations and Quantitative Reasoning. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩. ⟨hal-01901092⟩

Share

Metrics

Record views

128

Files downloads

95