Temporal logic control for piecewise-affine hybrid systems on polytopes

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationProceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010, Budapest, Hungary, July 5-9, 2010), CD-ROM
Publication statusPublished - 2010


Dive into the research topics of 'Temporal logic control for piecewise-affine hybrid systems on polytopes'. Together they form a unique fingerprint.

Cite this