Language guided controller synthesis for discrete time linear systems

Date

2012-04-17

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

173
views

0
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 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 refinement of an automaton that enforces the satisfaction of the formula. Interpolation and polyhedral Lyapunov function based approaches are proposed to compute the polytope-to-polytope controllers that label the transitions of the automaton. The algorithms developed in this paper were implemented as a software package that is available for download. Their application and effectiveness are demonstrated for two challenging case studies.

Subject Keywords

Linear temporal logic, Automata theory, Constrained control, Polytope-to-polytope control, Polyhedral Lyapunov functions

URI

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

DOI

https://doi.org/10.1145/2185632.2185649

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Language-Guided Controller Synthesis for Linear Systems Aydın Göl, Ebru; Belta, Calin (Institute of Electrical and Electronics Engineers (IEEE), 2014-05-01) 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 t...
A Simulink Nonlinear Model for LSRA Control Scheme Analysis Pestana, Luis M.; Calado, M. do Rosario A.; Mariano, Silvio S. (2011-09-10) This paper addresses the nonlinear model implementation of a Linear Switched Reluctance Actuator (LSRA) in the MATLAB/ Simulink simulation package. The model is based in an already implemented motor model for the rotating machine, which was improved and adopted to be applied in the analysis of a linear actuator. Both the magnetic information from experimental data and results obtained from Finite Element Analysis (FEA) were used to perform that study. The model is used in the assessment of several control s...
Temporal logic model predictive control for discrete time systems Aydın Göl, Ebru (2013-04-08) This paper proposes an optimal control strategy for a discrete-time linear system constrained to satisfy a temporal logic specification over a set of linear predicates in its state variables. The cost is a quadratic function that penalizes the distance from desired state and control trajectories. The specification is a formula of syntactically co-safe Linear Temporal Logic (scLTL), which can be satisfied in finite time. It is assumed that the reference trajectories are only available over a finite horizon a...
Stable controller design for the T-S fuzzy model of a flexible-joint robot arm based on lie algebra Gurkan, E; Banks, SP; Erkmen, İsmet (2003-12-12) In this paper, we develop a novel approach for the stability of T-S fuzzy systems using the Lie algebra generated by the linear subsystems used in the T-S model. The theory is illustrated on the T-S fuzzy model of a flexible joint robot arm. We use our approach to design a controller satisfying our Lie algebra based stability criteria and demonstrate its performance on the robotic system.
Time Constrained Temporal Logic Control of Multi Affine Systems Aydın Göl, Ebru (2012-01-01) In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multiaffine systems and specifications given as syntactically co-safe linear temporal logic formulas over rectangular regions in the state space. The proposed algorithm is based on the estimation of time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition sys...

Citation Formats

E. Aydın Göl and C. Belta, “Language guided controller synthesis for discrete time linear systems,” 2012, vol. 7, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/40942.