Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
167
views
0
downloads
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.