Stability and stabilization of discrete event dynamic systems