Existence of binary invariant sets in feedback neural networks with application to synthesis

The design of fully connected discrete-time neural networks, with threshold units, can be performed by solving a set of linear inequalities. Using this formulation, the design problem can be handled by several powerful algorithms. This approach is extended to the design of continuous-time neural networks with sigmoidal units, which represent a more realistic model of analog circuit implementations. The proposed method is based on some theoretical results proved in this paper