Time-constrained temporal logic control of multi-affine systems

Download
2013-11-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 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.
NONLINEAR ANALYSIS-HYBRID SYSTEMS

Suggestions

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 the existence and stability of an almost periodic solution of the following hybrid system:
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.