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

Tae-Eog Lee and Jin-Hwan Lee

Annals of Operations Research, 1998, vol. 77, issue 0, 157-182

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. Copyright Kluwer Academic Publishers 1998

Keywords: robot cell; supervisory control; task planning; model checking; automata; semi-Markov decision model (search for similar items in EconPapers)
Date: 1998
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1023/A:1018921310489 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:annopr:v:77:y:1998:i:0:p:157-182:10.1023/a:1018921310489

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10479

DOI: 10.1023/A:1018921310489

Access Statistics for this article

Annals of Operations Research is currently edited by Endre Boros

More articles in Annals of Operations Research from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().