Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

DOI10.1109/TAC.2019.2902643zbMath1437.93032arXiv1712.06014OpenAlexW2952454357WikidataQ128284954 ScholiaQ128284954MaRDI QIDQ5211227

Pierre-Jean Meyer, Dimos V. Dimarogonas

Publication date: 28 January 2020

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1712.06014

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Verification and runtime assurance for dynamical systems with uncertainty

This page was built for publication: Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems