Abstract
Recent years have witnessed the rapid development and deployment of cyber and computer technologies, thus highly influencing the design methodologies of discrete-event and hybrid systems, i.e., systems with discrete and mixed discrete-continuous states/inputs. Their prevalence can be found in almost all areas of human life, such as embedded software, automated manufacturing systems, work-flow management, logic controllers, communication protocols, robotics, transportation and mobility, military, smart buildings, etc. Given the criticality of such applications, such systems ought to be carefully modeled, thoroughly verified, and adequately analyzed.