Collaborative design of fault diagnosis and fault tolerance control under nested signal temporal logic specifications

Penghong Lu, Gang Chen, Rong Su

Signal Temporal Logic (STL) specifications play a crucial role in defining complex temporal properties and behaviors in safety-critical cyber-physical systems (CPS). However, fault…