Time-constrained temporal logic control of multi-affine systems (Q2252961): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: conPAS / rank | |||
Normal rank |
Revision as of 06:08, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Time-constrained temporal logic control of multi-affine systems |
scientific article |
Statements
Time-constrained temporal logic control of multi-affine systems (English)
0 references
24 July 2014
0 references
In the paper, the following problem is considered: Given a multi--affine control system and syntactically co--safe Linear Temporal Logic (LTL) formula over rectangular subregions of the state space, find a set of initial states for which there exists a control strategy such that all the trajectories of the closed--loop system satisfy the formula within a given bound. Syntactically co--safe LTL formulas can be used to describe finite horizon specification such as target reachability with obstacles avoidance: ''always avoid obstacle O until reaching target T'', sequencing constraints ''go to C and not go to A or B unless C was visited before'', and more complex temporal and Boolean combinations of these. The authors describe in detail the control strategy based on deterministic Büchi automata. An iterative refinement procedure via a random optimization algorithm is proposed. Also two examples are given. Computational experiments can be performed using the authors' Matlab program conPAS available for download from the webside hyness.bu.edu/software.
0 references
multi--afine systems
0 references
control design
0 references
linear temporal logic
0 references
automata theory
0 references