Upload
ds-hong
View
213
Download
0
Embed Size (px)
Citation preview
Control Engineering Practice 7 (1999) 151—159
A genetic-algorithm-based approach to the generationof robotic assembly sequences
D.S. Hong!,*, H.S. Cho"
!Department of Mechanical Design and Manufacturing, Changwon National University, 9, Sarim-dong, Changwon, Kyeongnam, 641-773, South Korea"Department of Mechanical Engineering, Korea Advanced Institute of Science and Technology, 373-1, Kusong-dong,
Yusong-gu, Taejon, 305-701, South Korea
Received 29 July 1997; accepted 15 September 1998
Abstract
An assembly sequence is considered to be optimal when it minimizes the assembly cost while satisfying assembly constraints. Togenerate such sequences for robotic assembly, this paper proposes a method using a genetic algorithm (GA). This method denotes anassembly sequence as an individual, which is assigned a fitness related to the assembly cost. Then, a population consisting of a numberof individuals evolves to the next generation through the genetic operations of crossover and mutation, based upon the fitness of theindividuals. The population continues to evolve repetitively, and finally the fittest individual with its corresponding assemblysequence is found. Through case studies for industrial products such as an electrical relay and an automobile alternator, theeffectiveness of the proposed method is demonstrated, and the performance is analyzed. ( 1999 Elsevier Science Ltd. All rightsreserved.
Keywords: Assembly sequence generation; genetic algorithms; robotic assembly; assembly cost; assembly constraints
1. Introduction
It has been reported that, on average, assembly costsaccount for 10—30% of the total cost of most industrialproducts (Nevins and Whitney, 1980). To reduce suchassembly costs, much research effort has been put intoassembly sequence generation. As has been pointed outin other research work, assembly sequence planning hasdirect consequences for productivity, product qualityand the fixed costs that are involved with the assemblymachines and other equipment.
Up to now, various methods for generating assemblysequences have been reported: tree-search or graph-search methods (Cho, 1992; Cho and Cho, 1993; Choet al., 1993; Fazio and Whitney, 1987; Mello and Sander-son, 1990), disassembly methods (Lee, 1989; Shin andCho, 1994; Shin et al., 1995), neural-network-based ap-proaches (Chen, 1990; Hong and Cho, 1995) and thesimulated annealing (SA) method (Hong and Cho, 1998).The search methods can find the optimal solutions, but
*Corresponding author. Tel.: #81-551-279-7577; fax: #81-551-263-5221; e-mail: [email protected].
have a problem of the search space explosion for anincreased number of parts. On the other hand, the dis-assembly methods and the neural-network-based ap-proaches can cope with larger parts, but usually findlocal optimal solutions. The simulated annealingmethod, however, can find an optimal solution with highsuccess rates even for an increased number of parts.
As an alternative search method, genetic algorithms(GAs) have been used for solving various optimizationproblems (Caponetto et al., 1993; Goldberg, 1989;Holland, 1971; Holsapple et al., 1993; Winston, 1992). Tosearch for a solution, the GA starts from a set of points ofan objective function, whereas the SA starts from a singlepoint of the objective function. It has been reported fromprevious works that the GA can find an optimal solutionfor relatively large optimization problems (Caponettoet al., 1993; Goldberg, 1989). In general, GAs regard thefittest individual resulting from the natural evolution ofa population as a solution. The population consists ofa number of individuals, each of which has a number ofgenes. The natural law, which operates on the genes, ischaracterized by natural selection, which produces thenext generation through crossover and mutation.
0967-0661/99/$ — see front matter ( 1999 Elsevier Science Ltd. All rights reserved.PII: S 0 9 6 7 - 0 6 6 1 ( 9 8 ) 0 0 1 7 7 - 4
Using such evolutionary characteristics, this paperproposes a new method for generating robotic assemblysequences by using a genetic algorithm. In this method,an assembly sequence is represented as an individual,which is assigned a fitness related to the assembly cost.Initially, a population consisting of a number of indi-viduals is created. Then, the population evolves to thenext generation through crossover and mutation, basedupon the fitness of the individuals. As a result of suchrepetitive evolution, assembly sequences, represented asthe fittest individuals, are finally found.
To show the effectiveness of the proposed approach,case studies for industrial products such as an electricrelay and an automobile alternator have been carriedout. The results show that the proposed approach suc-cessfully generates robotic assembly sequences, whileminimizing the assembly cost. This paper is organized asfollows: assembly sequence description, generation of as-sembly sequences using a genetic algorithm, and casestudies and discussion. Finally, conclusions are drawnfrom the results of the case studies.
2. Assembly sequence description
As a prerequisite to the subsequent assembly planning,the assembled states of parts in a product must be ad-equately described. Such a description, called the productmodeling, will be utilized to infer the assembly con-straints, and to evaluate the assembly cost. This studyadopts the modeling method previously proposed byCho and Cho (1993), in which products are modeled bya set of liaison data between parts. This section describesthe modeling method of products, and the concept ofassembly sequences.
2.1. Product modeling
A product is assumed to be suitable for robotic assem-bly; it is composed of rigid parts, interconnected witheach other in mutually orthogonal directions. Each partcan be assembled by a simple insertion or fasteningaction such as screwing. Fig. 1 shows such a product. Leta product A"(P, ¸) consist of n parts
P"Mpa Da"1, 2,2, nN (1)
interconnected by r liaisons
¸"Mlab Da, b"1, 2,2, n. aObN, (2)
where r"D¸ D and (n!1))r)n (n!1)/2. A liaisonlab represents the connective relations between a pair ofparts pa and pb . The connective relations can be dividedinto contact-type connections and fit-type ones. Theassembly directions shown in the figure are definedwith respect to x, y, z, xN , yN , zN . Then, a liaison lab is
Fig. 1. An example of a product: ten-part electrical relay.
expressed by a predicate
lab"liaison(pa , Cab , Fab , pb). (3)
The Cab is called the contact-type connection matrix, andthe Fab is the fit-type connection matrix. Each matrixconsists of 2]3 elements, and is expressed by
Cab"Acx
cy
cz
cxN
cyN
czNB , Fab"A
fx
fy
fz
fxN
fyN
fzNB . (4)
The element cd
is given 0 for no contact, rc for realcontact, and vc for virtual contact in the d directionbetween two parts pa and pb , where d3Mx, y, z, xN , yN , zN N.While, the element f
dis given 0 for no fit, sw for
screwing, r f for round peg-in-hole, and mp formultiple round pegs-in-holes. A more-detailed descrip-tion on the connective relations can be found in Cho andCho (1993).
2.2. Feasible, stable and optimal sequences
Generating an assembly sequence is equivalent tofinding a series of operations by which n parts are
152 D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159
sequentially assembled to form an end-product. Impor-tant factors in the generation of assembly sequences areassembly constraints, which can be classified intoprecedence constraints and connectivity constraints.These assembly constraints can be inferred from theliaisons of the product (Cho and Cho, 1993).
The precedence constraints of a liaison are representedby a set of parts that must be connected before a pair ofparts are interconnected. These constraints result fromthe geometrical relationships between parts. The otherconstraints, the connectivity constraints, state that a partto be assembled onto an in-process subassembly musthave at least one real connection, i.e., a real contact ora fit, with some part belonging to the in-process sub-assembly. The connectivity constraints play the role ofpreserving only one in-process subassembly throughoutthe assembly of a product. It is noted that such assemblyconstraints are directly derived from the physical rela-tionships between parts in a real product.
Once the assembly constraints have been inferred, as-sembly sequences that satisfy the assembly constraintscan be inferred. Such assembly sequences are called thefeasible assembly sequences.
The feasible assembly sequences, however, do notalways guarantee the parts to fix onto an in-processsubassembly; parts may be loosely connected, and maycome apart when the subassembly is turned or moved.Such assembly sequences that maintain the stability ofin-process subassembly movement are called the stablesequences, by means of which the parts can be success-fully assembled to form an end-product. As can be ex-pected, if a large-degree-of-freedom robot is used insteadof a smaller one, an increased number of stable sequencescan be found, since the robot motion may eliminate someotherwise necessary subassembly movements. Stablesequences, therefore, are related not only to the sub-assembly state, but also to the degrees of freedom of therobot motion.
Among the stable sequences, optimal sequences areselected as the ones having the minimum assembly cost.The assembly cost is defined to reflect the normalizeddegree of motion instability C
as(0)C
as)1) and the
normalized number of assembly direction changes Cnt
(0)Cnt)1) when the degree of freedom of robot
motion is chosen (Hong and Cho, 1995). It should benoted that the C
asstrongly affects the complexity of jigs
and fixtures, while the Cnt
is closely related to the numberof turning devices. Taking into consideration theseC
asand C
nt, the assembly cost J (0)J)1) can then be
expressed by
J"G1 if an assembly sequence
violates assembly constraints,
or it is unstable,
osC
as#o
tC
ntotherwise,
(5)
where osand o
tdenote weighting factors determined by
the assembly system and the assembly cycle time (Cho,1992) and o
s#o
t"1.
The above equation will be considered when theenergy function and fitness associated with assemblysequence are to be derived.
3. Generation of assembly sequences using a geneticalgorithm
This section describes a genetic algorithm that findsthe fittest individual from the repetitive evolution ofa population. For such purposes, an assembly sequence isrepresented as an individual, which is assigned a fitnessrelated to the assembly cost. As a result of such evolution,the assembly sequences represented by the fittest indi-viduals are finally found.
3.1. Population, individual and fitness of individuals
A population consists of a number of individuals.Here, the number of individuals, denoted by n
pop, is
called the population size. Each individual represents anassembly sequence of an n-part product. Accordingly, anindividual consists of n genes. Each gene is attributed aninteger lying between 1 and n, such that the ith genenumber represents the part number to be assembled atthe ith assembly step. For example, the individual atthe top of Fig. 2 represents an assembly sequenceM1, 8, 9, 3, 2, 4, 7, 5, 6N of a nine-part product.
Each individual is assigned a fitness, which means theprobability that the individual will survive and createoffspring in the next generation (Goldberg, 1989; Win-ston 1992). It can be easily deduced from the concept of
Fig. 2. An example of crossover operation: partially matched crossover(PMX). The marks . represent the crossover points.
D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159 153
fitness that a sequence having a low cost is regarded asthe one having a high fitness. As an auxiliary measure ofthe fitness, this study introduces an energy function asso-ciated with an assembly sequence by reflecting the assem-bly cost and assembly constraints. The energy functionE is defined as
E"CJJ#
n+i/1
(CPki#C
Sji), (6)
where J denotes the assembly cost in Eq. (5), kiis the
precedence index of the ith part, i.e., the ith gene, and jiis
the connectivity index. The CJ, C
Pand C
Sare positive
constants. The precedence index kiis assigned a value of
zero if the ith gene of an individual satisfies the preced-ence constraints. Otherwise, it is assigned a value of one.In a similar manner, the connectivity index j
iis assigned
a value of either zero or one.To determine the fitness, various methods have been
reported. This study adopts two fitness functions: thestandard method and the ranking method (Winston,1992). The standard method is a common one, whichequates the fitness of an individual with the relativequality of the individual. In assembly planning, the reci-procal of the energy can be attributed to the relativequality. Since the fitness means the probability, this studydefines the fitness such that the sum of the fitnesses for allindividuals in a population becomes unity. Accordingly,the fitness F
i(i"1, 2,2, n
pop) of the ith individual is
expressed by
Fi"
(1/Ei)
+npop
j/1(1/E
j), (7)
where Eimeans the energy of the ith individual in Eq. (6).
As an alternative, the ranking method that links thefitness to the quality ranking was reported (Winston,1992). It has been known that the ranking method notonly offers a way of controlling the bias toward the bestindividual, but also eliminates any unfortunate choice ofmeasurement scale that might do harm. In the rankingmethod, the fitness of the highest-quality individual isassigned a fixed probability p
rk, while the fitness sum of
the rest of the individuals is 1!prk
. In a similar manner,the second-ranked individual has the fitness p
rk(1!p
rk),
and so on. Accordingly, the fitness of the ith-rankedindividual F
i(i"1, 2,2, n
pop) is expressed by
Fi"G
prk
(1!prk)(i~1) for i(n
pop,
(1!prk)(i~1) for i"n
pop.
(8)
The performance of the two methods will be demon-strated and compared in the next section.
3.2. Genetic operations
Initially, a set of individuals are randomly generated.Then, the population is evolved by natural selection,
which produces the next generation through crossoverand mutation. Crossover creates two offspring as newindividuals from two parents among the current indi-viduals, whereas mutation operates only on one parent,and creates an offspring that is different from the parent.These crossover and mutation operations are describedbelow.
3.2.1. CrossoverThe genetic operation of crossover acts on two indi-
viduals, and allows two new individuals to be created.Various methods of the crossover operation have beenreported. In this study, the partially matched crossover(PMX) is adopted (Goldberg, 1992; Holsapple et al.,1993).
Fig. 2 shows an example of the PMX operation. Ini-tially, two individuals are selected as parents, based upontheir fitness, and two crossover points are randomlypicked along the individuals, as shown in Fig. 2a. Then,the shaded middle segments of the individuals are ex-changed to create new individuals, as shown in Fig. 2b.However, it can be seen from the figure that each newindividual will not always represent a meaningful assem-bly sequence; the first individual has two duplicate parts,8 and 5. To eliminate this conflict, the duplicate numbersoutside the middle segments are exchanged with the onesthat have been matched in the middle segments. Fig. 2cshows the offspring resulting from this partially matchedcrossover.
3.2.2. MutationMutation operates on one parent, and creates an off-
spring that is different from the parent. Fig. 3 illustratesan example of the swap operation for mutation (Hol-sapple et al., 1993). Initially, a gene is randomly selected,and is to be changed with another number, as shown inFig. 3a. This operation results in the creation of a newindividual, shown in Fig. 3b, but this individual does notnormally represent a meaningful assembly sequence; theindividual has a duplicate part 4. To eliminate this con-flict, the selected gene and the one having the mutatednumber are swapped with each other. Fig. 3c shows theoffspring resulting from this swap operation.
3.3. Genetic algorithm for generating assembly sequence
To simulate a GA, parameters for controlling the algo-rithm should be determined. The parameters include thecrossover probability p
cr, the mutation probability p
mu,
the ranking probability prk
and the population size npop
.Fig. 4 shows the simulation flow of the GA. The cross-over and mutation operations are summarized as follows:
Crossover. Generate a random number NR. If N
R)p
cr,
perform crossover to create two new individuals. Other-wise, reproduce the two individuals as new ones.
154 D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159
Fig. 3. An example of mutation operation: swap.
Fig. 4. The flowchart of the genetic algorithm for generating assemblysequences.
Mutation. Generate a random number NR. If N
R)p
mu,
perform mutation for each gene of the parents. Other-wise, reproduce the parents as new individuals.
The procedure shown in the figure terminates when thenumber of generations reaches a specified number, orwhen no change in the maximum fitness occurs for aninterval of a specified number of generations. In the latter
case, the individuals with the maximum fitness areobtained as the solution of the assembly sequences. Inthe next section, case studies are carried out using thisalgorithm.
4. Case studies and discussion
4.1. Simulation conditions
To show the performance of the proposed approach, itwas applied to the generation of assembly sequences forindustrial products such as an electrical relay (Fig. 1) andan automobile alternator (Fig. 5). As presented in theprevious section, the simulation flow is shown in Fig. 4.A simulation run terminates when the number of genera-tions reaches a specified number, or when no change inthe maximum fitness occurs during a specified interval ofa number of generations. In this study, the specifiednumber was assigned as 1000, and the interval for check-ing the termination was given as 20 generations. Theweighting factors in Eq. (5) were assumed to be o
s"0.5
and ot"0.5, while the energy constants were determined
to be CJ"1, C
P"1, and C
S"1. The simulation pro-
gram was written in Turbo Prolog and executed on anIBM PC 486(66 MHz).
4.2. Simulation results and discussion
Fig. 6 shows an example of the evolution of a popula-tion consisting of sixteen individuals for the ten-part
Fig. 5. An exploded view of a 13-part automobile alternator.
D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159 155
Fig. 6. Example of evolution of population for a relay (npop
"16, pcr"0.5, p
mu"0.08, p
rk"0.2).
relay. Each individual represents an assembly sequence,and is assigned an assembly cost. In terms of the geneticalgorithm, a lower energy means a higher fitness, asdescribed in Section 3.1. Fig. 6a shows an initial popula-tion in which individuals have relatively high energy. Asthe population evolves, assembly sequences with lowenergy are created; the first individual of the 61st genera-tion in Fig. 6d yields a low energy 0.362, and so on. At the140th generation, shown in Fig. 6e, an individual with thelowest energy 0.329 is created. As the population evolves,no individual whose energy is lower than 0.329 is created.As a result, assembly sequences whose assembly cost is0.329 in Fig 6f are found as the solution in this example.In this case, energy lower than the unity means theassembly cost itself. It can be seen from this example thatthe assembly cost is minimized by using the proposedmethod.
The results for the 10-part relay are shown inFigs. 7—10. Each result under a simulation condition wasobtained from twenty simulation runs, and is expressedin terms of both the rate of yielding an optimal sequence
Fig. 7. The results from 20 simulation runs at various mutation prob-abilities for a 10-part relay (n
pop"20, p
cr"0.5, p
rk"0.2).
out of 20 simulation runs, and the average number ofgenerations to complete a run. Here, the optimal se-quences were analytically obtained from the expert sys-tem (Cho, 1992). The procedure of assembly-sequencegeneration from the expert system can be briefly ex-plained as follows. Firstly, the assembly constraints areinferred from the liaison data of a product, as explained
156 D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159
Fig. 8. The results from 20 simulation runs at various crossover prob-abilities for a 10-part relay (n
pop"20, p
mu"0.08, p
rk"0.2).
Fig. 9. The results from 20 simulation runs at various ranking prob-abilities for a 10-part relay (n
pop"20, p
cr"0.05, p
mu"0.08).
Fig. 10. The results from 20 simulation runs at various population sizesfor a 10-part relay (p
cr"0.5, p
mu"0.08, p
rk"0.2).
in Section 2. Secondly, feasible assembly sequences sat-isfying the assembly constraints are generated. Thirdly,stable sequences that maintain the stability of the in-process subassembly movements are inferred from thefeasible sequences. Lastly, by the evaluation of assemblycost of the stable sequences, optimal sequences, yieldingthe minimum cost, are generated.
On the other hand, the proposed approach obtainsassembly sequences by using a genetic algorithm. Thesequences obtained are then compared with those of theexpert system to verify their optimality. Through casestudies, it was found that the proposed approach can find
the optimal solution, the sequence both satisfying assem-bly constraints and yielding the minimum assembly cost.Then, as a measure of performance, the rate of yield ofoptimal sequences is evaluated in this study.
Fig. 7 shows the results at various mutation probabilit-ies between zero and 0.13. The figure shows that the rateincreases until the mutation probability reaches 0.12.However, when the mutation probability is larger than0.14, the solution was observed to be unstable; the max-imum fitness fails to converge due to its irregular oscilla-tion during the evolution. The number of generationsrequired to complete a run is shown to be a minimumaround the mutation probability 0.07. It can be seen fromthese results that the mutation probability strongly af-fects the performance of the GA in this study.
Fig. 8 shows the results at various crossover probabil-ities from zero to unity. The figure shows that thecrossover probability barely affects the performance ofthe GA.
Fig. 9 shows the results for various ranking probabilit-ies. The result of the standard method is shown at thezero ranking probability for simplicity, while the result ofranking methods are shown at probabilities of more than0.1. The figure shows that the ranking method givessuperior performance to the standard method. Theranking probability 0.2 gives a relatively good perfor-mance both in the rate of yielding optimal sequences, andin the number of generations required to completea simulation run.
Fig. 10 shows the results at various population sizes. Itcan be seen from the figure that population sizes of morethan 16 give good performance in yielding optimal se-quences. As the population size increases, the executiontime to complete a simulation run becomes longer, al-though the number of generations becomes smaller.Thus, it is recommended that the population should bechosen to be as small as possible, provided that goodsolutions are guaranteed.
The results for the 13-part alternator are shown inFigs. 11—14. Each result under simulation conditions wasalso obtained from 20 simulation runs. Unlike the case ofthe 10-part relay, this case shows relatively poor perfor-mance; at best the rate of yielding optimal sequence 0.15was found as can be seen from Fig. 11a. To clarify theperformance, new measures are adopted instead of therate of yielding optimal sequences: the rate of yieldingstable sequences and the solution quality. The solutionquality q
#045for the stable sequences obtained from 20
simulation runs is defined by
q#045
"
J3%&!JM
J3%&!J
015
, (9)
where J015
represents the optimal assembly cost, JM is theaverage cost for the stable sequences obtained, and J
3%&is
a reference cost. In this study, the maximum cost of the
D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159 157
Fig. 11. The results from 20 simulation runs at various mutation prob-abilities for a 13-part alternator (n
pop"30, p
cr"0.04, p
rk"0.2).
Fig. 12. The results from 20 simulation runs at various crossover prob-abilities for a 13-part alternator (n
pop"30, p
mu"0.06, p
rk"0.2).
Fig. 13. The results from 20 simulation runs at various ranking prob-abilities for a 13-part alternator (n
pop"30, p
cr"0.04, p
mu"0.06).
Fig. 14. The results from 20 simulation runs at various population sizesfor a 13-part alternator (p
cr"0.04, p
mu"0.06, p
rk"0.2).
assembly sequence was assigned a value of unity; thus,the J
3%&is chosen as unity. The above equation states that
the solution quality for the optimal sequences becomesone, and 0)q
#045)1.
Fig. 11a and b show the results at various mutationprobabilities. The figures show that the mutation prob-abilities between 0.04 and 0.07 give relatively goodsolutions; the rate of yielding stable sequences and thesolution quality are high, while the number of genera-tions required to complete a simulation run is low.
Fig. 12 shows the results at various crossover probabil-ities between zero and one. The results show a tendencyquite similar to those of the relay; the crossover probabil-ity barely affects the performance of the GA.
Fig. 13 shows the results at various ranking probabilit-ies. As can be seen in the figure, the standard methodwhose result is depicted at the probability of zero cannotgive any stable sequences. In the ranking method, theranking probabilities of more than 0.2 are shown to giverelatively good solutions. This tendency is the same asthe case study for the relay.
Fig. 14 shows the results at various population sizes.The figure shows a tendency similar to the case of therelay. It can be seen that the population size of 20 givesgood performance, both in yielding stable sequences andin the execution times. The figure also implies that thepopulation should be chosen to be as small as possible,provided that good solutions are guaranteed.
From the above results, it is concluded that the pro-posed approach successfully generates robotic assemblysequences, while minimizing the assembly cost. The per-formance of the GA is shown to be strongly affected bythe fitness function and the mutation probability.
5. Conclusions
In designing assembly systems it is essential to deter-mine optimized assembly sequences for increasing pro-ductivity and reducing assembly costs. In this study,a genetic-algorithmic-base approach was proposed togenerate assembly sequences for robotic assembly.
158 D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159
The study denotes an assembly sequence as anindividual. The individual consists of a set of genes,and is assigned a fitness related to the assembly cost.Then, assembly sequences are found as the fittestindividuals resulting from the evolution of the popula-tion. Here, the population consists of a number ofindividuals, and the evolution is characterized by naturalselection, which produces the next generation of thepopulation through the genetic operations of crossoverand mutation.
Through case studies for industrial products, theeffectiveness was demonstrated, and the results wereanalyzed. The performance was shown to be stronglyaffected by the fitness function and the mutationprobability. From the results of the case studies, itis concluded that the proposed approach successfullygenerates robotic assembly sequences, while minimizingthe assembly cost.
References
Caponetto, R., Graziani, L.S., & Xibilia, M.G. (1993). Genetic algo-rithms and applications in system engineering: a survey. ¹rans. Inst.MC, 15(3), 143—156.
Chen, C.L.P. (1990). Neural computations for planning AND/ORprecedence-constraint robot assembly sequences. Proc. Int. Conf.Neural Net., 1, 127—142.
Cho, D.Y. (1992). An expert system approach to the automatic generationof robotic assembly sequences. Ph.D. dissertation, Korea AdvancedInstitute of Science and Technology, Korea.
Cho, D.Y., & Cho, H.S. (1993). Inference on robotic assembly preced-ence constraints using part contact level graph. Robotica, 11,173—183.
Cho, D.Y., Shin, C.K., & Cho, H.S. (1993). Automatic inference onstable robotic assembly sequences based upon evaluation of baseassembly motion instability. Robotica, 11, 351—362.
Fazio T.L.D., & Whitney, D.E. (1987). Simplified generation of allassembly sequences. IEEE J. Rob. Auto., 3(6), 640—658.
Goldberg, D.E. (1989). Genetic algorithms in search, optimization, andmachine learning. Reading, MA: Addison-Wesley.
Holland, J.H. (1971). Processing and processor for schemata. In: Jacks(Ed.), Associative information processing (pp. 127—147). New York:American Elsevier.
Holsapple, C.W., Jacob, V.S., Pakath, R., & Zaveri, J.S. (1993). A gen-etics-based hybrid scheduler for generating static schedules in flex-ible manufacturing context. IEEE ¹rans. Systems Man Cyber.,23(4), 953—972.
Hong, D.S., & Cho, H.S. (1995). A neural-network-based computa-tional scheme for generating optimized robotic assembly sequences.Engng Appl. Artificial Intelligence, 8(2), 129—145.
Hong, D.S., & Cho, H.S. (1998) Generation of robotic assembly se-quences using simulated annealing. J. Manuf. Systems, submitted.
Lee, S.H. (1989). Disassembly planning by subassembly extraction.Proc. 3rd ORSA/¹IMS Conf. Flex. Manuf. Systems (pp. 383—388).
Mello L.S.H., & Sanderson, A.C. (1990). AND/OR representation ofassembly plans. IEEE ¹rans. Rob. Auto., 6 (2), 188—199.
Nevins, J.L., & Whitney, D.E. (1980). Assembly research. Automatica,16, 595—613.
Shin, C.K., & Cho, H.S. (1994). On the generation of robotic assemblysequences based upon separability and assembly motion instability.Robotica, 12, 7—15.
Shin, C.K., Hong, D.S., & Cho, H.S. (1995) Disassembly analysis forgenerating robotic assembly sequences. Proc. IEEE Int. Conf. Rob.Auto., 2, 1284—1289.
Winston, P.H. (1992). Artificial intelligence. Reading, MA: Addison-Wesley.
D.S. Hong, H.S. Cho/Control Engineering Practice 7 (1999) 151—159 159