<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Optimization based framework for transforming automotive configurations for production planning</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Tilak Raj Singh</string-name>
          <email>tilak.singh@daimler.com</email>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Narayan Rangaraj</string-name>
        </contrib>
      </contrib-group>
      <abstract>
        <p>A product (e.g. automobile, computer) can be configured using different combinations of its available attributes (features). However, selection of attributes may not be independent of the selection of other attributes. In practice, each attribute implies a selection rule (dependency) for other sets of attributes in order to generate a valid configuration. Due to dynamic changes in the product design, miniaturization, legislation etc., product attributes and their selection rules get changed. This implies that variants produced in the past may not be valid for future product design. Nevertheless, customer history contains important information related to customer buying behaviour which is an essential input for future planning activities. In order to achieve efficient adaption of past customer orders to a changed product design, we propose a fully automated optimization based framework. The methodology is demonstrated using an industry size example.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Manufacturing companies are currently focusing on mass
customization. In this environment customer mix and match different available
product attributes to get desired configurations. Selection of any
attribute implies certain conditions on other set of attributes. For
example, if driving assistance system is selected in a car then the customer
may only be able to select steering types which have required control
options. These engineering dependencies are available in the
product’s technical documentation (e.g. Bill-Of-Material) and each valid
configuration must satisfy these restrictions in order to be producible
[
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. Manufacturers enable their customers to select and order
constructible product variants by offering sales manuals and web-based
product configurators. The product configurator guarantees that
attributes selected by the customer must satisfy all dependency rules
at the time configuration is created. If any combination of attributes
violates the product configuration rules (constraints), then, this will
be an invalid configuration and cannot be produced [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. We will use
the term configurations rule (or rules in short) in the meaning of all
restrictions imposed on configuration problem and by fulfilling all
rules configuration will be considered feasible for production.
      </p>
      <p>
        In order to provide short lead time for complex engineering
products (e.g. Automobiles, Computers) often hybrid
manufacturing philosophies like assemble-to-order is used. The production is
setup based on forecast demand and final assembly is done for the
real customer orders. The effectiveness of this method depends upon
the quality of the forecasted demand. Most manufacturers use data
about product variants produced in the past to get suitable estimates
for the future customer demand [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. Continuous changes in
product design and market conditions imply that product variants which
have been produced in the past may not be valid according to the
changed product. However, changes are incremental in nature which
means that past variants can be upgraded (by dropping and=or adding
some features) to new changed model once the required changes are
incorporated [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. In this paper our aim is to develop methods to
upgrade base configuration (configuration produced in the past) in such
a way that 1) new configuration satisfies required product
configuration rules 2) new configuration should be as similar as possible to
the base configuration. The similarity measure can be monitored by
using some distance (e.g. Hamming distance) or cost function.
      </p>
      <p>
        In contrast to the above problem, another requirement to
transform existing configuration to the new configuration arises from the
Reconfiguration problem [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. In this case the previously selected
base configuration is still valid with respect to configuration model
however the customer may want to make some explicit changes with
respect to the earlier choice - for example, adding or dropping some
of product’s features. Most of these reconfiguration problems are
motivated by the customer’s request to change the previously
selected variants. This is not an uncommon situation in premium
customizable products. However, the reconfiguration problem can also
be driven from the manufacturer point of view. For example due to
capacity limitations, production of customer orders may be shifted
from one country/plant to another. Then the production feasibility
need to be checked as configuration rules may vary between
production plants and counties.
      </p>
      <p>In this paper we propose an integrated solution framework where:
1) user can update any given configuration by changing
configuration variables (adding or removing product attributes) 2) Feasibility
of desired configuration can be checked at any point of time 3) In case
of conflicts with underlying configuration rules, the solution is
computed through solving an optimization model which ensures that the
modification to the base configuration is done with minimal change
cost. In section 2 and section 3 we will discuss characteristics of the
problem and the available data. Section 4 will focus on the
development of an optimization based configuration transformation model.
In section 5 the solution procedure will be discussed with initial
computational results.
2</p>
    </sec>
    <sec id="sec-2">
      <title>The planning problem</title>
      <p>A product can be configured using different combinations of its
attributes (features). In case of automobiles, attributes could be: body
style, transmission type, sunroof, parking assistance etc. If we
describe a product as an exhaustive list of attributes then the product
configuration can be expressed as a 0-1 vector over the attribute set,
where 0 (zero) represents the absence of any attribute and 1 (one)
represents its presence in the configuration. A feasible configuration
can be achieve by satisfying predefined set of rules (Boolean
formulas) monitoring interdependencies among attributes.</p>
      <p>Let us define our product configuration problem as per [7,
Definition 1]: the configuration problem C can be expressed through a
triple (X; D; F ), where:</p>
      <p>X is a set of product attributes (configuration variables) lets say
f1; :::ng. Where n is the total number of attributes.</p>
      <p>D is the set of attributes finite domains d1; d2; :::; dn.</p>
      <p>F = ff1; f2; :::; fmg is set of propositional formulas (rules or
restrictions) over attribute set X.</p>
      <p>
        In this paper the configuration variables X are boolean, hence
domain di 2 f0; 1g; 8i 2 X. A configuration is said to be feasible if
an assignment for all attributes (i 2 X) is found which fulfils each
and every propositions in F . For configuration problem C a solution
space S(C) can be built by finding all assignment of configuration
variable X which satisfy rules F . The problem we have in hand, the
size of solution space S(C) could be in the ranges of thousands of
billion [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
      </p>
      <p>For a customizable product which changes with respect to time
(due to introduction of new attributes, discontinuation of existing
attributes or change in attributes dependencies) the configuration
problem at any given time t can be expressed as Ct = (Xt; Dt; Ft),
where Xt,Dt and Ft are configuration variable, its domain and
underlying propositional formulas respectively at time t. In this
paper the domain Dt is fixed (boolean for all variables/attributes) so
changes in configuration problem are possible by changing
configuration variables X, changing rule set F or both.</p>
      <p>In the scenario shown in Figure 1, let us assume that at time t the
manufacturer wants to make some planning estimate for time t +
T (mid to long term planning, typically T = 6 months - 3 years)
to support various planning activities such as production planning,
PlanninghDate</p>
      <p>TargethProductionhDate
COtt--22 COtt--11 COtt T
t-2 t-1 t
Pr{oductionhHistory</p>
      <p>Transformationhofhproducth
varianthproducedhinhthehpast
hhw.r.t.hnewhconfigurationhdatat(hC
capacity planning, material requirement, supplier selection. At time
t the manufacturer has information about its current and past product
configurations data (Ct; Ct 1; :::, capturing list of attributes/features
(X) and its dependencies/rules (F )) and order history Ot, which is an
0-1 assignment of attributes. At any time t the validity of the product
configurations will be checked according to rules written in Ct =
fXt; Ftg. As the product changes with respect to time, for every
time instance we will have a corresponding product configuration
problem instance. In practice, process of engineering change starts
much before (typically 5-7 years) the start of production. This gives
possibility to know the product configuration data for future time i.e.
Ct+T = fXt+T ; Ft+T g at given time t.</p>
      <p>Now, for given set of configurations (Ot, will also be called base
configuration) which are derived from configuration model Ct =
(Xt; Ft) we are required to validate their feasibility with respect
to Ct+T = (Xt+T ; Ft+T ). In case of infeasible configurations we
are required to find the new configuration in the solution space of
S(Ct+T ) with the minimal change to its base configuration. As the
configurations variables are Boolean in nature, change in the
configuration can be performed either by adding new attributes, or
removing old attributes. The distance between two configurations (base and
transformed) can be expressed through sum of the changes in the
attribute assignment, which can be expressed through the Hamming
distance. However, changing any arbitrary attribute in the base
configuration in order to make them feasible may not be practically
desired. For example, some of the product attributes may have high
cost of change such as engine, special body style or sophisticated
optional equipment, and changing these attributes may be difficult to
handle as compared to changes in some simple options such as cup
holder or some alarm features. Thus, a change cost can be associated
with each attribute and transformation of base configuration to new
configuration can be sought to be achieved by minimizing the total
change cost. Change cost will only be associated to configuration if
certain attribute is either added or removed in the configuration. One
may consider two different quantities of change cost for an attribute
such as attribute addition cost and attribute removal cost.</p>
      <p>In case of Reconfiguration problem, some attributes are fixed by
customer (attributes on which modification is asked) or may have
very high change cost as they may be customer’s most preferred
attributes. Then the solution is sought only by changing the
remaining set of attributes. The reconfiguration problem can be defined as
a special case of configuration problem where certain configuration
variables are set to predefined values (true or false). The aim is to
fix certain attributes in base configuration (either by replacing some
previously selected attribute or adding new) and then look for a new
configuration which has minimal changes with respect to the base
configuration.</p>
      <p>In our case, the changes in the configuration can only be made
either by adding new attributes or removing previously selected
attributes from the configuration. As configuration changes are
associated with change in attributes thus a change cost can be associated
with each attribute to measure the impact of change.</p>
      <p>In our work we propose an optimization model for transforming
invalid configurations to valid ones as well as transforming
configurations with predefined settings over attributes (Reconfiguration). We
develop a framework which can incorporate information from
different data sources such as configuration rules, sales program (cost
associated with attributes) and planning expert’s knowledge (to change
configuration in some guided way). As most of the information is
available or can be converted in the form of logical propositional
formulas, we develop an optimization based framework after a required
transformation of the logical propositions. In the next section we
discuss various input data for the planning problem.
3
3.1</p>
    </sec>
    <sec id="sec-3">
      <title>Input Data and its characteristics</title>
    </sec>
    <sec id="sec-4">
      <title>The configuration data</title>
      <p>
        A variant rich customizable product can be defined on the basis of
attributes (features) in order to facilitate aggregate level of planning
for components and modules [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. Customer configurations can be
created by combining different attributes that are permitted by the
corresponding configuration data. It is important that while
combining different attributes, we must fulfil the interdependencies between
attributes, so that a feasible product configuration can be generated
[
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. For instance, if in the USA some engines require special
transmission types, this condition must hold while configuring a car of
that type. A product document captures the technical, market and
legal restrictions and provides an important data source for the
configuration feasibility check.
      </p>
      <p>Interdependencies among attributes are documented and
maintained in the configuration data by a rule system. These rules are
basically Boolean expressions imposed against each attribute.
Selection of attributes in a configuration is done through evaluating the
respective Boolean expression. Table 1 shows an example of such a
data.</p>
      <p>A customer configuration consists of a list of attributes. Each
attribute is represented as a Boolean variable in the configuration data.
Attribute
1
2
3
4
The value of the attribute will be set to TRUE, if particular attribute is
selected by the customer. The selection of the attribute is controlled
by the logical rule system as shown in rule column of table 1. The
logical rule system is built from usual Boolean operators _(OR),
^(AND), :(NOT) and an attribute serving as a proportional
variable. The customer order processing is controlled by evaluating the
rule’s formulae under the variable assignment induced by the
customer order and executing suitable actions based on whether the
formula evaluates to TRUE or FALSE.</p>
      <p>
        As discussed in section 2 configuration problem (C) can be
defined by triple (X; D; F ). For configuration data shown in table 1.
X = f1; 2; 3; 4g,D 2 f0; 1g8X, and F = ff1; f2; f3; f4g where
f1 = f1 ! (2) ^ (3 _ 4)g
f2 = f2g
f3 = f3 ! :(4)g
f4 = f4 ! :(3)g
where a ! b means attribute a implies attribute b, if a is
selected (or set to true) then b has to be selected in the
configuration. Propositional formulas in F can also be expressed as F =
f((2) ^ (3 _ 4)) _ :(1); 2; :(4) _ :(3); :(3) _ :(4)g. In the given
example, associated rule with f3 and f4 have the same boolean
expression so only one can be evaluated and also f2 = f2g says that
attribute 2 will be the part of every configuration. As all rules written
in the configuration rule set F has to be satisfied. All element of F
can be combined with AND operator, ' = ^f2F f . Thus ' will be
the boolean formula whose Truth value will represent an
configuration. ' is also called as product overview formula [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. Our
configuration variable set X contains all possible attributes which can be
the part of the product configuration either from customer point of
view of manufacturer. For example, some plant and production
related attribute may not be relevant to the customer but is required to
handle feasibility of production at certain planning stage. In the next
section we discuss different changes in the configuration data which
may result in modification or upgradation of configurations.
3.2
      </p>
    </sec>
    <sec id="sec-5">
      <title>Changes in the configurations</title>
      <p>As a customizable product can be defined based on different features
offered by the manufacturer, product changes can be studied based on
the change in the offered product attributes. In this section we will
outline various changes in product attributes which can make certain
product variants to invalid. The changes in the product attributes can
be cause by one or more of reasons described below:
1. Deletion of old attributes: All past configurations containing
attributes which are discontinued will become invalid according to
changed product. If discontinued attributes have no dependencies
with remaining attributes we can simply remove these attributes to
restore the validity (feasibility) of the product variant. For a
complex engineering product this is very unlikely. In general, product
attributes have complex dependencies among each other and
modification of one attribute needs to be validated with the remaining
set of attributes.
2. Change in rule: The technical rules pertaining to an attribute
that are expressed in configuration data may get changed due to
various reasons such as design modification, legal changes. For
some practical product instances, a single attribute may depend
on hundreds of other attributes by a complex Boolean expression.
Change in some part of a rule may affect feasibility of certain
attribute combinations.
3. Inclusion of new attributes: As a product evolves, some new
features get added. These may not have been present in the past, but a
customer may select them in the future. As newly introduced
features may have some dependencies with other available attributes,
variants produced in the past have to be modified in such a way,
that transformed configurations also contain new features
(according the estimate of new feature).
4. Attribute fragmentation/atomization: In some cases an attribute is
split into more attributes. For example, let us assume that a car was
produced with the option off-road package which includes
features as high battery capacity, heavy duty suspension, hi-fi music
system and a sunroof. Customers were not allowed to select above
features individually but selection can be made through package.
Now, due to some change, the manufacturer has decided to divide
the off-road package into two new packages. The first package
includes the features high battery capacity and heavy duty
suspension, the second package includes the hi-fi music system and
sunroof. Both new packages can be selected individually, which
means that the customer has more choice than before which may
effect the distribution of packages from the past. Some input form
sales in-terms of demand estimates of new package may help here
to adapt past configurations according to new product offerings.
5. Replacement of attributes: Most often due to technology and other
changes, some old attributes are replaced by new attributes. For
example, some old telematic features are replaced by the new
generation touchscreen based systems. Therefore historic product
variants should also be upgraded to the new generation to use them
for planning of a future production system.</p>
      <p>Apart from the above changes there also exists some desire to change
attributes of a past product variant according to new product
offerings. For example, due to market changes, the demand for a certain
engine type may decrease in comparison to other available engines.
In this case the changes in the engine distribution across all
transformed historic orders have to be considered in the transformation
process. This information is not documented in the configuration
rules but can be accessible through planning experts or through some
sales forecast. During the development of the automatic
configuration transformation system we try to accommodate these kinds of
requests.
3.3</p>
    </sec>
    <sec id="sec-6">
      <title>Customer history</title>
      <p>Let a product be defined by a set of 4 attributes f1, 2, 3, 4g.
According to Table 1, the configuration can be listed as described in Table 2
and 3. As shown in Table 3, customer configuration can be presented
as a 0/1 vector over attributes, any change in the configuration can
be made by changing attributes from 0 to 1 and vice-versa. While
transforming the configuration, one objective will be to be as close
as possible to the old configuration. This can be done by minimizing
the Hamming distance between the old and new configurations.</p>
      <p>No.
i
ii
iii
iv
During the transformation of product configurations, we need to
evaluate each rule written in the corresponding configuration data. At the
same time, we also need to ensure, that the changes in the given
product variant are done with minimal cost. Cost can vary based on
deviation from the base configuration and the type of changes done. In
this section we explore an optimization based framework to find a
solution for the above problem. To create an optimization based
transformation procedure, all information included in the product
configuration process need to be considered in the model. To do this, in the
following section we first transform rules from the configuration data
to the corresponding 0-1 discrete programming equivalent forms.
4.1</p>
    </sec>
    <sec id="sec-7">
      <title>Transformation of logical rules to linear inequalities</title>
      <p>
        Constraint programming approach is a well-used methodology inside
the many product configuration systems [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Restrictions on product
configurations are modelled as constraints and a solution is a total
assignment satisfying each of the constraints. Most of the proposed
framework rely of the transformation of boolean formulas to special
structure such as conjunctive normal form (CNF) before writing the
final constraint set [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. We developed an alternate method to avoid
the initial conversion of the input to CNF. Our formulas are so large
that naive CNF conversion by applying the distributive law failed
for lack of memory and time. Also, CNF conversion steps involves
introduction of large number of new variables which increases the
complexity of the problem.
4.1.1
      </p>
      <p>
        Data structure for configuration rules
Using the normal precedence operators and the conventional
evaluation of expressions, the logical rule from configuration data (F ) can
be presented in form of a tree structure. For example, let’s say
selection of an attribute 1 is controlled by following Boolean expression:
In this section we describe the transformation of logical propositions
to its equivalent linear integer constraint through an example. The
procedure to obtained required transformation is discussed in [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]
and [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Linear inequalities over Boolean variables are a widely used
modelling technique. The main task during transformation of an
attribute selection rule into a system of linear constraints is to maintain
the logical equivalence of the transformed expressions. The resulting
system of constraints must have the same truth table as the original
statement. For every attribute we introduce a binary decision
variable, denoted by xi. The connection of these variables to the
propositions is defined by the following relations:
xi =
1
0
iff attribute i is TRUE
otherwise
(2)
Imposition of logical conditions linking the different actions in a
model is achieved by expressing these conditions in the form of
linear constraints connecting the associated decision variables.
      </p>
      <p>Let us assume that a product is defined by five different attributes
as shown in table 4. Our task is to write a set of linear constraints
which represents same information as described for configuration
problem. In this example attribute 1, 2 and 3 imposes a selection rule
criteria while attribute 4 and 5 do not have explicit dependencies.</p>
      <p>
        Our approach, in principle, involves identification of precise
compound attribute rules of the problem and then processing it with
identified equations. The logical rule is represented by a tree graph (as per
Section 4.1.1), where attributes are associated with their common
operator node. We traverse through the tree and prune it in such a way,
that the standard transformation equation can be applied [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. Figure
4 shows the final expression tree for configurations rule written in
Table 4.
      </p>
      <p>^
x4
1
x1
x5</p>
      <p>^
1
x4
1
x5
x1
f1:::ng, where n is the total number of
ai =
xi =</p>
      <p>The Hamming distance between base and new configuration for
attribute i calculated by jai xij. Constraints in Eq. 5 is the set of
linear inequalities derived from configurations rules (restrictions).
Objective function Z is used to minimize the mismatch cost associated
with each attribute so that the transformed configuration will match
the base (old) configuration as close as possible. Change cost
associated with each attribute is assumed here as an input data provided
either by planning experts (sales) or by user. Usually for automobile
change cost for complex attributes such as power train, production
country is high compare to other attributes. In this case user can
specify relative cost (such as weight factor or priorities) among attributes.
Constraint 5 is a set of linear constraints originating by transforming
logical conditions written in the product document to linear
inequalities using the procedure described in Section 4.1. Any new
configuration [x] from the above optimization model will guarantee that
the configuration is feasible according to the product document and
the objective function will ensure its minimum cost deviation from
the base configuration. As the configuration transformation model
transforms one configuration at a time, for every transformation of
non-feasible (according to given product document) configuration,
this model needs to be run. A typical practical instance of this
problem contains around 500-1000 decision variables and some tens of
thousands of constrains.
5</p>
    </sec>
    <sec id="sec-8">
      <title>Solution framework</title>
      <p>Our aim is to provide an automated system which can interpret
information from configuration data and planning experts. The system
should consider given information in the best possible way while
transforming the base (given) product variants to new (upgraded)
variants. For this, we will create a knowledge database, where
information from planning experts can be stored and used during the
configuration transformation. The term planning experts is used to
present collective information/rules specified by engineers/product
managers or the user of the our application. For the reconfiguration
problem, change information can be described by the customer and
same can be applied during updating the base configuration. The
expert database will collect the changes of attributes from one stage of
product to another. Table 5 shows an excerpt of such a knowledge
database. In the expert database we want to maintain an explicit set
of rules which can be applied in a guided way to base
configuration. For example, in the past, a car was produced only with one type
of entertainment system. Due to some enhancement in the product,
the manufacturer now provides three different entertainment systems.
The challenge will be to distribute new entertainment systems over
configurations produced in the past. In this case, the knowledge of
the planning expert plays an important role in achieving a realistic
transformation of past products.</p>
      <p>Situation
An old attribute is replaced
by new attribute (one to
one mapping)
An attribute has been
replaced by number of new
attributes (one to many
mapping)
Group of individual
attribute replaced by new
Package (many to one
mapping)
An old package is divided
in more than one packages
in Past
i
i
i, j, k
p = [i; j; k; l]
in Future
j
i = j for 70%
configurations produced in
past; i = k for 30%
configurations
p = [i; j; k] add
package p if at least
two attribute from
fi; j; kg is present
p1 = [i; j], p2 =
[k; l]</p>
      <p>Knowledge from the expert database is applied to every
configuration that we want to transform. It may happen that the
modifications from the expert database do not suffice to meet all the
configuration rules. In that case, we use the configuration transformation
model presented in section 4.2. A solution is sought automatically
that is valid under the new model, but which differs minimally (in
the ”Hamming distance”) from the ”old” configuration. The flow
diagram in Figure 5 shows the solution framework.</p>
      <p>The configuration transformation process starts with analyzing the
product configuration rules. In this step, we can get the list of all
available attributes and attribute dependencies in terms of logical
rules. These rules can be converted into a set of linear inequalities
as discussed in Section 4.1. Once the configuration rules are
modelled as constraints, we will look into the expert database and apply
all possible attribute mappings described in the expert database. All
discontinued attributes will be removed from the base configuration
because they will not be valid for the new model. At this stage, we
will check if this configuration is feasible according to given
configuration rules. If the answer is YES, we proceed with transforming
the next configuration. If the answer is NO, we call the configuration
transformation model as defined in Section 4.2. We repeat the above
Solvexthexmodel
Storextransformed</p>
      <p>order</p>
      <p>Nextxorder?
No</p>
      <p>Stop</p>
      <p>Yes
Feasibility
check?</p>
      <p>Notxfeasible</p>
    </sec>
    <sec id="sec-9">
      <title>Computational Experiments</title>
      <p>We have tested our solution approach with various industry size
problems. In this section, we will present two different experiments
created out of practical scenarios in the automotive industry.</p>
      <p>Sr
Exp1
Exp2</p>
      <p>Scenario
Transforming past
configurations as per changes in
configuration rules
Upgrading base
configurations with new Engine
total
tributes</p>
      <p>at695
705
total base
configurations
2200
1000
procedure till all configurations are transformed.
as discontinuation of some old attributes. Removing of barred
attributes and application of information from expert’s knowledge as
discussed in section 5, we found that a large number of
configurations become feasible (Hamming distance zero in figure 6) . For
other configurations, solutions are found by solving the optimization
model as discussed in section 4.</p>
      <p>4
5 6 7 8 9
Exp. 2: Hamming distance after upgrading engine type
10</p>
      <p>In experiment 2, we solved the reconfiguration problem by
upgrading the engine type. Given 1000 configurations were upgraded to
a new engine type. First, attributes related to the old engine type were
replaced with the new engine and some related attribute replacements
were done through expert’s knowledge base. For example,
associating the right gear box for the new engine. After user’s modification,
we transformed the given configurations as per the model shown in
Figure 7. A large number of given configurations are transformed
with minimal changes (4-8 attributes) to its original values. The
optimization model out of configuration rules has a few thousand
decision variables and thousands of linear constraints.</p>
      <p>We used the optimization solver IBM Ilog Cplex 12.2 to solve the
order transformation model. For simplicity, the following
assumptions were made: 1) the attribute change cost is assumed to be one
in Experiment1. 2) In Experiment2 we used a relatively high
change cost for new engine and in all transformed configurations, the
attributes related to new engine remained unchanged. On applying
expert knowledge and the mathematical model that we have
developed, the initial computational results shows that the given
configurations can be transformed as per the desired objective in reasonable
computation time (a few seconds).</p>
    </sec>
    <sec id="sec-10">
      <title>Related work</title>
      <p>
        Product configuration systems have been a key enabler for mass
customization. One main contribution of configurations system is to
support mass customization at various key processes such as product
configuration, product data management (PDM) and customer
relationship management (CRM) for effective product and process
variety management [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. The effect of configuration process can be seen
on the customization responsiveness when information from sources
such as customer requirements, product characteristics, production
process and logistics network are considered in the configuration
systems [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ].
      </p>
      <p>
        In a variant rich customizable product, finding customer focused
configurations out of enormous choices is a challenging task [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ].
Failing to access market needs has an adverse effect in product
quality of product configurators [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. Enabling production planning with
customer historical demand (configurations produced in the past)
may help to retain aspects of customer buying behaviour. However,
to use past configurations for future production planning, an
upgradation is required. Fichter et. al. [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] considered some of the product
change conditions in their work of transforming configurations
between two different product document rules. They proposed a
knowledge based framework to transform invalid product variants
according to change of rules in a configurator. However, in their heuristic
approach it is not clear whether the transformed configuration has
small deviation (minimal cost/distance) from original configuration.
Walter et. al. [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ] have discussed MaxSAT based approach for
reconfiguration problem. In our paper we translated configurations
propositional rules to set of linear constraints and the configuration
transformation problem. An optimization based model has some
advantages and the results of this formulation can be extended to support
the generation or the transformation of sets of configurations [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ].
7
      </p>
    </sec>
    <sec id="sec-11">
      <title>Conclusion</title>
      <p>In order to adapt the customer configurations produced in the past
to the latest engineering design and market conditions we have
discussed an optimization based framework. Design related changes
are captured in our optimization model by transforming the
product configuration rules to a set of linear inequalities. Market and
expert knowledge during configuration transformation are captured
by maintaining a knowledge database to transform configurations
according to the best available information. The method will
facilitate future planning activities based on consistent and constructible
configuration sets (order sets), which will have maximum
correlation with the past customer demand. For a complex product which
changes dynamically with respect to time, production planning
activities will improve gradually with the effective adaption of design
and market changes.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Egon</given-names>
            <surname>Balas</surname>
          </string-name>
          , '
          <article-title>Logical constraints as cardinality rules: Tight representation'</article-title>
          ,
          <source>Journal of Combinatorial Optimization</source>
          ,
          <volume>8</volume>
          (
          <issue>2</issue>
          ),
          <fpage>115</fpage>
          -
          <lpage>128</lpage>
          , (
          <year>2004</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>Caroline</given-names>
            <surname>Becker</surname>
          </string-name>
          and
          <article-title>He´le`ne Fargier, 'Maintaining alternative values in constraint-based configuration'</article-title>
          , in IJCAI, ed.,
          <source>Francesca Rossi. IJCAI/AAAI</source>
          , (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>Hachemi</given-names>
            <surname>Bennaceur</surname>
          </string-name>
          , '
          <article-title>A comparison between sat and csp techniques'</article-title>
          ,
          <source>Constraints</source>
          ,
          <volume>9</volume>
          (
          <issue>2</issue>
          ),
          <fpage>123</fpage>
          -
          <lpage>138</lpage>
          , (
          <year>2004</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Michael</given-names>
            <surname>Fichter</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Michael</given-names>
            <surname>Klein</surname>
          </string-name>
          , and Andreas Schmidt, '
          <article-title>Transformation of product between various version of the rule world of a product configurator'</article-title>
          ,
          <source>IEA/AIE</source>
          , Springer-Verlag Berliun Heidelberg,
          <volume>5579</volume>
          (
          <issue>1</issue>
          ),
          <fpage>721</fpage>
          -
          <lpage>730</lpage>
          , (
          <year>2009</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>C.</given-names>
            <surname>Forza</surname>
          </string-name>
          and
          <string-name>
            <given-names>F.</given-names>
            <surname>Salvador</surname>
          </string-name>
          , '
          <article-title>Application support to product variety management'</article-title>
          ,
          <source>International Journal of Production Research</source>
          ,
          <volume>46</volume>
          (
          <issue>3</issue>
          ),
          <fpage>817</fpage>
          -
          <lpage>836</lpage>
          , (
          <year>2008</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>H.</given-names>
            <surname>Graf</surname>
          </string-name>
          , '
          <article-title>Innovative logistics is a vital part of transformable factories in the automotive industry', in Reconfigurable Manufacturing Systems</article-title>
          and Transformable Factories, ed.,
          <source>AnatoliI. Dashchenko</source>
          ,
          <volume>423</volume>
          -
          <fpage>457</fpage>
          , Springer Berlin Heidelberg, (
          <year>2006</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>T.</given-names>
            <surname>Hadzic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Sathiamoorthy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. M.</given-names>
            <surname>Jensen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H. R.</given-names>
            <surname>Andersen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Møller</surname>
          </string-name>
          , and
          <string-name>
            <given-names>H.</given-names>
            <surname>Hulgaard</surname>
          </string-name>
          , '
          <article-title>Fast backtrack free product configuration using precompiled solution space representations'</article-title>
          ,
          <source>in Proceedings of the International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems</source>
          , (
          <year>2004</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>P.T.</given-names>
            <surname>Helo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Q.L.</given-names>
            <surname>Xu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.J.</given-names>
            <surname>Kyllnen</surname>
          </string-name>
          , and
          <string-name>
            <given-names>R.J.</given-names>
            <surname>Jiao</surname>
          </string-name>
          , '
          <article-title>Integrated vehicle configuration systemconnecting the domains of mass customization'</article-title>
          , Computers in Industry,
          <volume>61</volume>
          (
          <issue>1</issue>
          ),
          <fpage>44</fpage>
          -
          <lpage>52</lpage>
          , (
          <year>2010</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Wolfgang</given-names>
            <surname>Ku</surname>
          </string-name>
          <article-title>¨chlin and Carsten Sinz, 'Proving consistency assertions for automotive product data management'</article-title>
          ,
          <source>Journal of Automated Reasoning</source>
          ,
          <volume>24</volume>
          (
          <issue>1-2</issue>
          ),
          <fpage>145</fpage>
          -
          <lpage>163</lpage>
          , (
          <year>2000</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>Andrew</given-names>
            <surname>Kusiak</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. R.</given-names>
            <surname>Smith</surname>
          </string-name>
          , and Zhe Song, '
          <article-title>Planning product configurations based on sales data'</article-title>
          ,
          <source>IEEE Transactions on Systems, Man, and Cybernetics</source>
          , Part C,
          <volume>37</volume>
          (
          <issue>4</issue>
          ),
          <fpage>602</fpage>
          -
          <lpage>609</lpage>
          , (
          <year>2007</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>Peter</given-names>
            <surname>Manhart</surname>
          </string-name>
          , '
          <article-title>Reconfiguration - A problem in search of solutions'</article-title>
          ,
          <source>in IJCAI'05</source>
          Configuration Workshop, eds.,
          <source>Dietmar Jannach and Alexander Felfernig</source>
          , pp.
          <fpage>64</fpage>
          -
          <lpage>67</lpage>
          , (
          <year>2005</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <article-title>Tilak Raj Singh and Narayan Rangaraj, 'Generation of predictive configurations for production planning'</article-title>
          ,
          <source>in 15 th International Configuration Workshop</source>
          , p.
          <fpage>79</fpage>
          , (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>C.</given-names>
            <surname>Sinz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Kaiser</surname>
          </string-name>
          , and W. Ku¨chlin, '
          <article-title>Formal methods for the validation of automotive product configuration data'</article-title>
          ,
          <source>Artificial Intelligence for Engineering Design, Analysis and Manufacturing</source>
          ,
          <volume>17</volume>
          (
          <issue>1</issue>
          ),
          <fpage>75</fpage>
          -
          <lpage>97</lpage>
          , (JAN
          <year>2003</year>
          ).
          <article-title>Special issue on configuration</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>R.</given-names>
            <surname>Srinivasan</surname>
          </string-name>
          and
          <string-name>
            <given-names>J. M.</given-names>
            <surname>Swaminathan</surname>
          </string-name>
          , '
          <article-title>Managing configurable products in the computer industry: Planning and coordination issues'</article-title>
          , volume
          <volume>22</volume>
          , pp.
          <fpage>33</fpage>
          -
          <lpage>43</lpage>
          . Sadhna:Academy Proceedings in Engineering Sciences, (
          <year>February 1997</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <surname>Alessio</surname>
            <given-names>Trentin</given-names>
          </string-name>
          , Elisa Perin, and Cipriano Forza, '
          <article-title>Product configurator impact on product quality'</article-title>
          ,
          <source>International Journal of Production Economics</source>
          ,
          <volume>135</volume>
          (
          <issue>2</issue>
          ),
          <fpage>850</fpage>
          -
          <lpage>859</lpage>
          , (
          <year>2012</year>
          ).
          <article-title>Green Manufacturing and Distribution in the Fashion and Apparel Industries</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <surname>Alessio</surname>
            <given-names>Trentin</given-names>
          </string-name>
          , Elisa Perin, and Cipriano Forza, '
          <article-title>Sales configurator capabilities to avoid the product variety paradox: Construct development</article-title>
          and validation', Computers in Industry,
          <volume>64</volume>
          (
          <issue>4</issue>
          ),
          <fpage>436</fpage>
          -
          <lpage>447</lpage>
          , (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <surname>Rouven</surname>
            <given-names>Walter</given-names>
          </string-name>
          , Christoph Zengler, and Wolfgang Ku¨chlin, '
          <article-title>Applications of maxsat in automotive configuration'</article-title>
          ,
          <source>in 15 th International Configuration Workshop</source>
          , volume
          <volume>1</volume>
          , p.
          <fpage>21</fpage>
          , (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>