Sökning: id:"swepub:oai:research.chalmers.se:667b2dfe-6c95-4ac9-b1e5-864c6db2d695" >
Coordination of Ope...
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers
-
- Andersson, Kristin, 1976 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Richardsson, Johan, 1962 (författare)
- Volvo Cars
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- 2010
- 2010
- Engelska.
-
Ingår i: IEEE Transactions on Control Systems Technology. - 1063-6536 .- 1558-0865. ; 18:2, s. 414-429
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- A method for generation of the control function for flexible manufacturing cells is presented in this paper. The control function is separated from the rest of the PLC program, and partitioned into a high-level part handling the operation sequence and a low-level part defining the execution process of the operations. The program structure enables high-level supervisor synthesis, which alleviates the state-space explosion problem. Information present in earlier steps of the development process is reused and processed, to automatically generate the automata needed for supervisor synthesis. An algorithm for generating automata, from the low-level safety requirements that restrict the high-level behavior, is presented. Algorithms are also presented for extracting the relations between the operations defining the work in the cell, from the synthesized supervisor. These relations give an easy-to-read representation of the control function that makes it interpretable by machine operators and maintenance personnel, an important feature to make the method applicable in an industrial setting. Hence, the control function generated by our method combines the benefits of a traditional supervisor, namely optimality and flexibility, with simplicity and clarity.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- maintenance
- verification
- discrete-event systems
- flexible manufacturing systems
- Discrete event systems
- sequence of operations
- supervisory control
- programmable logic control (PLC)
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas