Open Maps, Alternating Simulations and Control Synthesis

13 years 10 months ago

Download www.ee.ucla.edu

Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to ﬁnd interesting and useful applications in computer science. Synthesis of interfaces, distributed network monitors or reactive programs are some examples that beneﬁt from this design paradigm. In this paper we shed new light on the interplay between the fundamental notion of bisimulation and the control synthesis problem. We ﬁrst revisit the notion of alternating simulation introduced by Alur and co-workers as it naturally captures important ingredients of the control synthesis problem. We then show that existence of controllers enforcing speciﬁcations through bisimulation, alternating simulation or simulation can be characterized by the existence of certain alternating simulations and bisimulations between the speciﬁcation and the system to be controlled. These results highlight and unify the role of simulations and bisimulations in the control synthesis setting for a ...

Paulo Tabuada

Real-time Traffic