Temporal logic control for piecewise-affine hybrid systems on polytopes

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 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.
Originele taal-2Engels
TitelProceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010, Budapest, Hungary, July 5-9, 2010), CD-ROM
StatusGepubliceerd - 2010


Duik in de onderzoeksthema's van 'Temporal logic control for piecewise-affine hybrid systems on polytopes'. Samen vormen ze een unieke vingerafdruk.

Citeer dit