A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems

DOI10.1109/tac.2022.3168489arXiv2104.01385OpenAlexW3151231919MaRDI QIDQ6053240

Unnamed Author, Yinan Li, Jun Liu

Publication date: 26 September 2023

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

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

zbMATH Keywords

nonlinear controlinterval analysisformal methodslinear temporal logic (LTL)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

ABS: A formally correct software tool for space-efficient symbolic synthesis

This page was built for publication: A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems