Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks

Luyao Niu, Jie Fu, Andrew Clark

Cyber-physical systems are conducting increasingly complex tasks, which are often modeled using formal languages such as temporal logic. The system's ability to perform the require…