论文部分内容阅读
主要研究了一种基于状态空间的混成系统设计方法的理论基础.首先,在引入相关的OONTROL语言的基础上,给出了其用“演化机”定义的操作语义和用扩展的Hoare逻辑形式系统H'定义的公理语义.然后证明了H'是以演化机为模型的,即论证了H’的合理性.从而,在某种程度上保证了设计过程的正确性,提高了混成系统设计的可靠性。