Time-constrained temporal logic control of multi-affine systems

Download

index.pdf

Date

2013-11-01

Author

Aydın Göl, Ebru
Belta, Calin

Metadata

Show full item record

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

Item Usage Stats

14
views

17
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

Citation Formats

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