| 1. |
- Bengtsson, Kristofer, 1979, et al.
(author)
-
Relations Identification and Visualization for Sequence Planning and Automation Design
- 2010
-
In: In Proc. IEEE Conference on Automation Science and Engineering, Toronto. - 9781424454471 ; , s. 841 - 848
-
Conference paper (peer-reviewed)abstract
- The sequential behavior of a manufacturing system results from a number of constraints introduced both in product, manufacturing and control logic development. Sequence planning is therefore an important activity throughout the complete development process. This paper proposes a sequence planning approach using self-contained manufacturing operations that model actions and relevant execution conditions. These operations can have temporal relations with each other, due to execution constraints expressed by operation pre- post- and reset conditions. The operation relations can for example be parallel, sequence, arbitrary order, alternative or hierarchy. Based on a formal operation model, the relations among operations are identified and visualized with a graphical language called Sequences of Operations, SOP.
|
|
| 2. |
- Ma, Ji, et al.
(author)
-
Delaunay-Based Triangular Surface Reconstruction from Points via Umbrella Facet Matching
- 2010
-
In: Proceedings of the 6th IEEE Conference on Automation Science and Engineering. - : IEEE conference proceedings. - 9781424454488 - 9781424454471 ; , s. 580-585
-
Conference paper (peer-reviewed)abstract
- This paper presents an effective algorithm to reconstruct a closed 3D triangular surface mesh from a set of unorganized points based on Delaunay triangles. The algorithm essentially seeks to construct an optimal local 2D manifold surface (umbrella) at each individual point in parallel. The underlying principle is that for any point, there always exists a cluster of triangular facets, selected from the Delaunay triangles at the point, to constitute the shape of an opened umbrella. If a triangular facet belongs to all three umbrellas of its three vertices, the triangular facet is considered as a matched facet. When all triangular facets of an umbrella are matched facets, the umbrella is regarded as a matched umbrella which fully overlaps with its neighboring umbrellas. A topologically correct triangular surface mesh is then constructed when the matched umbrella for every individual point is found. The proposed Umbrella Facet Matching (UFM) algorithm has been implemented and validated using many publicly available point cloud data sets. The algorithm is seen to be of good convergence and without the need for further hole-filling post-processing. And the reconstructed surface meshes only contain minor shape approximation errors, when compared to the original surfaces of the sampled points.
|
|
| 3. |
- Mashaei, Maziar, 1973, et al.
(author)
-
Optimal Design of a Decoupled Multiple-Loop Pallet System for Cyclic Flexible Manufacturing Plants
- 2010
-
In: 6th annual IEEE International Conference on Automation Science and Engineering. - 9781424454471 ; , s. 433-438
-
Conference paper (peer-reviewed)abstract
- Handling and locating pallet system is one of the most important subsystems in a flexible production plant. Theimpact of pallet systems parameters on process and energy efficiency of production plants has been verified and examined by a number of studies in the literature. In this paper, introducing novel design constraints for pallets and buffers, a new optimization algorithm under linear constraint models is developed. It generates the precise optimal values for the most challenging variables in a decoupled multiple-loop pallet system. The design variables are number of pallets, conveyor velocity, scheduling of parts, and buffer capacities. In a casestudy, the optimization algorithm is compared with a moredetailed simulation model. The differences between the solutions are minor, although the optimization algorithm only uses partial information, and the computation time is much lower compared to the simulation approach.
|
|
| 4. |
- Ouedraogo, L., et al.
(author)
-
Symbolic approach to nonblocking and safe control of extended Finite Automata
- 2010
-
In: 2010 IEEE International Conference on Automation Science and Engineering, CASE 2010. - 9781424454471 ; , s. 471-476
-
Conference paper (peer-reviewed)abstract
- For Discrete Event Systems (DES) modeled as Finite Automata, supervisory control theory has been extensively studied. Extended Finite Automata (EFA), i.e., finite automata extended with variables, are a suitable modeling framework for discrete event systems owing to their compactness, resulting from the use of variables. In this paper, we propose a symbolic algorithm that efficiently synthesizes a supervisor for a plant modeled by an EFA and a specification defined by another EFA, or equivalently a set of forbidden locations in the plant EFA. The principle of the algorithm is to iteratively strengthen the guards of the plant EFA so that forbidden or blocking states become unreachable in the controlled plant. As a consequence of the algorithm, the controlled behavior is modeled by an EFA having the same structure as the plant EFA, having stronger guards and is shown to be maximally permissive. © 2010 IEEE.
|
|
| 5. |
- Shoaei, Mohammad Reza, 1983, et al.
(author)
-
Automatic Generation of Controllers for Collision-Free Flexible Manufacturing Systems
- 2010
-
In: 6th annual IEEE International Conference on Automation Science and Engineering. - 9781424454471 ; , s. 368-373
-
Conference paper (peer-reviewed)abstract
- A method for automatic generation of non-blockingcontrollers that generate collision-free flexible manufacturing cells is presented in this paper. Today, industry demands on flexible production sometimes require significant changes in location, orientation and configuration of industrial robots and other moving devices, when new products are introduced. All these changes pose a threat to the devices to collide while sharing workspace. To avoid this, a formal model of the operations in a manufacturing system is generated, and for each operation state a corresponding 3D simulation shape is created. A collision-free system is then achieved by considering pairs of colliding shapes as forbidden states. The automatic generation also includes a synthesis procedure, where a non-blocking and controllable supervisor is generated based on guard generation. The guards are computed by binary decision diagrams, which means that complex systems can be handled, still generating comprehensible restrictions that are easily included in PLC-code.
|
|
| 6. |
- Vergnano, Alberto, et al.
(author)
-
Embedding detailed robot energy optimization into high-level scheduling
- 2010
-
In: 2010 IEEE International Conference on Automation Science and Engineering, CASE 2010. - 9781424454471 ; , s. 386-392
-
Conference paper (peer-reviewed)abstract
- Reduction of energy consumption is important for reaching a sustainable future. This paper presents a novel method for optimizing the energy consumption of robotic manufacturing systems. The method embeds detailed evaluations of robots' energy consumptions into a scheduling model of the overall system. The energy consumption for each operation is modelled and parameterized as function of the operation execution time, and the energy-optimal schedule is derived by solving a mixed-integer nonlinear programming problem. The objective function for the optimization problem is then the total energy consumption for the overall system. A case study of a sample robotic manufacturing system is presented. It shows that there exists a possibility for a significant reduction of the energy consumption, in comparison to state-of-the-art scheduling approaches. © 2010 IEEE.
|
|
| 7. |
- Wang, Lihui, et al.
(author)
-
A Hybrid Approach for Dynamic Assembly Shop Floor Layout
- 2010
-
In: Proceedings of the 6th IEEE Conference on Automation Science and Engineering. - : IEEE conference proceedings. - 9781424454488 - 9781424454471 ; , s. 604-609
-
Conference paper (peer-reviewed)abstract
- Highly turbulent environment of dynamic job-shop operations affects the shop floor layout problem as well as other areas. Due to frequently altering needs of layout, essential requirements such as adaptability and proactive responsiveness to the dynamic changes need to be considered in addition to the materials handling and machine relocation costs when a shop floor is reconfigured from one layout to the next. Targeting the autonomy and adaptability of dynamic and distributed job-shop assembly operations, this paper proposes to incorporate function block methodology to deal with the layout issues of the frequently changing environment. This is an extension to the authors’ previous work.
|
|
