Secure Patching of an Output-Feedback Controller for a Class of Nonlinear Systems Under Adversarial Attack | IEEE Conference Publication | IEEE Xplore