False-Data Injection Attack in Electricity Generation System Subject to Actuator Saturation: Analysis and Design | Synapse