Robust linear parameter‐varying control of induction motors

The paper deals with the motion control of an induction motor. Because the nonlinear state equations describing the dynamics of such a machine can be embedded into a linear model with the rotor speed ω as a varying parameter, advantage is taken of some recent results on the control of linear parameter‐varying systems, thus ensuring stability independently of how the varying parameter changes in time within a compact set. The adopted control structure consists of a fast inner electric loop that controls the stator currents and an outer mechanical loop that generates the torque acting on the motor shaft. Of crucial importance is the design of the internal model controller for the current loop. In particular, it is proved that an algebraically equivalent electric motor model admits a Lyapunov function that, together with its Lyapunov derivative, is independent of ω and of all motor parameters. This result allows us to find an upper bound on the norm of the Youla–Kucera parameter that ensures robust stability against speed measurement errors. Simulations carried out on a benchmark motor model show that the adopted control strategy performs well. Copyright © 2014 John Wiley & Sons, Ltd.     

Global asymptotic stabilization of the attitude and the angular rates of an underactuated non-symmetric rigid body

The paper deals with the global stabilization of both the attitude and the angular velocities of an underactuated rigid body. First a stability theorem is proven for a class of systems; subsequently, the equations describing the physics of the rigid body are presented, showing that the rigid body belongs to the considered class of systems, and a sufficient condition for the application of the theorem to the stability of the rigid body equilibrium is pointed out. Finally, some simulation results are reported showing the effectiveness of the proposed methodology.     

Discrete Semantics for Hybrid Automata

Many natural systems exhibit a hybrid behavior characterized by a set of continuous laws which are switched by discrete events. Such behaviors can be described in a very natural way by a class of automata called hybrid automata. Their evolution are represented by both dynamical systems on dense domains and discrete transitions. Once a real system is modeled in a such framework, one may want to analyze it by applying automatic techniques, such as Model Checking or Abstract Interpretation. Unfortunately, the discrete/continuous evolutions not only provide hybrid automata of great flexibility, but they are also at the root of many undecidability phenomena. This paper addresses issues regarding the decidability of the reachability problem for hybrid automata (i.e., “can the system reach a state a from a state b?”) by proposing an “inaccurate” semantics. In particular, after observing that dense sets are often abstractions of real world domains, we suggest, especially in the context of biological simulation, to avoid the ability of distinguishing between values whose distance is less than a fixed ε. On the ground of the above considerations, we propose a new semantics for first-order formulæ which guarantees the decidability of reachability. We conclude providing a paradigmatic biological example showing that the new semantics mimics the real world behavior better than the precise one.     

PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions

One application of the P300 brain electric signal is sentence spelling, which enables subjects who have lost control of their motor pathways to communicate by selecting characters in a matrix containing all alphabet symbols. This technology still suffers from both low communication/high error rates. A P300 speller, named PolyMorph, which jointly introduces the selection matrix polymorphism (reducing the matrix size by removing useless symbols) and sentence-based predictions (which forecast words on the basis of language statistics) is presented. This is accomplished by using a custom dynamic knowledge-base, tailored to the subject lexicon, and updated in real time with the selections of the subject. The effectiveness of the presented speller is measured in vivo and in silico. The results suggest that the use of PolyMorph increases the number of spelt characters per time unit and reduces the error rate.     

Assessment of intradialysis calcium mass balance by a single pool variable‐volume calcium kinetic model

Introduction: A reliable method of intradialysis calcium mass balance quantification is far from been established. We herein investigated the use of a single‐pool variable‐volume Calcium kinetic model to assess calcium mass balance in chronic and stable dialysis patients. Methods: Thirty‐four patients on thrice‐weekly HD were studied during 240 dialysis sessions. All patients were dialyzed with a nominal total calcium concentration of 1.50 mmol/L. The main assumption of the model is that the calcium distribution volume is equal to the extracellular volume during dialysis. This hypothesis is assumed valid if measured and predicted end dialysis plasma water ionized calcium concentrations are equal. A difference between predicted and measured end‐dialysis ionized plasma water calcium concentration is a deviation on our main hypothesis, meaning that a substantial amount of calcium is exchanged between the extracellular volume and a nonmodeled compartment. Findings: The difference between predicted and measured values was 0.02 mmol/L (range ?0.08:0.16 mmol/L). With a mean ionized dialysate calcium concentration of 1.25 mmol/L, calcium mass balance was on average negative (mean ± SD ?0.84 ± 1.33 mmol, range ?5.42:2.75). Predialysis ionized plasma water concentration and total ultrafiltrate were the most important predictors of calcium mass balance. A significant mobilization of calcium from the extracellular pool to a nonmodeled pool was calculated in a group of patients. Discussion: The proposed single pool variable‐volume Calcium kinetic model is adequate for prediction and quantification of intradialysis calcium mass balance, it can evaluate the eventual calcium transfer outside the extracellular pool in clinical practice.     

Nitrogen cycling in tropical grass-legume pastures managed under canopy light interception

Nutrient Cycling in Agroecosystems - In grass-legume pastures, grazing management strategies are an essential factor affecting nitrogen (N) cycling. This study assessed the impact of grazing...     

Morphology of P and M retinal ganglion cells of the bush baby

P/midget ganglion cells mediate red-green color opponency in anthropoids. It has been proposed that these cells evolved as a specialization to subserve color vision in primates. If that is correct, they must have evolved about the same time as the long-wavelength ('red') and medium-wavelength ('green') pigment genes diverged, thirty million years ago. Strepsirhines are another group of primates that diverged from the ancestor of the anthropoids at least 55 million years ago. If P/midget ganglion cells evolved to subserve color vision, they should be absent in strepsirhines. We tested this hypothesis in a nocturnal strepsirhine, the greater bush baby Otolemur. The retinal ganglion cells were labeled with the lipophilic tracer Dil and the results show that bush babies have P/midget and M/parasol cells similar to those found in the peripheral retinas of anthropoids. A number of studies have shown that the P and M pathways of bush babies share many similarities with those of anthropoids, and our results show that the same is true for their retinal ganglion cells. These results support the hypothesis that the P system evolved prior to the emergence of red-green color opponency.     

Multiple organ failure due to Clostridium difficile sepsis. A case report

A case of severe sepsis caused by Clostridium difficile infection in a 66-year-old cirrhotic female is described. Severe systemic symptoms evolved rapidly to septic shock and ARDS, with signs and symptoms suggesting an acute abdomen requiring exploration for exclusion of surgical treatable diseases. The delayed diagnosis of Clostridium difficile infection probably contributed to the severity of the clinical course.