On condition/event systems with discrete state realizations

This paper introduces condition/event (C/E) systems as a class of continuous-time discrete event dynamic systems (DEDS) with two types of discrete-valued input and output signals: condition signals and event signals. In applications such as discrete control, C/E systems provide an intuitive continuous-time modeling framework amenable to block diagram representation. In this paper we consider C/E systems with discrete state realizations, and study the relationship between continuous-time C/E systems and untimed models of their sequential inputoutput behavior called C/E languages. We show that C/E systems with discrete state realizations are necessarily time-change invariant (Theorem 3.1), which means the ensemble of admissible continuous-time input-output behaviors is completely characterized by the C/E language for the system (Theorem 4.1). It is also shown that deterministic C/E systems with discrete state realizations are necessarily discrete-time (clocked) systems (Corollary 3.1), and that finite discrete state realizations exist for a C/E system only if its related C/E language has a finite state generator (Theorem 4.2). Finally, we develop equivalent discrete-state realizations for C/E systems resulting from cascade and feedback interconnections. The paper concludes with a discussion of several directions for future research.