Time-constrained temporal logic control of multi-affine systems
Gol, Ebru Aydin
MetadataShow full item record
Citation (published version)Ebru Aydin Gol, Calin Belta. 2013. "Time-constrained temporal logic control of multi-affine systems." Nonlinear Analysis-Hybrid Systems, Volume 10, pp. 21 - 33 (13). doi:10.1016/j.nahs.2013.03.002
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.
RightsAttribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)