Sökning: id:"swepub:oai:research.chalmers.se:c7d65be5-0e43-4f70-85a7-3077f41fc187" >
Generic Resource Bo...
Generic Resource Booking Models in Flexible Cells
-
- Vahidi Mazinani, Arash, 1974 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2001
- 2001
- Engelska.
-
Ingår i: Proceedings of the 2001 IEEE International Symposium on Intelligent Control, 2001. (ISIC '01). 5-7 Sept. 2001, Mexico City. ; , s. 252-257
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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 non-blocking 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)