Temporal logic control for piecewise-affine hybrid systems on polytopes
| Autor: | Habets, L.C.G.J.M., Belta, C. |
|---|---|
| Přispěvatelé: | Center for Analysis, Scientific Computing & Appl., Research on miscellaneous topics in mathematics, not included in one of the research schools |
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Zdroj: | Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010, Budapest, Hungary, July 5-9, 2010), CD-ROM, 195-202 STARTPAGE=195;ENDPAGE=202;TITLE=Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010, Budapest, Hungary, July 5-9, 2010), CD-ROM |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|