Multitask Synthesis of Hybrid Systems via Temporal Logic

DOI10.1109/TAC.2023.3250349OpenAlexW4322706875MaRDI QIDQ6198406

Jitao Sun, Yuhua Yao, Yu Zhang

Publication date: 22 February 2024

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

Full work available at URL: https://doi.org/10.1109/tac.2023.3250349

zbMATH Keywords

hybrid systemfinite time stabilitysignal temporal logic (STL)Boolean network (BN)set dwell

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Multitask Synthesis of Hybrid Systems via Temporal Logic