Time-constrained temporal logic control of multi-affine systems

Download

index.pdf

Date

2013-11-01

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

237
views

108
downloads

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 multi-affine 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 estimating the time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition system and an automaton that enforces the satisfaction of the specification. A random optimization algorithm is used to iteratively improve the solution.

Subject Keywords

Control and Systems Engineering, Analysis, Computer Science Applications

URI

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

Journal

NONLINEAR ANALYSIS-HYBRID SYSTEMS

DOI

https://doi.org/10.1016/j.nahs.2013.03.002

Collections

Department of Computer Engineering, Article

Suggestions

OpenMETU
Core

Periodic solutions of the hybrid system with small parameter Akhmet, Marat; Ergenc, T. (Elsevier BV, 2008-06-01) In this paper we investigate the existence and stability of the periodic solutions of a quasilinear differential equation with piecewise constant argument. The continuous and differentiable dependence of the solutions on the parameter and the initial value is considered. A new Gronwall-Bellman type lemma is proved. Appropriate examples are constructed.
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...
Almost periodic solutions of differential equations with piecewise constant argument of generalized type Akhmet, Marat (Elsevier BV, 2008-06-01) We consider existence and stability of an almost periodic solution of the following hybrid system dx(t) dt = A(t)x(t) + f(t, x(θβ(t)−p1 ), x(θβ(t)−p2 ), . . . , x(θβ(t)−pm )), (1) where x ∈ R n , t ∈ R, β(t) = i if θi ≤ t < θi+1, i = . . .−2, −1, 0, 1, 2, . . . , is an identification function, θi is a strictly ordered sequence of real numbers, unbounded on the left and on the right, pj , j = 1, 2, . . . , m, are fixed integers, and the linear homogeneous system associated with (1) satisfies exponential dich...
Exhaustive study on the commutativity of time-varying systems KÖKSAL, MUHAMMET (Informa UK Limited, 1988-5) This paper, which is a survey and a compact reference on the commutativity of time-varying systems, gives the complete set of necessary and sufficient commutativity conditions for systems of any order. Original results are derived on Euler's systems, and explicit commutativity conditions are presented for fourth-order systems, which have not yet appeared in the literature.
Random Set Methods Estimation of Multiple Extended Objects Granstrom, Karl; Lundquist, Christian; Gustafsson, Fredrik; Orguner, Umut (Institute of Electrical and Electronics Engineers (IEEE), 2014-06-01) Random set-based methods have provided a rigorous Bayesian framework and have been used extensively in the last decade for point object estimation. In this article, we emphasize that the same methodology offers an equally powerful approach to estimation of so-called extended objects, i.e., objects that result in multiple detections on the sensor side. Building upon the analogy between Bayesian state estimation of a single object and random finite set (RFS) estimation for multiple objects, we give a tutorial...

Citation Formats

E. Aydın Göl, “Time-constrained temporal logic control of multi-affine systems,” NONLINEAR ANALYSIS-HYBRID SYSTEMS, pp. 21–33, 2013, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/39745.