| 一种基于状态空间的混成系统设计方法的理论基础研究 |
| |
| 引用本文： | 吴定豪,吕建. 一种基于状态空间的混成系统设计方法的理论基础研究[J]. 南京大学学报(自然科学版), 1999, 35(5): 564-572 |
| |
| 作者姓名： | 吴定豪 吕建 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室!南京大学计算机软件研究所，210093，南京，南京大学计算机软件新技术国家重点实验室!南京大学计算机软件研究所，210093，南京 |
| |
| 摘 要： | 主要研究了一种基于状态空间的混成系统设计方法的理论基础．首先，在引入相关的ＣＯＮＴＲＯＬ语言的基础上，给出了其用“演化机”定义的操作语义和用扩展的Ｈｏａｒｅ 逻辑形式系统Ｈ′定义的公理语义．然后证明了Ｈ′是以演化机为模型的，即论证了Ｈ′的合理性．从而，在某种程度上保证了设计过程的正确性，提高了混成系统设计的可靠性
|
| 关 键 词： | 混成系统 状态空间 演化机 合理性 可靠性 |
ON THEORETICAL BASIS OF A STATE SPACE BASED APPROACH TO THE DESIGN OF HYBRID SYSTEM |
| |
| Wu Dinghao Lu Jian. ON THEORETICAL BASIS OF A STATE SPACE BASED APPROACH TO THE DESIGN OF HYBRID SYSTEM[J]. Journal of Nanjing University: Nat Sci Ed, 1999, 35(5): 564-572 |
| |
| Authors: | Wu Dinghao Lu Jian |
| |
| Abstract: | |
| |
| Keywords: | Hybrid sytem state space control refinement specification verification |
| 本文献已被 CNKI 维普 等数据库收录！ |
