We consider a class of nonlinear systems for which an observer-based output-feedback controller is updated at discrete time instances. However, the received update or patch can be compromised by the attacker to drive the system to instability. In this paper, we provide a checkable condition to ensure that the received patch has not been tampered with to cause instability in the control system. Moreover, we guarantee that the application of the tamper-free patch ensures global asymptotic stability of the control system by choosing the update time instances appropriately. The secure patch update protocol is illustrated on an example involving the output-feedback synchronization of two neuron population models, where the observer gains are updated at discrete time instances.
QC 20190306