DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems

We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor 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.

• Type: Conference
• Year: 1994
• Where: HYBRID
• Authors: Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Praehofer
• Keywords: Control Systems, DEVS, Discrete Event, HYBRID 1994, Speci Cation Devs