IEEE - Institute of Electrical and Electronics Engineers, Inc. - Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Author(s): Pierre-Jean Meyer ; Dimos V. Dimarogonas
Sponsor(s): IEEE Control Systems Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2019
Volume: 64
Page(s): 4,676 - 4,683
ISSN (CD): 2334-3303
ISSN (Electronic): 1558-2523
ISSN (Paper): 0018-9286
DOI: 10.1109/TAC.2019.2902643
Regular:

This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a linear temporal logic (LTL) formula. The proposed solution is a top-down hierarchical... View More

Advertisement