A Modal Characterization of Alternating Approximate Bisimilarity
Logic in Computer Science
2012-12-21 v1
Abstract
Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity is introduced. This paper aims to establish a modal characterization for alternating approximate bisimilarity. Moreover, based on this result, we provide a link between specifications satisfied by the samples of control systems with disturbances and their finite abstractions.
Cite
@article{arxiv.1212.5139,
title = {A Modal Characterization of Alternating Approximate Bisimilarity},
author = {Jinjin Zhang and Zhaohui Zhu},
journal= {arXiv preprint arXiv:1212.5139},
year = {2012}
}
Comments
27 pages, 2 figures