Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems

The main goal of this thesis is to facilitate the process of industrial automated systems development applying formal methods to ensure the reliability of systems. A new formulation of distributed diagnosability problem in terms of Discrete Event Systems theory and automata framework is presented, which is then used to enforce the desired property of the system, rather then just verifying it. This approach tackles the state explosion problem with modeling patterns and new algorithms, aimed for verification of diagnosability property in the context of the distributed diagnosability problem. The concepts are validated with a newly developed software tool.

Study and experimental characterization of the laser welding process for the manufacturing of electric powertrain components in the automotive industry

The PhD project that will be presented in this thesis is focused on the study and optimization of the production process for the manufacturing of electrical powertrain components in the automotive field using the laser beam welding process (LBW). The objective is to define, through experimental activities, an optimized process condition for applications in the electrical field that can be generalized, that is, which guarantees its reproducibility as the types of connections vary and which represents the basis for extending the method to future applications in e-mobility sector. The work developed along two lines of research, the convergence of which made it possible to create prototypes of battery modules based on different types of lithium-ion cells and stator windings for electric motors. On the one hand, the different welding configurations involving the production of batteries based on pouch cells and therefore the welding of aluminum and copper in dissimilar configuration were studied, while for the prismatic cells only one configuration was analyzed. On the other hand, the welding of pure copper hairpins with rectangular shape in edge joint configuration was studied for the production of stator windings. The experimental tests carried out have demonstrated the feasibility of using the LBW process for the production of electric powertrain components entirely designed and developed internally as the types of materials and welding configurations vary; the methodologies required for the characterization methods, necessary for the end-of-line tests, for the evaluation of the properties of the different joint configurations and components (battery and electric motor) were also defined with the aim of obtaining the best performance. The entire doctorate program was conducted in collaboration with Ferrari Auto S.p.A. and the direct industrial application of the issues addressed has been faced.

Production and characterization of novel thermoplastic (nano)composite materials for additive manufacturing applications

The increasing environmental global regulations have directed scientific research towards more sustainable materials, even in the field of composite materials for additive manufacturing. In this context, the presented research is devoted to the development of thermoplastic composites for FDM application with a low environmental impact, focusing on the possibility to use wastes from different industrial processes as filler for the production of composite filaments for FDM 3D printing. In particular carbon fibers recycled by pyro-gasification process of CFRP scraps were used as reinforcing agent for PLA, a biobased polymeric matrix. Since the high value of CFs, the ability to re-use recycled CFs, replacing virgin ones, seems to be a promising option in terms of sustainability and circular economy. Moreover, wastes from different agricultural industries, i.e. wheat and rice production processes, were valorised and used as biofillers for the production of PLA-biocomposites. The integration of these agricultural wastes into PLA bioplastic allowed to obtain biocomposites with improved eco-sustainability, biodegradability, lightweight, and lower cost. Finally, the study of novel composites for FDM was extended towards elastomeric nanocomposite materials, in particular TPU reinforced with graphene. The research procedure of all projects involves the optimization of production methods of composite filaments with a particular attention on the possible degradation of polymeric matrices. Then, main thermal properties of 3D printed object are evaluated by TGA, DSC characterization. Additionally, specific heat capacity (CP) and Coefficient of Linear Thermal Expansion (CLTE) measurements are useful to estimate the attitude of composites for the prevention of typical FDM issues, i.e. shrinkage and warping. Finally, the mechanical properties of 3D printed composites and their anisotropy are investigated by tensile test using distinct kinds of specimens with different printing angles with respect to the testing direction.