An additive cost approach to optimal Temporal Logic control

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.


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...
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...
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...
Citation Formats
E. Aydın Göl, “An additive cost approach to optimal Temporal Logic control,” 2014, Accessed: 00, 2020. [Online]. Available: