Time Constrained Temporal Logic Control of Multi Affine Systems

Aydın Göl, Ebru
Belta, Calin
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 system and an automaton that enforces the satisfaction of the specification. A random optimization algorithm is used to iteratively improve the solution.
Citation Formats
E. Aydın Göl and C. Belta, “Time Constrained Temporal Logic Control of Multi Affine Systems,” 2012, vol. 45, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/35534.