A modal characterization of alternating approximate bisimilarity

作者：Zhang Jinjin; Zhu Zhaohui^*

来源：Formal Methods in System Design, 2014, 44(3): 240-263.

DOI：10.1007/s10703-013-0201-9

• Alternating approximate bisimilarity
• Modal characterization
• Control systems with disturbances
• Finite abstractions
• Temporal logical specification

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. Based on this result, we provide a link between specifications satisfied by the samples of control systems with disturbances and their finite abstractions. Moreover, a simple example is given to illustrate the application of such link in the design of controller of control systems.

• 出版日期2014-6
• 单位南京航空航天大学; 南京审计大学