一种基于状态空间的混成系统设计方法的理论基础研究

摘要

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