Shuling Wang, Shanying Zhu, Cailian Chen, Liang Xu. Controller Synthesis of Signal Temporal Logical Tasks for Cyber-Physical Production Systems via Acyclic Decomposition. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 2859-2864, IEEE, 2023. [doi]
Abstract is missing.