Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

Pyrolysis of peptides and proteins. Analytical study and environmental applications

Analytical pyrolysis was used to investigate the formation of diketopiperazines (DKPs) which are cyclic dipeptides formed from the thermal degradation of proteins. A quali/quantitative procedure was developed combining microscale flash pyrolysis at 500 °C with gas chromatography-mass spectrometry (GC-MS) of DKPs trapped onto an adsorbent phase. Polar DKPs were silylated prior to GC-MS. Particular attention was paid to the identification of proline (Pro) containing DKPs due to their greater facility of formation. The GC-MS characteristics of more than 80 original and silylated DKPs were collected from the pyrolysis of sixteen linear dipeptides and four model proteins (e.g. bovine serum albumin, BSA). The structure of a novel DKP, cyclo(pyroglutamic-Pro) was established by NMR and ESI-MS analysis, while the structures of other novel DKPs remained tentative. DKPs resulted rather specific markers of amino acid sequence in proteins, even though the thermal degradation of DKPs should be taken into account. Structural information of DKPs gathered from the pyrolysis of model compounds was employed to the identification of these compounds in the pyrolysate of proteinaceous samples, including intrinsecally unfolded protein (IUP). Analysis of the liquid fraction (bio-oil) obtained from the pyrolysis of microalgae Nannochloropsis gaditana, Scenedesmus spp with a bench scale reactor showed that DKPs constituted an important pool of nitrogen-containing compounds. Conversely, the level of DKPs was rather low in the bio-oil of Botryococcus braunii. The developed micropyrolysis procedure was applied in combination with thermogravimetry (TGA) and infrared spectroscopy (FT-IR) to investigate surface interaction between BSA and synthetic chrysotile. The results showed that the thermal behavior of BSA (e.g. DKPs formation) was affected by the different form of doped synthetic chrysotile. The typical DKPs evolved from collagen were quantified in the pyrolysates of archaeological bones from Vicenne Necropolis in order to evaluate their conservation status in combination with TGA, FTIR and XRD analysis.

Melanocytes: a new potential tool to study and monitoring Duchenne muscular dystrophy

Dystrophin is a subsarcolemmal protein critical for the integrity of muscle fibers by linking the actin cytoskeleton to the extracellular matrix via the dystroglycan complex. It is reported that dystroglycans are also localized in the skin, at dermal-epidermal junction. Here we show that epidermal melanocytes express dystrophin at the interface with the basement membrane. The full-length muscle isoform mDp427 was clearly detectable in epidermis and in melanocyte cultures as assessed by RNA and western blot analysis. Dystrophin was absent in Duchenne Muscular Dystrophy (DMD) patients melanocytes, and the ultrastructural analysis revealed mitochondrial alterations, similar to those occurring in myoblasts from the same patients. Interestingly, mitochondrial dysfunction of DMD melanocytes reflected the alterations identified in dystrophin-deficient muscle cells. In fact, mitochondria of melanocytes from DMD patients accumulated tetramethylrhodamine methyl ester but, on the contrary of control donor, mitochondria of DMD patients readily depolarized upon the addition of oligomycin, suggesting either that they are maintaining the membrane potential at the expense of glycolytic ATP, or that they are affected by a latent dysfunction unmasked by inhibition of the ATP synthase. Melanocyte cultures can be easily obtained by conventional skin biopsies, less invasive procedure than muscular biopsy, so that they may represent an alternative cellular model to myoblast for studying and monitoring dystrophinopathies also in response to pharmacological treatments.

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.

Smart tracking of composite parts: feasibility study and effect on mechanical behaviour

This research proposes a solution for integrating RFID - Radio Frequency Identification technology within a structure based on CFRPs - Carbon Fiber Reinforced Polymers. Therefore, the main objective is to use technology to monitor and track composite components during manufacturing and service life. The study can be divided into two macro-areas. The first portion of the research evaluates the impact of the composite materials used on transmitting the electromagnetic signal to and from the tag. RFID technology communicates through radio frequencies to to track and trace items associated with the tags. In the first instance, a feasibility study was carried out to assess using commercially available tags. Then, after evaluating different solutions, it was decided to incorporate the tags into coupons during production. The second portion of the research is focused on evaluating the impact on the composite material's resistance to tag embedding. It starts with designing tensile test specimens through the FEM model with different housing configurations. Subsequently, the best configuration was tested in the facilities of the In the Faculty of Aerospace Engineering at TU Delft, particularly in the Structure & Materials Laboratory, two tests were conducted: the first one based on ASTM D3039/D3039 - 14 - Standard Test Method for Tensile Properties of Polymer Matrix Composite Materials, the second one dividing the path to failure into failure intervals in a load-unload-reload. Both tests were accompanied by instruments such as DIC, AE, C-Scan and Optical Microscopes. The expected result of the inclusion of RFID tags in composite components is that it brings added value to the parts with which it is associated without affecting too much its mechanical properties. This comes first from the automatic identification of RFID during the production cycle and its useful life. As a result, improvements were made in the design of production facilities.

Study and implementation of control strategies for polymerization processes assisted by atmospheric pressure plasma jets

In recent years, polymerization processes assisted by atmospheric pressure plasma jets (APPJs) have received increasing attention in numerous industrially relevant sectors since they allow to coat complex 3D substrates without requiring expensive vacuum systems. Therefore, advancing the comprehension of these processes has become a high priority topic of research. This PhD dissertation is focused on the study and the implementation of control strategies for a polymerization process assisted by an atmospheric pressure single electrode plasma jet. In the first section, a study of the validity of the Yasuda parameter (W/FM) as controlling parameter in the polymerization process assisted by the plasma jet and an aerosolized fluorinated silane precursor is proposed. The surface characterization of coatings deposited under different W/FM values reveals the presence of two very well-known deposition domains, thus suggesting the validity of W/FM as controlling parameter. In addition, the key role of the Yasuda parameter in the process is further demonstrated since coatings deposited under the same W/FM exhibit similar properties, regardless of how W/FM is obtained. In the second section, the development of a methodology for measuring the energy of reactions in the polymerization process assisted by the plasma jet and vaporized hexamethyldisiloxane is presented. The values of energy per precursor molecule are calculated through the identification and resolution of a proper equivalent electrical circuit. To validate the methodology, these energy values are correlated to the bond energies in the precursor molecule and to the properties of deposited thin films. It is shown that the precursor fragmentation in the discharge and the coating characteristics can be successfully explained according to the obtained values of energy per molecule. Through a detailed discussion of the limits and the potentialities of both the control strategies, this dissertation provides useful insights into the control of polymerization processes assisted by APPJs.

Study and characterization of polymorphs of BTBT derivatives and their application in organic electronics

The perquisites of organic semiconductors (OSCs) in the field of organic electronics have attracted much attention due to the advantages like cost-effectiveness, solution processibility, etc. A key property in OSCs is charge carrier mobility, which depends on molecular packing, as even the slightest changes in the packing of OSC can significantly impact the mobility. Organic molecules are constructed by weak interactions, which makes the OSCs prone to adopt multiple packing arrangements, thus giving rise to polymorphism. Therefore, polymorph screening in bulk and thin films is crucial for material development. This thesis aims to present a systematic study of polymorphism of [1]benzothieno[3,2-b]benzothiophene (BTBT) derivatives functionalized with different side chains. The role of peripheral side chains has been studied since they can promote different packing arrangements. The bulk polymorph screening of OSCs was approached with conventional solution mediated recrystallization experiments like evaporation, slurry maturation, anti-solvent precipitation, etc. Each of the polymorphs were inspected for their relative stability and the kinetics of transformation was evaluated. Polymorphism in thin films was also investigated for selected OSCs. Non-equilibrium methods like, thermal gradient and solution shearing were employed to examine the nucleation, crystal growth and morphology in controlled crystallization conditions. After careful analysis of crystal phases in bulk and thin films, OFETs have been fabricated by optimizing the manufacturing conditions and the hole mobility values were extracted. The charge transport property of the OSCs tested for OFETs was supported by the ionization potential and transfer integrals calculation. An attempt to correlate the solid-state structure to electronic properties was carried out. For some of the molecules, mechanical properties have been also investigated, as the response to mechanical stress is highly susceptible to packing arrangements and the intermolecular interaction energy contributions. Additionally, collaborative research was carried out by solving and analysing the crystal structures of six oligorylene molecules.

Cheering the soul: Ibn Qāḍī Baʿlabakk’s Mufarriḥ an-Nafs. Arabic edition, english translation, study and glossaries

The Mufarriḥ an-nafs (Soul-Cheerer), attributed to Badr ad-Dīn Muẓaffar Ibn Qāḍī Baʿlabakk, who served under the Ayyubids as the Chief Medical Officer of Damascus in the mid-13th century, was written as a comprehensive guide for physicians outlining different approaches to cheering the soul. The tractate is divided into ten chapters, which explore the nature of the soul, its distinction to the body as well as their connection through sensorial perception. Ibn Qāḍī Baʿlabakk distinguishes the bodily senses – hearing, vision, smell, taste, touch – and the inner senses, which he sees as stimulated through activities such as hunting and engagement in poetry and the sciences. The seventh chapter of the Mufarriḥ an-nafs includes an extended encyclopedia on materia medica as well as dispensatory of simple and compound drugs, which is devoted to treating the soul and remains unparalleled in the history of Islamicate medicine. My doctoral dissertation offers a complete recension and translation of the Mufarriḥ an-nafs based on a stemma codicum drawn from the seventeen extant text witnesses. The dissertation contextualizes the work, its author as well as sources, and features a text commentary that seeks to enable the reader to easily place and understand the Mufarriḥ an-nafs within the tradition of Galenic medicine. The glossaries on materia medica found at the end of the dissertation are aimed at facilitating access to the pharmacological dispensatory included in the seventh chapter.

Study and development of BaCe0.65Zr0.20Y0.1503-Δ (BCZY) – Gd0.2Ce0.8O2-Δ (GDC) dense ceramic membranes sysyem for high temperature H2 purification

The first main conclusion drawn from this dissertation concerns the amount of Pt deposited on the asymmetric layer of membrane produced by tape casting porosity shaping method. Three different amounts were investigated (0.15, 1.5 and 4.5 mg cm-2 ). The most optimal performance, based on H2 permeation performances, was attained when 1.5 mg cm-2 of Pt was deposited on the porous layer, resulting in a 0.642 mL min-1 cm-2 permeated H2 when 80% H2 in He was employed as the feed. Pt deposition method is influenced by the concentration of the Pt precursor, which results in different morphology of the catalyst. The second development focused on further optimization on tape casting membranes concerning the solvent employed for the Pt catalyst deposition. The same concentration of Pt was employed, depositing 1.5 mg cm-2 on the porous side of the membrane, but a mixture of acetone and water was employed as solvent. This mixture allowed the suppression of effects leading to poorly dispersed particles. As a result, it was possible to achieve 0.74 mL min-1 cm-2 at 750°C with 50% H2 in He. Lastly, first-ever permeation performance measurements into an innovative ceramic membrane type for hydrogen separation was investigated. In-depth research was done on a group of hierarchically-structured BaCe0.65Zr0.20Y0.15O3-δ(BCZY) - Gd0.2Ce0.8O2-δ(GDC) membranes produced by freeze casting porosity shaping method. Membranes were investigated observing the effect of deposition solvent and the effect of porous layer thickness. Employing a mixture of Acetone and water resulted in better hydrogen permeation at temperatures (T > 650°C), reaching 0.26 mL min-1 cm-2 at 750°C with 50% H2 in He. The reduction of porous layer thickness led to a hydrogen flow of 0.33 mL min-1 cm-2 , at 750°C with 50% H2 in He.