Stable MPC for tracking with maximal domain of attraction

In this work, a stable MPC that maximizes the domain of attraction of the closed-loop system is proposed. The proposed approach is suitable to real applications in the sense that it accounts for the case of output tracking, it is offset free if the output target is reachable and minimizes the offset if some of the constraints are active at steady state. The new approach is based on the definition of a Minkowski functional related to the input and terminal constraints of the stable infinite horizon MPC. It is also shown that the domain of attraction is defined by the system model and the constraints, and it does not depend on the controller tuning parameters. The proposed controller is illustrated with small order examples of the control literature. (C) 2011 Elsevier Ltd. All rights reserved.

MPC for tracking zone regions

This paper deals with the problem of tracking target sets using a model predictive control (MPC) law. Some MPC applications require a control strategy in which some system outputs are controlled within specified ranges or zones (zone control), while some other variables - possibly including input variables - are steered to fixed target or set-point. In real applications, this problem is often overcome by including and excluding an appropriate penalization for the output errors in the control cost function. In this way, throughout the continuous operation of the process, the control system keeps switching from one controller to another, and even if a stabilizing control law is developed for each of the control configurations, switching among stable controllers not necessarily produces a stable closed loop system. From a theoretical point of view, the control objective of this kind of problem can be seen as a target set (in the output space) instead of a target point, since inside the zones there are no preferences between one point or another. In this work, a stable MPC formulation for constrained linear systems, with several practical properties is developed for this scenario. The concept of distance from a point to a set is exploited to propose an additional cost term, which ensures both, recursive feasibility and local optimality. The performance of the proposed strategy is illustrated by simulation of an ill-conditioned distillation column. (C) 2010 Elsevier Ltd. All rights reserved.

Stable Model Predictive Control for Integrating Systems with Optimizing Targets

This paper concern the development of a stable model predictive controller (MPC) to be integrated with real time optimization (RTO) in the control structure of a process system with stable and integrating outputs. The real time process optimizer produces Optimal targets for the system inputs and for Outputs that Should be dynamically implemented by the MPC controller. This paper is based oil a previous work (Comput. Chem. Eng. 2005, 29, 1089) where a nominally stable MPC was proposed for systems with the conventional control approach where only the outputs have set points. This work is also based oil the work of Gonzalez et at. (J. Process Control 2009, 19, 110) where the zone control of stable systems is studied. The new control for is obtained by defining ail extended control objective that includes input targets and zone controller the outputs. Additional decision variables are also defined to increase the set of feasible solutions to the control problem. The hard constraints resulting from the cancellation of the integrating modes Lit the end of the control horizon are softened,, and the resulting control problem is made feasible to a large class of unknown disturbances and changes of the optimizing targets. The methods are illustrated with the simulated application of the proposed,approaches to a distillation column of the oil refining industry.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Performance analysis of a single-user MISO ultra-wideband time reversal system with DFE

This paper presents an analysis of the performance of a baseband multiple-input single-output (MISO) time reversal ultra-wideband system (TR-UWB) incorporating a symbol spaced decision feedback equalizer (DFE). A semi-analytical performance analysis based on a Gaussian approach is considered, which matched well with simulation results, even for the DFE case. The channel model adopted is based on the IEEE 802.15.3a model, considering correlated shadowing across antenna elements. In order to provide a more realistic analysis, channel estimation errors are considered for the design of the TR filter. A guideline for the choice of equalizer length is provided. The results show that the system`s performance improves with an increase in the number of transmit antennas and when a symbol spaced equalizer is used with a relatively small number of taps compared to the number of resolvable paths in the channel impulse response. Moreover, it is possible to conclude that due to the time reversal scheme, the error propagation in the DFE does not play a role in the system`s performance.

Simple Excitation Model for Coaxial Driven Monopole Antennas

A new excitation model for the numerical solution of field integral equation (EFIE) applied to arbitrarily shaped monopole antennas fed by coaxial lines is presented. This model yields a stable solution for the input impedance of such antennas with very low numerical complexity and without the convergence and high parasitic capacitance problems associated with the usual delta gap excitation.

A Bayesian approach to fuzzy hypotheses testing for the estimation of optimal age for vaccination against measles

Fuzzy Bayesian tests were performed to evaluate whether the mother`s seroprevalence and children`s seroconversion to measles vaccine could be considered as ""high"" or ""low"". The results of the tests were aggregated into a fuzzy rule-based model structure, which would allow an expert to influence the model results. The linguistic model was developed considering four input variables. As the model output, we obtain the recommended age-specific vaccine coverage. The inputs of the fuzzy rules are fuzzy sets and the outputs are constant functions, performing the simplest Takagi-Sugeno-Kang model. This fuzzy approach is compared to a classical one, where the classical Bayes test was performed. Although the fuzzy and classical performances were similar, the fuzzy approach was more detailed and revealed important differences. In addition to taking into account subjective information in the form of fuzzy hypotheses it can be intuitively grasped by the decision maker. Finally, we show that the Bayesian test of fuzzy hypotheses is an interesting approach from the theoretical point of view, in the sense that it combines two complementary areas of investigation, normally seen as competitive. (C) 2007 IMACS. Published by Elsevier B.V. All rights reserved.

Assessment of a New Experimental Model of Isolated Right Ventricular Failure

We assessed a new experimental model of isolated right ventricular (RV) failure, achieved by means of intramyocardial injection of ethanol. RV dysfunction was induced in 13 mongrel dogs via multiple injections of 96% ethanol (total dose 1 mL/kg), all over the inlet and trabecular RV free walls. Hemodynamic and metabolic parameters were evaluated at baseline, after ethanol injection, and on the 14th postoperative day (POD). Echocardiographic parameters were evaluated at baseline, on the sixth POD, and on the 13th POD. The animals were then euthanized for histopathological analysis of the hearts. There was a 15.4% mortality rate. We noticed a decrease in pulmonary blood flow right after RV failure (P = 0.0018), as well as during reoperation on the 14th POD (P = 0.002). The induced RV dysfunction caused an increase in venous lactate levels immediately after ethanol injection and on the 14th POD (P < 0.0003). The echocardiogram revealed a decrease in the RV ejection fraction on the sixth and 13th PODs (P = 0.0001). There was an increased RV end-diastolic volume on the sixth (P = 0.0001) and 13th PODs (P = 0.0084). The right ventricle showed a 74% +/- 0.06% transmural infarction area, with necrotic lesions aged 14 days. Intramyocardial ethanol injection has allowed the creation of a reproducible and inexpensive model of RV failure. The hemodynamic, metabolic, and echocardiographic parameters assessed at different protocol times are compatible with severe RV failure. This model may be useful in understanding the pathophysiology of isolated right-sided heart failure, as well as in the assessment of ventricular assist devices.

Initial hepatosplanchnic blood flow distribution and oxygen metabolism in experimental model of hypotensive brain death

Background: Organs from the so-called marginal donors have been used with a significant higher risk of primary non function than organs retrieved from the optimal donors. We investigated the early metabolic changes and blood flow redistribution in splanchnic territory in an experimental model that mimics marginal brain-dead (BD) donor. Material/Methods: Ten dogs (21.3 +/- 0.9 kg), were subjected to a brain death protocol induced by subdural balloon inflation and observed for 30 min thereafter without ally additional interventions. Mean arterial and intracranial pressures, heart rate, cardiac output (CO), portal vein and hepatic artery blood flows (PVBF and HABF, ultrasonic flowprobe), and O(2)-derived variables were evaluated. Results: An increase in arterial pressure, CO, PVBF and HABF was observed after BD induction. At the end, an intense hypotension with normalization in CO (3.0 +/- 0.2 VS. 2.8 +/- 2.8 L/min) and PVBF (687 +/- 114 vs. 623 +/- 130 ml/min) was observed, whereas HABF (277 33 vs. 134 28 ml/min, p<0.005) remained lower than baseline values. Conclusions: Despite severe hypotension induced by sudden increase of intracranial pressure, the systemic and splanchnic blood flows were partially preserved without signs of severe hypoperfusion (i.e. hyperlactatemia). Additionally, the HABF was mostly negatively affected in this model of marginal BD donor. Our data suggest that not only the cardiac output, but the intrinsic hepatic microcirculatory mechanism plays a role in the hepatic blood flow control after BD.

Short-Term Effects of Hydroxyethylstarch Resuscitation on Systemic and Regional Hemodynamics and Metabolism in a Brain-Dead Canine Model

Background. Hydroxyethylstarch (HES) is a synthetic polymer of glucose that has been suggested for therapeutic use in long-term plasma expansion. The aim of this study was to test the hypothesis that the infusion of a small volume of HES may provide benefits in systemic and regional hemodynamics and metabolism in a brain-dead canine model compared with large volume crystalloid resuscitation. Methods. Fourteen mongrel dogs were subjected to a brain-death protocol by consecutive insufflations of a balloon catheter in the epidural space. One hour after induction of brain-death, the animals were randomly assigned to two groups: NS (0.9% NaCl, 33mL/kg), and HES (6% HES 450/0.7, 17mL/Kg). Systemic and regional hemodynamics were evaluated using Swan-Ganz, ultrasonic flowprobes, and arterial catheters. Serial blood samples were collected for blood gas, electrolyte, and serum chemistry analysis. Systemic, hepatic, and splanchnic O(2)-derived variables were also calculated. Results. Epidural balloon insufflations induced a significant increase in mean arterial pressure, cardiac output (MAP and CO, respectively), regional blood flow, and systemic vascular resistance. Following the hyperdynamic phase, severe hypotension with normalization of systemic and regional blood flow was observed. Fluid resuscitation induced a prompt increase in MAP, CO, and portal vein blood flow, and a significant reduction in systemic and pulmonary vascular resistance. There were no differences between groups in metabolic indices, liver function tests (LFTs), or renal function tests. HES was more effective than NS in restoring cardiac performance in the first 2h after fluid resuscitation (P < 0.05). Both tested solutions partially and temporarily restored systemic and regional oxygen delivery. Conclusion. Small volumes of 6% HES 450/0.7 improved cardiovascular performance and provided the same regional hemodynamic and metabolic benefits of large volumes of isotonic crystalloid solutions. (C) 2011 Elsevier Inc. All rights reserved.