  The paper investigates sufficient conditions on a differential inclusion
which guarantee that the origin is a finite time stable equilibrium, namely a
weak local one, a weak global one or a strong local one. The analysis relies on
the existence of a Lyapunov function. A new Gronwall type results are used to
estimate the settling time. An example of a neural network which is finite-time
stable is given
