Approximate Bisimulation Equivalence and Variable Refinement

Authors

Bai Liu, Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, Sichuan 610041, ChinaFollow
Jinzhao Wu
Zhucheng Xie

Author Country (or Countries)

China

Abstract

In this paper, we consider an operator for refinement of variables to be used in the design of hybrid system. Variables on a given level of abstraction are replaced by more complicated processes on a lower level just like the function are called in the program. Then we established the equivalence, bisimulation equivalence and approximate bisimulation equivalence which are by polynomial flow event structures. These equivalence, bisimulation equivalence and approximate bisimulation equivalence are based on the common forms of their zeros. The example show that the equivalence, bisimulation equivalence and approximate bisimulation equivalence are preserved or not under the variables refinement, if the equivalence is not preserved precisely, then we can use the approximate methods to make them approximate equivalence. Lastly we show that our refinement has some nice properties.

Suggested Reviewers

N/A

Digital Object Identifier (DOI)

http://dx.doi.org/10.12785/amis/080454

Recommended Citation

Liu, Bai; Wu, Jinzhao; and Xie, Zhucheng (2014) "Approximate Bisimulation Equivalence and Variable Refinement," Applied Mathematics & Information Sciences: Vol. 08: Iss. 4, Article 54.
DOI: http://dx.doi.org/10.12785/amis/080454
Available at: https://digitalcommons.aaru.edu.jo/amis/vol08/iss4/54