Efficient hardware realization of spiking neural networks is of great significance in a wide variety of applications, such as high-speed modeling and simulation of large-scale neural systems.

In this article, a collection of conditions to achieve asymptotic stability of switched nonlinear systems with guaranteed safety via a state-dependent switching law are provided, where the asymptotic ...