In this paper, a method is proposed for the design of control laws for hybrid systems with continuous inputs. The objective is to influence their behavior in such a way that the discrete component of the closed-loop system satisfies a given condition, described by a temporal logic formula. For this purpose, a transition system is constructed, by abstracting from the continuous dynamics of the hybrid system. It is shown that a controller for this transition system, realizing the given control objective, corresponds to a controller for the original hybrid system, realizing the same objective, and vice versa.
|Title of host publication||Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010, Budapest, Hungary, July 5-9, 2010), CD-ROM|
|Publication status||Published - 2010|