Abstract: S/sub N/-algebra-the new mathematical means for the logic design of digital systems-is presented. The paper contains the information for an introduction to S/sub N/-algebra: main definitions ...

Abstract: We present a novel method to compute convex Lyapunov functions for discrete-time, switched systems. The individual subsystems are assumed to be linear. The method uses linear programming to ...