Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
