A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models

A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models

0.00 Avg rating0 Votes
Article ID: iaor19982042
Country: Netherlands
Volume: 77
Issue: 1
Start Page Number: 157
End Page Number: 182
Publication Date: Feb 1998
Journal: Annals of Operations Research
Authors: ,
Keywords: robotics, automata
Abstract:

The supervisory controller for a robot cell is specified as a dynamic control policy that determines the part processing sequence and the robot work cycle depending on the state of the cell. The supervisory controller should be designed not only to satisfy the prescribed logical requirements or constraints, but also to achieve the maximum operating efficiency. We discuss modeling and control issues for robot task planning. We propose a two-phase approach to design the supervisory controller that consists of the logical design phase and the performance design phase. In the first phase, we use a model checking technique for concurrent automata to verify whether the proposed logical control rules satisfy the logical requirements. The logical control requirements may include deadlock prevention, obedience to the technological operation sequence of each part, or prevention of wasteful robot moves. In the second phase, we use semi-Markov decision models to determine additional control decisions for which the robot cell has the maximum throughput rate. We discuss the structure and algorithms of the performance control design problem.

Reviews

Required fields are marked *. Your email address will not be published.