Language-Guided Controller Synthesis for Linear Systems

Download

index.pdf

Date

2014-05-01

Author

Aydın Göl, Ebru
Belta, Calin

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

171
views

164
downloads

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.

Subject Keywords

Control and Systems Engineering, Electrical and Electronic Engineering, Computer Science Applications

URI

https://hdl.handle.net/11511/47028

Journal

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

DOI

https://doi.org/10.1109/tac.2013.2295664

Collections

Department of Computer Engineering, Article

Suggestions

OpenMETU
Core

Language guided controller synthesis for discrete time linear systems Aydın Göl, Ebru; Belta, Calin (2012-04-17) 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 of the system. 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 corresponding closed-loop system satisfy the given specifications. The procedure is based on the iterative construction and ...
Observability Through a Matrix-Weighted Graph Tuna, Sezai Emre (Institute of Electrical and Electronics Engineers (IEEE), 2018-07-01) Observability of an array of identical linear time-invariant systems with incommensurable output matrices is studied, where an array is called observable when identically zero relative outputs imply synchronized solutions for the individual systems. It is shown that the observability of an array is equivalent to the connectivity of its interconnection graph, whose edges are assigned matrix weights. Moreover, to better understand the relative behavior of distant units, pairwise observability that concerns wi...
An online sequential algorithm for the estimation of transition probabilities forjump Markov linear systems Orguner, Umut (Elsevier BV, 2006-10-01) This paper describes a new method to estimate the transition probabilities associated with a jump Markov linear system. The new algorithm uses stochastic approximation type recursions to minimize the Kullback-Leibler divergence between the likelihood function of the transition probabilities and the true likelihood function. Since the calculation of the likelihood function of the transition probabilities is impossible, an incomplete data paradigm, which has been previously applied to a similar problem for hi...
System identification with generalized orthonormal basis functions: an application to flexible structures Nalbantoglu, V; Bokor, J; Balas, G; Gaspar, P (Elsevier BV, 2003-03-01) This paper presents an application of a multi-input/multi-output identification technique based on system-generated orthonormal basis functions to a flexible structure. A priori information about the poles of the system, part of which corresponds to the natural frequencies of the structure, is used to generate the orthonormal basis functions. A multivariable model is identified for the experimental flexible structure by using these orthonormal basis functions. It is shown that including a priori knowledge o...
Random Set Methods Estimation of Multiple Extended Objects Granstrom, Karl; Lundquist, Christian; Gustafsson, Fredrik; Orguner, Umut (Institute of Electrical and Electronics Engineers (IEEE), 2014-06-01) Random set-based methods have provided a rigorous Bayesian framework and have been used extensively in the last decade for point object estimation. In this article, we emphasize that the same methodology offers an equally powerful approach to estimation of so-called extended objects, i.e., objects that result in multiple detections on the sensor side. Building upon the analogy between Bayesian state estimation of a single object and random finite set (RFS) estimation for multiple objects, we give a tutorial...

Citation Formats

E. Aydın Göl and C. Belta, “Language-Guided Controller Synthesis for Linear Systems,” IEEE TRANSACTIONS ON AUTOMATIC CONTROL, pp. 1163–1176, 2014, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/47028.