| 1. |
- Danielsson, Kristin, 1976, et al.
(författare)
-
Automatic Scheduling and Verification of the Control Function of Flexible Assembly Cells in an Information Reuse Environment
- 2005
-
Ingår i: Proc. of the IEEE Symposium on Assembly and Task Planning. - 0780390806 ; 2005, s. 80-85
-
Konferensbidrag (refereegranskat)abstract
- 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.
|
|
| 2. |
- Richardsson, Johan, 1962, et al.
(författare)
-
Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells
- 2004
-
Ingår i: Proceedings of ICRA '04, 2004 IEEE International Conference on Robotics and Automation, New Orleans, LA, APR 26-MAY 01, 2004. ; 3:2273-2278, s. 6-
-
Konferensbidrag (refereegranskat)abstract
- Insufficient indication of errors is a problem in many manufacturing systems. Lack of support for resynchronization of the cell and its control system is another, less obvious problem. A third problem connected to errors in manufacturing cells is lack of support for manual control. In order to resolve an error situation manual control of the cell is often required. The problem is that some of the manual operations may be blocked due to machine protection. When an operator is to execute a blocked operation the only response is that nothing happens. This paper proposes a method where control programs with integrated functions for error detection, resynchronization, and support for manual control are generated out of information that already exists in the development process of a manufacturing system.
|
|
| 3. |
|
|
