2 research outputs found
A Modal Characterization of Alternating Approximate Bisimilarity
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.Comment: 27 pages, 2 figure
Linear time logic control of linear systems with disturbances
The formal analysis and design of control systems is one of recent trends in
control theory. In this area, in order to reduce the complexity and scale of
control systems, finite abstractions of control systems are introduced and
explored. In non-disturbance case, the controller of control systems is often
generated from the controller of finite abstractions. Recently, Pola and
Tabuada provide approximate finite abstractions for linear control systems with
disturbance inputs. However, these finite abstractions and original linear
systems do not always share the identical specifications, which obstructs
designing controller (of linear systems) based on their finite abstractions.
This paper tries to bridge such gap between linear systems and their finite
abstractions.Comment: 32 pages, 4 figue