摘要: 为满足网络化控制系统的综合性能要求,实现其设计过程的形式化和规范化,针对其设计过程进行了形式化建模。给出了网络化控制系统中网络、控制、结构实体三个子模型的定义,分析了三者的构成要素以及相互之间的映射关系;进而提出了基于网络服务质量和控制性能质量的协同设计框架,并利用统一建模语言进行网络化控制系统的结构实体子模型设计,分析了网络化控制系统建模中类的概念和构造,针对类的属性和方法进行了扩展,归纳了建模过程的一般性步骤。最后以一台网络化三轴数控钻床的设计过程为例,实现并验证了所提出协同设计框架与形式化建模过程的可行性。
中图分类号:
彭可,,罗安,张伟,涂春鸣. 网络化控制系统的协同设计与形式化建模[J]. .
PENG Ke,, LUO An,ZHANG Wei, TU Chun-ming. Co-design and formal modeling of networked control system[J]. .