An additive cost approach to optimal Temporal Logic control

Download

index.pdf

Date

2014-07-21

Author

Aydın Göl, Ebru

Metadata

Show full item record

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

Item Usage Stats

123
views

170
downloads

This paper presents a provably-correct Model Predictive Control (MPC) scheme for a discrete-time linear system. The cost is a quadratic that penalizes the distance from desired state and control trajectories, which are only available over a finite horizon. Correctness is specified as a syntactically co-safe Linear Temporal Logic (scLTL) formula over a set of linear predicates in the states of the system. The proposed MPC controller solves a set of convex optimization problems guided by the specification. The objective of each optimization is to minimize the quadratic cost function and a distance to the satisfaction of the specification. The latter part of the objective and the constraints of the problem guarantee that the closed-loop trajectory satisfies the specification, while the former part is used to minimize the distance from the reference trajectories.

Subject Keywords

Safety properties, Model checking, Systems

URI

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

DOI

https://doi.org/10.1109/acc.2014.6859209

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

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...
Computational platform for predicting lifetime system reliability profiles for different structure types in a network Akgül, Ferhat (2004-01-01) This paper presents a computational platform for predicting the lifetime system reliability profiles for different structure types located in an existing network. The computational platform has the capability to incorporate time-variant live load and resistance models. Following a review of the theoretical basis, the overall architecture of the computational platform is described. Finally, numerical examples of three existing bridges (i.e., a steel, a prestressed concrete, and a hybrid steel-concrete bridge...
A state prediction scheme for discrete time nonlinear dynamic systems Demirbaş, Kerim (Informa UK Limited, 2007-01-01) A state prediction scheme is proposed for discrete time nonlinear dynamic systems with non-Gaussian disturbance and observation noises. This scheme is based upon quantization, multiple hypothesis testing, and dynamic programming. Dynamic models of the proposed scheme are as general as dynamic models of particle predictors, whereas the nonlinear models of the extended Kalman (EK) predictor are linear with respect to the disturbance and observation noises. The performance of the proposed scheme is compared wi...
A new algorithm and computation approach for economic dispatch with prohibited operating zones in power systems Cetinkaya, N; Urkmez, A; Erkmen, İsmet; Yalcinoz, T (2005-01-01) This paper presents a new algorithm and computation approach to solve the economic load dispatch (ELD) in electrical power systems. We applied a new power formula to solve the LLD problem. If production units cost Curves are represented property then ELD becomes More Correct. In this respect we assumed that production units have prohibited operating zones. Cost curves of the production units are generally accepted as piece-wise quadratic function. The power production is cheaper since we do not use the prod...
An artificial neural network estimator design for the inferential model predictive control of an industrial multi-component distillation column Bahar, Almila; Özgen, Canan; Department of Chemical Engineering (2003) An inferential control methodology, that utilizes an artificial neural network (ANN) estimator for a model predictive controller, is developed for an industrial multi-component distillation column. In the column, propane and butane is separated from a mixture of propane, n-butane, i-butane, and i-pentane with a top product purity of 96% propane and a bottom product purity of 63% n- butane. Dual composition control of the column must be used in a multivariable model predictive controller for an efficient ope...

Citation Formats

E. Aydın Göl, “An additive cost approach to optimal Temporal Logic control,” 2014, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/41648.