LTL receding horizon control for finite deterministic systems

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

LTL receding horizon control for finite deterministic systems

This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Under the assumption that timevarying rewards are associated with states of the system and these rewards can be observed in real-time, the control objective is tomaximize the collected rewardwhile satisfying the high lev...

متن کامل

Distributed Receding Horizon Control of Multiagent Systems

Multiagent systems arise in several domains of engineering. Examples include arrays of mobile sensor networks for aggregate imagery, autonomous highways, and formations of unmanned aerial vehicles. In these contexts, agents are governed by vehicle dynamics and often constraints, and the control objective is achieved by cooperation. Cooperation refers to the agreement of the agents to 1) have a ...

متن کامل

Unconstrained receding-horizon control of nonlinear systems

It is well known that unconstrained infinite-horizon optimal control may be used to construct a stabilizing controller for a nonlinear system. In this note, we show that similar stabilization results may be achieved using unconstrained finite horizon optimal control. The key idea is to approximate the tail of the infinite horizon cost-to-go using, as terminal cost, an appropriate control Lyapun...

متن کامل

Receding Horizon Networked Control

This paper deals with the design of control systems over lossy networks. A network is assumed to exist between the sensor and the controller and between the latter and the actuator. Packets are dropped according to a Bernoulli independent process, with γ and μ being the probabilities of losing an observation packet and a control packet respectively, at time any instant t. A receding horizon con...

متن کامل

Receding Horizon Linear Quadratic Control with Finite Input Constraint Sets

By exploring the geometry of the underlying constrained optimization, a finitely parameterized solution to the discrete time receding horizon linear quadratic control problem with a finite input constraint set is obtained. The resulting controller gives rise to a closed loop system which is piece-wise affine in the plant state. The switching regions are polytopes and are related to those obtain...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Automatica

سال: 2014

ISSN: 0005-1098

DOI: 10.1016/j.automatica.2013.11.030