Generic resource booking models in flexible cells

Author

Vahidi, Arash ; Fabian, Martin ; Lennartson, Bengt

Author_Institution

Dept. of Signals & Syst., Chalmers Univ. of Technol., Goteborg, Sweden

fYear

2001

fDate

2001

Firstpage

252

Lastpage

257

Abstract

This paper presents a generic model for the resource allocation problem common in flexible manufacturing systems. The resource allocation model is used for computing the supremal controllable and nonblocking supervisor of the system. A real world example of such system is given, and it is explained why the exhaustive search method for supervisor generation fails on large system due to the state explosion problem. To solve this a special data structure adapted from the symbolic model checking area called binary decision diagram is utilized

Keywords

binary decision diagrams; control system synthesis; controllability; flexible manufacturing systems; production control; resource allocation; FMS; binary decision diagram; data structure; flexible cells; flexible manufacturing systems; generic resource booking models; nonblocking supervisor; resource allocation; supremal controllable supervisor; symbolic model checking area; Automatic control; Boolean functions; Control system synthesis; Data structures; Discrete event systems; Electrical equipment industry; Manufacturing systems; Resource management; Supervisory control; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control, 2001. (ISIC '01). Proceedings of the 2001 IEEE International Symposium on

Conference_Location

Mexico City

ISSN

2158-9860

Print_ISBN

0-7803-6722-7

Type

conf

DOI

10.1109/ISIC.2001.971517

Filename

971517