Nonlinear system examples. Stability in the sense of Lyapunov. Lyapunov functions. The invariance principle. Lyapunov-based design. Backstepping. Input-output stability. Passivity and small-gain theorems. Input to state stability. Dissipativity. Note: Only one of the following courses may be taken for credit: ECE 561 or E E 666.