工业机器人模块化建模与验证

Modular modeling and verification for industry robot system

为降低对机器人系统的建模难度,提升建模效率,提出一种对工业机器人的任务控制系统和通信系统模块化建模与验证的方法。基于模型检测技术,将系统划分成相对独立的子模块,对各子模块分别用时间自动机建模,得到一系列模块化模型,模块化模型通过组合形成系统的完整模型网络;在UPPAAL (模型检测工具)中对该完整模型网络的关键属性进行验证。设计基于OUR-1工业机器人的应用案例对该方法进行验证,验证结果表明,该方法可正确建立机器人系统模型,有效降低建模难度,提升建模效率,为复杂机器人系统提供了可参考的建模验证思路。

To reduce the difficulty of modeling the complex robot system and improve the efficiency of modeling,a modular modeling and verification method for the task control system and communication system of industrial robot was proposed.The system was divided into relatively independent modules,and each module was modeled separately to obtain a modular model.The modular models were combined to form a complete model network of the entire system.The key properties of the complete model network were verified in the model checking tool UPPAAL.The application of OUR-1 industrial robots was designed to verify the proposed method.The results show that this method can correctly build the complex robot system model,and can effectively reduce the modeling difficulty,improve the modeling efficiency.It provides a referable method for modelling and verification of robot complex system.