Control of Robots Using Discrete Event System Theory

In this paper, we present a project being conducted at Yalong Educational Equipment Company on control of educational robots using discrete event system theory. An educational robot is a programmable robot to be used by students for training and learning. To model a robot, we divide the robot into nine physical modules. Each module is modeled as an automaton. Parallel composition is used to obtain the entire model. The robot can be programmed to perform sequences of basic tasks. We investigate six basic tasks and use supervisors to control and achieve the tasks. Desired languages are obtained for all tasks and supervisory control theory is used to synthesize supervisors. To reduce computational complexity, modular/coordinated supervisors are used