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 ...

Read Levin's chapter on functions. Go over the exercises at the end. Note that Levin skips over the more general notion of relation -- he comes to it in a later stage, though. We will talk about ...

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 ...