The world today is marked by paradox. Never before has humanity possessed such extraordinary scientific knowledge, ...

Abstract: We introduce an algorithm for synthesizing and verifying piecewise linear Lyapunov functions to prove global exponential stability of piecewise linear dynamical systems. The Lyapunov ...

Abstract: The fault detection and isolation problem is considered in the context of switching linear systems. The problem is tackled by searching for suitable residual signal generators, whose ...