On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems

Abstract : We consider two notions of timed bisimulation on states of continuous-time dynamical systems: global and local timed bisimulation. By analogy with the notion of a bisimulation relation on states of a labeled transition system which requires the existence of matching transitions starting from states in such a relation, local timed bisimulation requires the existence of sufficiently short (locally defined) matching trajectories. Global timed bisimulation requires the existence of arbitrarily long matching trajectories. For continuous-time systems the notion of a global bisimulation is stronger than the notion of a local bisimulation and its definition has a non-local character. In this paper we give a local characterization of global timed bisimulation. More specifically, we consider a large class of abstract dynamical systems called Nondeterministic Complete Markovian Systems (NCMS) which covers various concrete continuous and discrete-continuous (hybrid) dynamical models and introduce the notion of an $f^+$ timed bisimulation, where $f^+$ is a so called extensibility measure. This notion has a local character. We prove that it is equivalent to global timed bisimulation on states of a NCMS. In this way we give a local characterization of the notion of a global timed bisimulation.
Type de document :
Communication dans un congrès
Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.216-234, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_13〉
Liste complète des métadonnées

Littérature citée [37 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01446028
Contributeur : Hal Ifip <>
Soumis le : mercredi 25 janvier 2017 - 15:24:16
Dernière modification le : mardi 2 janvier 2018 - 16:02:05
Document(s) archivé(s) le : mercredi 26 avril 2017 - 16:02:09

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ievgen Ivanov. On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.216-234, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_13〉. 〈hal-01446028〉

Partager

Métriques

Consultations de la notice

33