In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 3015-3020. 2000.
Abstract: This paper is concerned with high level control of robot systems. The robot system is abstracted as a discrete-event system and a high-level controller is given which consists of an LLP supervisor and a Petri net model. A simple application of the presented model to a mobile robot system is given.
Keywords: LLP supervisory control, Petri nets, mobile robot systems.