Language-guided controller synthesis for linear systems

E. (Ebru) Aydin Gol, M. Lazar, C. Belta

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

23 Citaten (Scopus)
203 Downloads (Pure)


This paper considers the problem of controlling discrete-time linear systems from specifications given as formulas of syntactically co-safe linear temporal logic over linear predicates in the state variables. A systematic procedure is developed for the automatic computation of sets of initial states and feedback controllers such that all the resulting trajectories of the closed-loop system satisfy the given specifications. The procedure is based on the iterative construction and refinement of an automaton that enforces the satisfaction of the formula. Linear programming based approaches are proposed to compute the polytope-to-polytope controllers that label the transitions of the automaton. Extensions to discrete-time piecewise affine systems and specifications given as formulas of full linear temporal logic are included. The algorithms developed in this paper were implemented as a software package that is available for download. Their application and effectiveness are demonstrated for several case studies.
Originele taal-2Engels
Pagina's (van-tot)1163-1176
Aantal pagina's14
TijdschriftIEEE Transactions on Automatic Control
Nummer van het tijdschrift5
StatusGepubliceerd - 2014


Duik in de onderzoeksthema's van 'Language-guided controller synthesis for linear systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit