A comparative evaluation of open loop and closed loop drug administration strategies in the treatment of AIDS.

In recent years, many researchers in the field of biomedical sciences have made successful use of mathematical models to study, in a quantitative way, a multitude of phenomena such as those found in disease dynamics, control of physiological systems, optimization of drug therapy, economics of the preventive medicine and many other applications. The availability of good dynamic models have been providing means for simulation and design of novel control strategies in the context of biological events. This work concerns a particular model related to HIV infection dynamics which is used to allow a comparative evaluation of schemes for treatment of AIDS patients. The mathematical model adopted in this work was proposed by Nowak & Bangham, 1996 and describes the dynamics of viral concentration in terms of interaction with CD4 cells and the cytotoxic T lymphocytes, which are responsible for the defense of the organism. Two conceptually distinct techniques for drug therapy are analyzed: Open Loop Treatment, where a priori fixed dosage is prescribed and Closed Loop Treatment, where the doses are adjusted according to results obtained by laboratory analysis. Simulation results show that the Closed Loop Scheme can achieve improved quality of the treatment in terms of reduction in the viral load and quantity of administered drugs, but with the inconvenience related to the necessity of frequent and periodic laboratory analysis.

A maximum principle for infinite time asymptotically stable impulsive dynamic control systems

We consider an infinite horizon optimal impulsive control problems for which a given cost function is minimized by choosing control strategies driving the state to a point in a given closed set C ∞. We present necessary conditions of optimality in the form of a maximum principle for which the boundary condition of the adjoint variable is such that non-degeneracy due to the fact that the time horizon is infinite is ensured. These conditions are given for conventional systems in a first instance and then for impulsive control problems. They are proved by considering a family of approximating auxiliary interval conventional (without impulses) optimal control problems defined on an increasing sequence of finite time intervals. As far as we know, results of this kind have not been derived previously. © 2010 IFAC.

Networked control system for the guidance of a four-wheel steering agricultural robotic platform

A current trend in the agricultural area is the development of mobile robots and autonomous vehicles for precision agriculture (PA). One of the major challenges in the design of these robots is the development of the electronic architecture for the control of the devices. In a joint project among research institutions and a private company in Brazil a multifunctional robotic platform for information acquisition in PA is being designed. This platform has as main characteristics four-wheel propulsion and independent steering, adjustable width, span of 1,80m in height, diesel engine, hydraulic system, and a CAN-based networked control system (NCS). This paper presents a NCS solution for the platform guidance by the four-wheel hydraulic steering distributed control. The control strategy, centered on the robot manipulators control theory, is based on the difference between the desired and actual position and considering the angular speed of the wheels. The results demonstrate that the NCS was simple and efficient, providing suitable steering performance for the platform guidance. Even though the simplicity of the NCS solution developed, it also overcame some verified control challenges in the robot guidance system design such as the hydraulic system delay, nonlinearities in the steering actuators, and inertia in the steering system due the friction of different terrains. Copyright © 2012 Eduardo Pacincia Godoy et al.

Chaos suppression in NEMs resonators by using nonlinear control design

In this work the chaotic behavior of a micro-mechanical resonator with electrostatic forces on both sides is suppressed. The aim is to control the system in an orbit of the analytical solution obtained by the Method of Multiple Scales. Two control strategies are used for controlling the trajectory of the system, namely: State Dependent Riccati Equation (SDRE) Control and Optimal Linear Feedback Control (OLFC). The controls proved effectiveness in controlling the trajectory of the system. Additionally, the robustness of each strategy is tested considering the presence of parametric errors and measurement noise in control. © 2012 American Institute of Physics.

Tm-afm nonlinear motion control with robustness analysis to parametric errors in the control signal determination

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Energy Management and Control for Islanded Microgrid Using Multi-Agents

This paper presents a multi-agent system for real-time operation of simulated microgrid using the Smart-Grid Test Bed at Washington State University. The multi-agent system (MAS) was developed in JADE (Java Agent DEvelopment Framework) which is a Foundation for Intelligent Physical Agents (FIPA) compliant open source multi-agent platform. The proposed operational strategy is mainly focused on using an appropriate energy management and control strategies to improve the operation of an islanded microgrid, formed by photovoltaic (PV) solar energy, batteries and resistive and rotating machines loads. The focus is on resource management and to avoid impact on loads from abrupt variations or interruption that changes the operating conditions. The management and control of the PV system is performed in JADE, while the microgrid model is simulated in RSCAD/RTDS (Real-Time Digital Simulator). Finally, the outcome of simulation studies demonstrated the feasibility of the proposed multi-agent approach for real-time operation of a microgrid.

Vibration Control Applied in a Semi-Active Suspension using Magneto Rheological Damper and Optimal Linear Control Design

In this paper we study the behavior of a semi-active suspension witch external vibrations. The mathematical model is proposed coupled to a magneto rheological (MR) damper. The goal of this work is stabilize of the external vibration that affect the comfort and durability an vehicle, to control these vibrations we propose the combination of two control strategies, the optimal linear control and the magneto rheological (MR) damper. The optimal linear control is a linear feedback control problem for nonlinear systems, under the optimal control theory viewpoint We also developed the optimal linear control design with the scope in to reducing the external vibrating of the nonlinear systems in a stable point. Here, we discuss the conditions that allow us to the linear optimal control for this kind of non-linear system.

Nonlinear state estimation and control for chaos suppression in MEMS resonator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

On nonlinear dynamics behavior and control of a new model of a magnetically levitated vibrating system, excited by an unbalanced DC motor of limited power supply

We analyze new results on a magnetically levitated body (a block including a magnet whose bottom pole is set in such a way as to repel the upper pole of a magnetic base) excited by a non-ideal energy source (an unbalanced electric motor of limited power supply). These new results are related to the jump phenomena and increase of power required of such sources near resonance are manifestations of a non-ideal system and they are referred as the Sommerfeld effect, which emulates an energy sink. In this work, we also discuss control strategies to be applied to this system, in resonance conditions, in order to decrease its vibration amplitude and avoiding this apparent energy sink.

Dispersal strategies of Aceria guerreronis (Acari: Eriophyidae), a coconut pest

The dispersal of plant-feeding mites can occur involuntarily, through transportation of infested plant parts, or voluntarily, by walking to new plant parts or to suitable spots where biotic (phoresis) or abiotic (wind, agricultural tools, etc.) factors carry them over long distances. Elucidating the dispersal mechanisms of the coconut mite, Aceria guerreronis Keifer, is important for understanding the process of colonization of new fruits of a same or different plants, essential for the improvement of control strategies of this serious coconut pest. Thus, the objective of this work was to investigate the voluntary dispersal mechanisms of this mite. The hypothesis that the coconut mite disperses by walking, phoresis or wind were tested. The coconut mite was shown to be able to walk short distances between fruits of the same bunch or between bunches of the same plant. Phoresis on insects of the orders Hymenoptera (Apidae), Coleoptera (Curculionidae) and Lepidoptera (Phycitidae) was evaluated in the laboratory and in the field. Although in the laboratory mites were shown to be able to climb onto honeybees, field investigations failed to show these insects as important carriers of the pest, corroborating findings of previous works; however, both laboratory and field investigations suggested the curculionid Parisoschoenus obesulus Casey to be able to transport the coconut mite between plants. Similarly, laboratory and field investigations suggested wind to be important in the dispersal of the coconut mite between plants.

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.

Nonlinear Control of Magnetically Actuated Spacecraft

The topic of this thesis is the feedback stabilization of the attitude of magnetically actuated spacecraft. The use of magnetic coils is an attractive solution for the generation of control torques on small satellites flying inclined low Earth orbits, since magnetic control systems are characterized by reduced weight and cost, higher reliability, and require less power with respect to other kinds of actuators. At the same time, the possibility of smooth modulation of control torques reduces coupling of the attitude control system with flexible modes, thus preserving pointing precision with respect to the case when pulse-modulated thrusters are used. The principle based on the interaction between the Earth's magnetic field and the magnetic field generated by the set of coils introduces an inherent nonlinearity, because control torques can be delivered only in a plane that is orthogonal to the direction of the geomagnetic field vector. In other words, the system is underactuated, because the rotational degrees of freedom of the spacecraft, modeled as a rigid body, exceed the number of independent control actions. The solution of the control issue for underactuated spacecraft is also interesting in the case of actuator failure, e.g. after the loss of a reaction-wheel in a three-axes stabilized spacecraft with no redundancy. The application of well known control strategies is no longer possible in this case for both regulation and tracking, so that new methods have been suggested for tackling this particular problem. The main contribution of this thesis is to propose continuous time-varying controllers that globally stabilize the attitude of a spacecraft, when magneto-torquers alone are used and when a momentum-wheel supports magnetic control in order to overcome the inherent underactuation. A kinematic maneuver planning scheme, stability analyses, and detailed simulation results are also provided, with new theoretical developments and particular attention toward application considerations.

Detection of Mycoplasma mycoides subsp. mycoides SC in bronchoalveolar lavage fluids of cows based on a TaqMan real-time PCR discriminating wild type strains from an lppQ(-) mutant vaccine strain used for DIVA-strategies

Contagious bovine pleuropneumonia (CBPP) is the most serious cattle disease in Africa, caused by Mycoplasma mycoides subsp. mycoides small-colony type (SC). CBPP control strategies currently rely on vaccination with a vaccine based on live attenuated strains of the organism. Recently, an lppQ(-) mutant of the existing vaccine strain T1/44 has been developed (Janis et al., 2008). This T1lppQ(-) mutant strain is devoid of lipoprotein LppQ, a potential virulence attribute of M. mycoides subsp. mycoides SC. It is designated as a potential live DIVA (Differentiating Infected from Vaccinated Animals) vaccine strain allowing both serological and etiological differentiation. The present paper reports on the validation of a control strategy for CBPP in cattle, whereby a TaqMan real-time PCR based on the lppQ gene has been developed for the direct detection of M. mycoides subsp. mycoides SC in ex vivo bronchoalveolar lavage fluids of cows and for the discrimination of wild type strains from the lppQ(-) mutant vaccine strain.

Atypical transmissible spongiform encephalopathies in ruminants: a challenge for disease surveillance and control

Since 1987, when bovine spongiform encephalopathy (BSE) emerged as a novel disease in cattle, enormous efforts were undertaken to monitor and control the disease in ruminants worldwide. The driving force was its high economic impact, which resulted from trade restrictions and the loss of consumer confidence in beef products, the latter because BSE turned out to be a fatal zoonosis, causing variant Creutzfeldt-Jakob disease in human beings. The ban on meat and bone meal in livestock feed and the removal of specified risk materials from the food chain were the main measures to successfully prevent infection in cattle and to protect human beings from BSE exposure. However, although BSE is now under control, previously unknown, so-called atypical transmissible spongiform encephalopathies (TSEs) in cattle and small ruminants have been identified by enhanced disease surveillance. This report briefly reviews and summarizes the current level of knowledge on the spectrum of TSEs in cattle and small ruminants and addresses the question of the extent to which such atypical TSEs have an effect on disease surveillance and control strategies.

Chlamydia control activities in Europe: cross-sectional survey

Background: Chlamydia is the most commonly reported bacterial sexually transmitted infection in Europe. The objective of the Screening for Chlamydia in Europe (SCREen) project was to describe current and planned chlamydia control activities in Europe. Methods: The authors sent a questionnaire asking about different aspects of chlamydia epidemiology and control to public health and clinical experts in each country in 2007. The principles of sexually transmitted infection control were used to develop a typology comprising five categories of chlamydia control activities. Each country was assigned to a category, based on responses to the questionnaire. Results: Experts in 29 of 33 (88%) invited countries responded. Thirteen of 29 countries (45%) had no current chlamydia control activities. Six countries in this group stated that there were plans to introduce chlamydia screening programmes. There were five countries (17%) with case management guidelines only. Three countries (10%) also recommended case finding amongst partners of diagnosed chlamydia cases or people with another sexually transmitted infection. Six countries (21%) further specified groups of asymptomatic people eligible for opportunistic chlamydia testing. Two countries (7%) reported a chlamydia screening programme. There was no consistent association between the per capita gross domestic product of a country and the intensity of chlamydia control activities (P = 0.816). Conclusion: A newly developed classification system allowed the breadth of ongoing national chlamydia control activities to be described and categorized. Chlamydia control strategies should ensure that clinical guidelines to optimize chlamydia diagnosis and case management have been implemented before considering the appropriateness of screening programmes.