Real world systems of interest often feature interactions between discrete and continuous
dynamics. Various hybrid system formalisms have been used to model and analyze this
combination of dynamics, ranging from mathematical descriptions, eg, using impulsive
differential equations and switching, to automata-theoretic and language-based
approaches. This paper bridges two such formalisms by showing how various classes of
switched systems can be modeled using the language of hybrid programs from differential …

Real world systems of interest often feature interactions between discrete and continuous
dynamics. Various hybrid system formalisms have been used to model and analyze this
combination of dynamics, ranging from mathematical descriptions, eg, using impulsive
differential equations and switching, to automata-theoretic and language-based
approaches. This paper bridges two such formalisms by showing how various classes of
switched systems can be modeled using the language of hybrid programs from differential …