Robust control design has been increasingly used in industrial settings by leading automation companies. The design procedure has evolved in the last decades and fairly automated procedures exist now for use by practicing engineers or even operators. One does not need to be familiar with the details of the underlying theory to use it. Robust control is different than conventional control in that it accounts for uncertainty bounds and designs a controller with known/desired performance and stability characteristics. Robust control can be applied to multivariable or Single Input Single Output (SISO) processes. This paper is aimed at providing a tutorial on the Robust PID control design approach to practicing chemical engineers. We use the classical pH control problem as an example, which is a challenging problem due to its non-linearity. First, we analyze the pH process by using the benchmark model of Henson and Seborg. We identify the fundamental limitations of the linear control design in terms of model uncertainty and sensor sampling constraints. Subsequently, we design a controller following the guidelines from robust control theory. Finally, we demonstrate the results though implementation in a lab-scale wastewater system. The experimental results show the validity of the process model and the control design approach. It also points out the limitations of the linear controller performance, leading to an interesting follow-up work regarding gain scheduling and adaptation.
The tapered joints of modular hip implants are prone to fretting and crevice-corrosion. This can lead to total failure in under a year, especially for heavier, more active implant recipients. In this study, fractography of a failed Profemur Z implant showed that a life limiting fatigue crack was nucleated on the anterolateral surface of the implant's neck. The fatigue crack nucleation area appeared to have both more fretting damage and a higher corrosion rate than on other surfaces of the neck.
Design of novel infrastructure materials requires a proper understanding of the influence of microstructure on the desired performance. The priority is to seek new and innovative ways to develop sustainable infrastructure materials using natural resources and industrial solid wastes in a manner that is ecologically sustainable and yet economically viable. Structural materials are invariably designed based on mechanical performance. Accurate prediction of effective constitutive behavior of highly heterogeneous novel structural materials with multiple microstructural phases is a challenging task. This necessitates reliable classification and characterization of constituent phases in terms of their volume fractions, size distributions and intrinsic elastic properties, coupled with numerical homogenization technique. This paper explores a microstructure-guided numerical framework that derives inputs from nanoindentation and synchrotron x-ray tomography towards the prediction of effective constitutive response of novel sustainable structural materials so as to enable microstructure-guided design.
Metal matrix composites (MMCs) offer high strength, high stiffness, low density, and good fatigue resistance, while maintaining cost an acceptable level. Fatigue resistance of MMCs depends on many aspects of composite microstructure. Fatigue crack growth behavior is particularly dependent on the reinforcement characteristics and matrix microstructure. The goal of this work is to obtain a fundamental understanding of fatigue crack growth behavior in SiC particle-reinforced 2080 Al alloy composites. In situ X-ray synchrotron tomography was performed on two samples at low (R = 0.1) and at high (R = 0.6) R-ratios. The resulting reconstructed images were used to obtain three-dimensional (3D) rendering of the particles and fatigue crack. Behaviors of the particles and crack, as well as their interaction, were analyzed and quantified. Four-dimensional (4D) visual representations were constructed to aid in the overall understanding of damage evolution.
In this study, Sn grain orientation and Cu6Sn5 IMC fraction, size, and morphology are characterized in 3D, in pure Sn based solder joints. The obtained results show differences in morphology of Sn grains and IMC precipitates as a function of location within the solder joint indicating influence of local cooling rate differences. Ex situ and in situ electromigration tests done on 250 um and 500 um pure Sn solder joints elucidate the evolution of microstructure, specifically Sn grain growth, IMC segregation and surface degradation. This research implements 3D quantification of microstructural features over micro and nano-scales, thereby enabling a multi-scale / multi-characterization approach.
To test the above proposition, I conduct the empirical analysis in three steps. In the first step, I investigate foreign banks’ management model by surveying 13 major foreign banks locally incorporated in Mainland China. The results suggest that these 13 foreign banks can be categorized into three distinct groups based on their management model: intergrators, customer-followers, and parent-followers. The results also indicate that intergrators have the highest level of localization while parent-followers have the lowest level of localization.
In the second step, I conduct DEA (Data Envelope Analysis) and CAMEL (Capital Adequacy, Asset Quality, Management, Earnings, Liquidity Analysis) to assess the operating efficiency of these 13 foreign banks. The assessment is conducted in two ways: 1) the inter-group comparison between foreign banks and local Chinese banks; 2) the intra-group comparison between the three distinct groups of foreign banks identified in the first step. The results indicates that the principal factor driving the operating efficiency of both local Chinese banks and foreign banks is the comprehensive technical efficiency, which includes both the quality of management and the quality of technical elements. I also find the uptrend of technical efficiency of the integrators is more stable than that of the other two groups of foreign banks.
Finally, I integrate the results from step one and step two to assess the relevance between foreign banks’ localization level and operating efficiency. I find that foreign banks that score higher in localization tend to have a higher level of operating efficiency. Although this finding is not conclusive about the causal relationship between localization and operating efficiency, it nevertheless suggests that the management model of the higher performing integrators can serve as references for the other foreign banks attempting to enhance their localization and operating efficiency. I also discuss the future trends of development in the banking industry in China and what foreign banks can learn from local Chinese banks to improve their market positions.
1) Falsification: given a CPS, and a property of interest that the CPS must satisfy under all allowed operating conditions, does the CPS violate, i.e. falsify, the property?
2) Conformance testing: given a model of a CPS, and an implementation of that CPS on an embedded platform, how can we characterize the properties satisfied by the implementation, given the properties satisfied by the model?
Both problems arise in the context of Model-Based Design (MBD) of CPS: in MBD, the designers start from a set of formal requirements that the system-to-be-designed must satisfy.
A first model of the system is created.
Because it may not be possible to formally verify the CPS model against the requirements, falsification tries to verify whether the model satisfies the requirements by searching for behavior that violates them.
In the first part of this dissertation, I present improved methods for finding falsifying behaviors of CPS when properties are expressed in Metric Temporal Logic (MTL).
These methods leverage the notion of robust semantics of MTL formulae: if a falsifier exists, it is in the neighborhood of local minimizers of the robustness function.
The proposed algorithms compute descent directions of the robustness function in the space of initial conditions and input signals, and provably converge to local minima of the robustness function.
The initial model of the CPS is then iteratively refined by modeling previously ignored phenomena, adding more functionality, etc., with each refinement resulting in a new model.
Many of the refinements in the MBD process described above do not provide an a priori guaranteed relation between the successive models.
Thus, the second problem above arises: how to quantify the distance between two successive models M_n and M_{n+1}?
If M_n has been verified to satisfy the specification, can it be guaranteed that M_{n+1} also satisfies the same, or some closely related, specification?
This dissertation answers both questions for a general class of CPS, and properties expressed in MTL.