Harsh Vinjamoor

Learn More
—We consider the problem of finding a controller such that, when interconnected to the plant, we obtain a system that is equivalent to a desired system. Here, " equivalence " is formalized as " bisimilarity. " We give necessary and sufficient conditions for the existence of such a controller. The systems we consider are linear input-state-output systems. A(More)
Given a plant and a desired specification our goal is to construct a controller system which, when interconnected with the plant, yields a system that behaves like the desired specification. We can always construct the canonical controller introduced in van der Schaft (2003) [10]. For linear systems there exists a controller which when interconnected to the(More)
— We consider here the problem of finding a controller such that when interconnected to the plant, we obtain a system which is asymptotically equivalent to a desired system. Here 'asymptotic equivalence' is formalized as 'asymptotic bisimilarity'. Intuitively speaking, two systems are asymptot-ically bisimilar if the difference between their outputs decays(More)
  • 1