An Improved Quadratic Function Negative Definiteness Lemma for the Stabilization of Nonlinear Cyber–Physical Systems With Actuator Faults | Synapse