Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS
From MaRDI portal
Publication:6666667
DOI10.1080/00207179.2024.2310610MaRDI QIDQ6666667
Zhaodan Kong, Longhan Xie, Paul Gang Chen
Publication date: 20 January 2025
Published in: International Journal of Control (Search for Journal in Brave)
This page was built for publication: Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS