%0 Conference Proceedings
%T On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
%+ Taras Shevchenko National University of Kyiv
%A Ivanov, Ievgen
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Eindhoven, Netherlands
%Y Ichiro Hasuo
%3 Coalgebraic Methods in Computer Science
%V LNCS-9608
%P 216-234
%8 2016-04-02
%D 2016
%R 10.1007/978-3-319-40370-0_13
%K Bisimulation
%K Cyber-physical system
%K Dynamical system
%K Continuous time
%K Local characterization
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-01446028/document
%2 https://inria.hal.science/hal-01446028/file/418352_1_En_13_Chapter.pdf
%L hal-01446028
%U https://inria.hal.science/hal-01446028
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-LNCS-9608
%~ IFIP-WG1-3
%~ IFIP-CMCS