We make the case that Discrete Event System Speci cation (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS o ers an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems. We review some known features of DEVS and its extensions. We then focus on the use of DEVS to formulate and synthesize supervisory level controllers.