Penghong Lu, Gang Chen 0024, Peng Wei, Rong Su 0001. Collaborative Design of Fault Diagnosis and Fault Tolerance Control Under Nested Signal Temporal Logic Specifications. IEEE T. Automation Science and Engineering, 23:2162-2175, 2026. [doi]
Abstract is missing.