变迁系统相关论文
该文讨论了变迁系统的乘运算和加运算,并对它们的性质进行了深入分析,得到它们合成点分离性质和边分离性质是保持的,由此得到基本......
提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的......
文中通过对基本变迁系统进行相应的扩充，分别给出并发、实时及混成等3个不同抽象层次反应型控制系统的计算模型，并分析它们各自不同......
