关于常规异步系统的串行连接
摘要：非同步系统f是多值函数，代表了数字电气工程中非确定性模型的非同步电路。在实时中，它们将“可接受输入”函数u:R→{0,1}^m映射到一组“可能状态”xinf(u)，其中x:R→{0,1}^m。当f是通过使用“生成函数”Φ:{0,1}^n×{0,1}^m→{0,1}^n定义的时候，系统被称为正则系统。通常定义的串联系统作为多值函数的组合不能使正则系统变为正则系统，因此本研究的第一个问题是以合适的方式修改串联连接的定义，以使其符合正则性。这个意图在先前的工作中首次提出，但没有证明系统的串联连接是正则的。我们当前的目的是修正并证明该结果。
作者：Serban E. Vlad
论文ID：1206.4708
分类：General Literature
分类简称：cs.GL
提交时间：2012-06-22