Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS
Gang Chen, Zhaodan Kong, Longhan Xie
International Journal of Control,2024
PDF   Abstract   BibTeX  

‘Co-design’ problems try to simultaneously design the physical and control components to improve the overall system performance. However, existing co-design paradigms cannot deal with complex frequency temporal domain specifications. In this paper, we investigate the co-design problem for a class of linear parameter-varying (LPV) systems with frequency temporal domain specifications. Firstly, the frequency temporal domain specifications are written in a formal language called spectral temporal logic (STL). Secondly, the satisfaction conditions of the spectral temporal logic specifications have been transformed into non-linear matrices inequality forms with necessary and sufficient conditions. Thirdly, the co-design problem is transformed into a non-convex optimisation problem with mixed-integer linear matrix inequalities (MILMIs) constraints, and then an iterative algorithm is proposed to solve the co-design problem with semidefinite programming (SDP). Finally, the performance of the algorithm and the expressiveness of spectral temporal logic are illustrated with the applications to micro-electromechanical systems (MEMS).

              @article{chen2024control,
                title={Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS},
                author={Chen, Gang and Kong, Zhaodan and Xie, Longhan},
                journal={International Journal of Control},
                pages={1--16},
                year={2024},
                publisher={Taylor \& Francis}
              }