Formal methods for reconfigurable assembly systems

The XPRESS project defined a new concept of intelligent factory to improve the flexibility of the manucfacturing lines. One of the problems the management layer of this system faces is the decision regarding the composition of new production lines to realize a product. To solve these issues, this work focuses on developing methods to assist the engineer decision by eliminating undesired equipments combinations from the elegible configurations list. The result was a library of optimization functions for combinatorial problems and it is composed by three methods, each corresponding to a different stage of the decision process. This work also analyzes the impact of the problem features in the produced implementation.