Search: id:"swepub:oai:research.chalmers.se:7ee66024-92ba-4ef7-b71d-9571b839c8e9"
> (2005) >
Automatic Schedulin...
Automatic Scheduling and Verification of the Control Function of Flexible Assembly Cells in an Information Reuse Environment
-
- Danielsson, Kristin, 1976 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Richardsson, Johan, 1962 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
show more...
-
- Fabian, Martin, 1960 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
show less...
-
(creator_code:org_t)
- ISBN 0780390806
- 2005
- 2005
- English.
-
In: Proc. of the IEEE Symposium on Assembly and Task Planning. - 0780390806 ; , s. 80-85
- Related links:
-
https://research.cha...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Formal synthesis and verification of control programs in manufacturing applications are currently undeveloped areas. Today, new control programs are most often debugged on the shop floor, and when formal methods are used, the result is often a control function that is impossible to interpret by the operators. We present a method for synthesis of the control function of a PLC program. By combining supervisory control theory with a hierarchical program structure, in which the control function is separated from the rest of the PLC program, the generated control function combines the benefits of a traditional supervisor, e.g. non-blocking, optimality and flexibility, with simplicity and clearness. The traditional coding is replaced by information reuse and configuration of program components, instantiated from a software library. © 2005 IEEE.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database