مدلسازی خودکار و شبیه سازی رفتار برنامه ربات در آماده سازی مجدد مجازی و راه اندازی مجدد

This paper presents a method where the behavior of a robot cell is automatically modeled based on existing robot programs and a simulation model of the cell. Robot programs from the shop floor are uploaded into a virtual manufacturing tool, and a formal model is then generated from the robot programs. Then, control logic is automatically calculated, and the fastest possible execution order is found by using the generated model to formulate an optimization problem. The result is continuously analyzed and validated by simulation in the virtual manufacturing tool.