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
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


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads