  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.
