网络化控制系统的协同设计与形式化建模

为满足网络化控制系统的综合性能要求,实现其设计过程的形式化和规范化，针对其设计过程进行了形式化建模。给出了网络化控制系统中网络、控制、结构实体三个子模型的定义，分析了三者的构成要素以及相互之间的映射关系；进而提出了基于网络服务质量和控制性能质量的协同设计框架，并利用统一建模语言进行网络化控制系统的结构实体子模型设计，分析了网络化控制系统建模中类的概念和构造，针对类的属性和方法进行了扩展，归纳了建模过程的一般性步骤。最后以一台网络化三轴数控钻床的设计过程为例，实现并验证了所提出协同设计框架与形式化建模过程的可行性。