Employment of Real-Time/FPGA Architectures for Test and Control of Automotive Engines

Nowadays the production of increasingly complex and electrified vehicles requires the implementation of new control and monitoring systems. This reason, together with the tendency of moving rapidly from the test bench to the vehicle, leads to a landscape that requires the development of embedded hardware and software to face the application effectively and efficiently. The development of application-based software on real-time/FPGA hardware could be a good answer for these challenges: FPGA grants parallel low-level and high-speed calculation/timing, while the Real-Time processor can handle high-level calculation layers, logging and communication functions with determinism. Thanks to the software flexibility and small dimensions, these architectures can find a perfect collocation as engine RCP (Rapid Control Prototyping) units and as smart data logger/analyser, both for test bench and on vehicle application. Efforts have been done for building a base architecture with common functionalities capable of easily hosting application-specific control code. Several case studies originating in this scenario will be shown; dedicated solutions for protype applications have been developed exploiting a real-time/FPGA architecture as ECU (Engine Control Unit) and custom RCP functionalities, such as water injection and testing hydraulic brake control.

Insights on epidemiology and control of Marek’s disease through traditional and novel molecular tools

Marek's disease (MD) is a contagious, lymphoproliferative and neuropathic disease of poultry caused by a ubiquitous lymphotropic and oncogenic virus, Gallid alphaherpesvirus 2 (GaHV-2). MD has been reported in all poultry-rearing countries and is among the viral diseases with the highest economic impact in the poultry industry worldwide, including Italy. MD has been also recognized as one of the leading causes of mortality in backyard poultry. The present doctoral thesis aimed at exploring Marek's disease virus molecular epidemiology in Italian commercial and backyard chicken flocks and, for the first time, in commercial turkeys affected by clinical MD. Molecular biology techniques targeting the full-length meq gene, the major GaHV-2 oncogene, were used to detect and characterize the circulating GaHV-2 strains searching for genetic markers of virulence. A final study focused on the development of rapid, sensitive, and species-specific loop-mediated isothermal amplification assays coupled with a lateral flow device readout for the detection of conventional and recombinant HVT-based vaccines is included in the thesis. HVT vaccines, currently used to protect chickens from MD, are referred to as "leaky", as they do not impede the infection, replication, and shedding of field GaHV-2: vaccinal and field viruses can coexist in the vaccinated host and molecular tests able to discriminate between GaHV-2 and HVT are required. These new simple, fast, and accurate tests for the monitoring of MD vaccination success in the field could be greatly beneficial for field veterinarians, small laboratories, and more broadly for resource-limited settings.

Modelling, simulation and control of rotary-wing aircraft in multi-agent scenario

The topic of this thesis is the design and the implementation of mathematical models and control system algorithms for rotary-wing unmanned aerial vehicles to be used in cooperative scenarios. The use of rotorcrafts has many attractive advantages, since these vehicles have the capability to take-off and land vertically, to hover and to move backward and laterally. Rotary-wing aircraft missions require precise control characteristics due to their unstable and heavy coupling aspects. As a matter of fact, flight test is the most accurate way to evaluate flying qualities and to test control systems. However, it may be very expensive and/or not feasible in case of early stage design and prototyping. A good compromise is made by a preliminary assessment performed by means of simulations and a reduced flight testing campaign. Consequently, having an analytical framework represents an important stage for simulations and control algorithm design. In this work mathematical models for various helicopter configurations are implemented. Different flight control techniques for helicopters are presented with theoretical background and tested via simulations and experimental flight tests on a small-scale unmanned helicopter. The same platform is used also in a cooperative scenario with a rover. Control strategies, algorithms and their implementation to perform missions are presented for two main scenarios. One of the main contributions of this thesis is to propose a suitable control system made by a classical PID baseline controller augmented with L1 adaptive contribution. In addition a complete analytical framework and the study of the dynamics and the stability of a synch-rotor are provided. At last, the implementation of cooperative control strategies for two main scenarios that include a small-scale unmanned helicopter and a rover.

Design and testing of innovative, artificial intelligence-based techniques to model and control the combustion process and to reduce the Co2 emissions in modern, high-performance, gasoline direct injection engines

This work deals with the development of calibration procedures and control systems to improve the performance and efficiency of modern spark ignition turbocharged engines. The algorithms developed are used to optimize and manage the spark advance and the air-to-fuel ratio to control the knock and the exhaust gas temperature at the turbine inlet. The described work falls within the activity that the research group started in the previous years with the industrial partner Ferrari S.p.a. . The first chapter deals with the development of a control-oriented engine simulator based on a neural network approach, with which the main combustion indexes can be simulated. The second chapter deals with the development of a procedure to calibrate offline the spark advance and the air-to-fuel ratio to run the engine under knock-limited conditions and with the maximum admissible exhaust gas temperature at the turbine inlet. This procedure is then converted into a model-based control system and validated with a Software in the Loop approach using the engine simulator developed in the first chapter. Finally, it is implemented in a rapid control prototyping hardware to manage the combustion in steady-state and transient operating conditions at the test bench. The third chapter deals with the study of an innovative and cheap sensor for the in-cylinder pressure measurement, which is a piezoelectric washer that can be installed between the spark plug and the engine head. The signal generated by this kind of sensor is studied, developing a specific algorithm to adjust the value of the knock index in real-time. Finally, with the engine simulator developed in the first chapter, it is demonstrated that the innovative sensor can be coupled with the control system described in the second chapter and that the performance obtained could be the same reachable with the standard in-cylinder pressure sensors.

New knowledge, diagnostic and control tools to limit the impact of viral nervous necrosis (VNN) in the Mediterranean aquaculture sector

The role of aquaculture in satisfying the global seafood demand is essential. The expansion of the aquaculture sector and the intensification of its activities have enhanced the circulation of infectious agents. Among these, the nervous necrosis virus (NNV) represents the most widespread in the Mediterranean basin. The NNV is responsible for a severe neuropathological condition named viral nervous necrosis (VNN), impacting hugely on fish farms due to the serious disease-associated losses. Therefore, it is fundamental to develop new strategies to limit the impact of VNN in this area, interconnecting several aspects of disease management, diagnosis and prevention. This PhD thesis project, focusing on aquatic animals’ health, deals with these topics. The first two chapters expand the knowledge on VNN epidemiology and distribution, showing the possibility of interspecies transmission, persistent infections and a potential carrier role for invertebrates. The third study expands the horizon of VNN diagnosis, by developing a quick and affordable multiplex RT-PCR able to detect and simultaneously discriminate between NNV variants, reducing considerably the time and costs of genotyping. The fourth study, with the development of a fluorescent in situ hybridization technique and its application to aquatic vertebrates and invertebrates’ tissues, contributes to expand the knowledge on NNV distribution at cellular level, localizing also the replication site of the virus. Finally, the last study dealing with an in vitro evaluation of the NNV susceptibility to a commercial biocide, stress the importance to implement proper disinfectant procedures in fish farms to prevent virus spread and disease outbreaks.

Nonlinear constrained and saturated control of power electronics and electromechanical systems

Power electronic converters are extensively adopted for the solution of timely issues, such as power quality improvement in industrial plants, energy management in hybrid electrical systems, and control of electrical generators for renewables. Beside nonlinearity, this systems are typically characterized by hard constraints on the control inputs, and sometimes the state variables. In this respect, control laws able to handle input saturation are crucial to formally characterize the systems stability and performance properties. From a practical viewpoint, a proper saturation management allows to extend the systems transient and steady-state operating ranges, improving their reliability and availability. The main topic of this thesis concern saturated control methodologies, based on modern approaches, applied to power electronics and electromechanical systems. The pursued objective is to provide formal results under any saturation scenario, overcoming the drawbacks of the classic solution commonly applied to cope with saturation of power converters, and enhancing performance. For this purpose two main approaches are exploited and extended to deal with power electronic applications: modern anti-windup strategies, providing formal results and systematic design rules for the anti-windup compensator, devoted to handle control saturation, and “one step” saturated feedback design techniques, relying on a suitable characterization of the saturation nonlinearity and less conservative extensions of standard absolute stability theory results. The first part of the thesis is devoted to present and develop a novel general anti-windup scheme, which is then specifically applied to a class of power converters adopted for power quality enhancement in industrial plants. In the second part a polytopic differential inclusion representation of saturation nonlinearity is presented and extended to deal with a class of multiple input power converters, used to manage hybrid electrical energy sources. The third part regards adaptive observers design for robust estimation of the parameters required for high performance control of power systems.

Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Regulating State Aid: Inter-jurisdictional competition, public choice, and corporate governance

Depending on the regulatory regime they are subject to, governments may or may not be allowed to hand out state aid to private firms. The economic justification for state aid can address several issues present in the competition for capital and the competition for transfers from the state. First, there are principal-agent problems involved at several stages. Self-interested politicians might enter state aid deals that are the result of extensive rent-seeking activities of organized interest groups. Thus the institutional design of political systems will have an effect on the propensity of a jurisdiction to award state aid. Secondly, fierce competition for firm locations can lead to over-spending. This effect is stronger if the politicians do not take into account the entirety of the costs created by their participation in the firm location race. Thirdly, state aid deals can be incomplete and not in the interest of the citizens. This applies if there are no sanctions if firms do not meet their obligations from receiving aid, such as creating a certain number of jobs or not relocating again for a certain amount of time. The separation of ownership and control in modern corporations leads to principal-agent problems on the side of the aid recipient as well. Managers might receive personal benefits from subsidies, the use of which is sometimes less monitored than private finance. This can eventually be to the detriment of the shareholders. Overall, it can be concluded that state aid control should also serve the purpose of regulating the contracting between governments and firms. An extended mandate for supervision by the European Commission could include requirements to disincentive the misuse of state aid. The Commission should also focus on the corporate governance regime in place in the jurisdiction that awards the aid as well as in the recipient firm.

Fault detection, diagnosis and active fault tolerant control for a satellite attitude control system

Modern control systems are becoming more and more complex and control algorithms more and more sophisticated. Consequently, Fault Detection and Diagnosis (FDD) and Fault Tolerant Control (FTC) have gained central importance over the past decades, due to the increasing requirements of availability, cost efficiency, reliability and operating safety. This thesis deals with the FDD and FTC problems in a spacecraft Attitude Determination and Control System (ADCS). Firstly, the detailed nonlinear models of the spacecraft attitude dynamics and kinematics are described, along with the dynamic models of the actuators and main external disturbance sources. The considered ADCS is composed of an array of four redundant reaction wheels. A set of sensors provides satellite angular velocity, attitude and flywheel spin rate information. Then, general overviews of the Fault Detection and Isolation (FDI), Fault Estimation (FE) and Fault Tolerant Control (FTC) problems are presented, and the design and implementation of a novel diagnosis system is described. The system consists of a FDI module composed of properly organized model-based residual filters, exploiting the available input and output information for the detection and localization of an occurred fault. A proper fault mapping procedure and the nonlinear geometric approach are exploited to design residual filters explicitly decoupled from the external aerodynamic disturbance and sensitive to specific sets of faults. The subsequent use of suitable adaptive FE algorithms, based on the exploitation of radial basis function neural networks, allows to obtain accurate fault estimations. Finally, this estimation is actively exploited in a FTC scheme to achieve a suitable fault accommodation and guarantee the desired control performances. A standard sliding mode controller is implemented for attitude stabilization and control. Several simulation results are given to highlight the performances of the overall designed system in case of different types of faults affecting the ADCS actuators and sensors.

Development and experimental validation of a knock induced damage model and real-time implementation of model-based strategies to control knock intensity in boosted gasoline engines

This PhD thesis reports the main activities carried out during the 3 years long “Mechanics and advanced engineering sciences” course, at the Department of Industrial Engineering of the University of Bologna. The research project title is “Development and analysis of high efficiency combustion systems for internal combustion engines” and the main topic is knock, one of the main challenges for boosted gasoline engines. Through experimental campaigns, modelling activity and test bench validation, 4 different aspects have been addressed to tackle the issue. The main path goes towards the definition and calibration of a knock-induced damage model, to be implemented in the on-board control strategy, but also usable for the engine calibration and potentially during the engine design. Ionization current signal capabilities have been investigated to fully replace the pressure sensor, to develop a robust on-board close-loop combustion control strategy, both in knock-free and knock-limited conditions. Water injection is a powerful solution to mitigate knock intensity and exhaust temperature, improving fuel consumption; its capabilities have been modelled and validated at the test bench. Finally, an empiric model is proposed to predict the engine knock response, depending on several operating condition and control parameters, including injected water quantity.