A RELIABILITY TEST METHOD FOR AGRICULTURAL PADDY FIELD INTELLIGENT ROBOT

摘要

With the development of artificial intelligence technology, in order to alleviate the labour intensity of agricultural paddy field production and improve production efficiency, the development of robot used in paddy field production has been a hot research in the field of agricultural production. Different from the industrial environment, the agricultural production environment is complex, and there are many interference factors to the intelligent robot. Therefore, ensuring the reliability of the robot in the operation has become an important index in the production process. The model checking technique can evaluate the reliability of the system when designing the system. In this paper, timed automata is used to model the agricultural paddy field intelligent robot, and the environmental influence factor model is introduced, so as to evaluate the reliability of the system qualitatively and quantitatively in the design of the agricultural paddy field robot. Finally, the control prediction of the system safety is carried out, and to provide a definite basis for the actual engineering design.