On condition/event systems with discrete state realizations
On condition/event systems with discrete state realizations
复制标题
具有离散状态实现的条件/事件系统
DOI：
10.1007/bf01805563
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
B. Krogh
中科院分区：
文献类型：
--
作者：
R. Sreenivas;B. Krogh
条件/事件(C/E)系统是一类具有两种离散值输入输出信号的连续时间离散事件动态系统(DEDS)。在离散控制等应用中，C/E系统提供了一个直观的连续时间建模框架，服从于框图表示。本文考虑具有离散状态实现的C/E系统，研究了连续时间C/E系统与其顺序输入输出行为的非时间模型C/E语言之间的关系。我们证明了具有离散状态实现的C/E系统必然是时变不变的(定理3.1)，这意味着允许的连续时间输入输出行为的集合完全由系统的C/E语言来刻画(定理4.1)。还证明了具有离散状态实现的确定性C/E系统必然是离散(时钟)系统(推论3.1)，并且仅当C/E系统的相关C/E语言有有限状态生成器时，C/E系统才存在有限离散状态实现(定理4.2)。最后，我们给出了由级联和反馈互连产生的C/E系统的等价离散状态实现。文章最后讨论了未来研究的几个方向。
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 andevent 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 necessarilytime-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.