Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks.

Jintao Jia, Gaiyun Liu, Zhiwu Li

Browse the full VECoS paper archive.