Robust state-derivative pole placement LMI-based designs for linear systems

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Stabilizability and Disturbance Rejection with State-Derivative Feedback

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Vibration Attenuation in Rotating Machines Using Smart Spring Mechanism

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

Bifurcation of limit cycles from an n-dimensional linear center inside a class of piecewise linear differential systems

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

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Controlador adaptativo backstepping a estrutura variável

Neste trabalho, um controlador adaptativo backstepping a estrutura variável (Variable Structure Adaptive Backstepping Controller, VS-ABC) é apresentado para plantas monovariáveis, lineares e invariantes no tempo com grau relativo unitário. Ao invés das tradicionais leis integrais para estimação dos parâmetros da planta, leis chaveadas são utilizadas com o objetivo de aumentar a robustez em relação a incertezas paramétricas e distúrbios externos, bem como melhorar o desempenho transitório do sistema. Adicionalmente, o projeto do novo controlador é mais intuitivo quando comparado ao controlador backstepping original, uma vez que os relés introduzidos apresentam amplitudes diretamente relacionadas com os parâmetros nominais da planta. Esta nova abordagem, com uso de estrutura variável, também reduz a complexidade das implementações práticas, motivando a utilização de componentes industriais, tais como, FPGAs (Field Programmable Gate Arrays ), MCUs (Microcontrollers) e DSPs (Digital Signal Processors). Simulações preliminares para um sistema instável de primeira e segunda ordem são apresentadas de modo a corroborar os estudos. Um dos exemplos de Rohrs é ainda abordado através de simulações, para os dois cenários adaptativos: o controlador backstepping adaptativo original e o VS-ABC

Controlador adaptativo por modelo de referência e estrutura variável aplicado ao controle de ângulo de carga e fluxo de campo de um gerador síncrono

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Towards a Realization of the Condensed-Matter-Gravity Correspondence in String Theory via Consistent Abelian Truncation of the Aharony-Bergman-Jafferis-Maldacena Model

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

Remarks on an Optimal Linear Control Design Applied to a Nonideal and an Ideal Structure Coupled to an Essentially Nonlinear Oscillator

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

Robust state-derivative feedback LMI-based designs for multivariable linear systems

In some practical problems, for instance in the control systems for the suppression of vibration in mechanical systems, the state-derivative signals are easier to obtain than the state signals. New necessary and sufficient linear matrix inequalities (LMI) conditions for the design of state-derivative feedback for multi-input (MI) linear systems are proposed. For multi-input/multi-output (MIMO) linear time-invariant or time-varying plants, with or without uncertainties in their parameters, the proposed methods can include in the LMI-based control designs the specifications of the decay rate, bounds on the output peak, and bounds on the state-derivative feedback matrix K. These design procedures allow new specifications and also, they consider a broader class of plants than the related results available in the literature. The LMIs, when feasible, can be efficiently solved using convex programming techniques. Practical applications illustrate the efficiency of the proposed methods.

THE FLUID SYSTEMS FOR THE SLD CHERENKOV RING IMAGING DETECTOR

We describe the design and operation of the fluid delivery, monitor and control systems for the SLD barrel Cherenkov Ring Imaging Detector (CRID). The systems deliver drift gas (C2H6+TMAE), radiator gas (C5F12+N2) and radiator liquid (C6F14). MeasUred critical quantities such as electron lifetime in the drift gas and ultra-violet (UV) transparencies of the radiator fluids, together with the operational experience, are also reported.

Anticoccidial effects of coumestans from Eclipta alba for sustainable control of Eimeria tenella parasitosis in poultry production

The aim of this study was to evaluate the anticoccidial efficacy of a product containing coumestans from Eclipta alba. Experimental conditions were set up as to reproduce the environment conditions for husbandry adopted in commercial broiler farms. Broilers were raised in broiler chicken shed provided with feeders, drinkers, illumination and temperature control systems and floor covering to afford an adequate nourishing environment. Male Cobb broilers (240) were assigned to four experimental groups being each experimental group set apart in rice straw-covered shed isolated with wire mesh. One-day-old broilers were reared in a coccidian-free environment with ad libitum supply of filtered water and freely available standard feed, from the 1st to the 35th day of life. The T1 group received standard feed (negative control); T2 was treated with standard feed supplemented with 66 ppm of salinomycin (positive control); groups T3 and T4 had standard feed supplemented with the ethyl acetate fraction from methanolic extract of E. alba aerial parts, which contains the coumestans WL and DWL (120 and 180 ppm, respectively). The chicken broilers were individually infected with 2 x 104 oocysts of Eimeria tenella when they were 14 days old and were monitored weekly to evaluate zootechnical parameters such as weight gain and food conversion ratio. Counting of coccidial oocyst in chiken feces was assessed from random samples, from the 21st to 28th days of life, which corresponded to 7-14 days after the infection. Five chickens selected at random from each experimental group were subsequently euthanized at 21, 28 or 35 days of life to determine the lesion score in the cecal region and to excise a cecum portion for histopathological evaluation. The group treated with coumestans from E. alba presented an average weight gain and food conversion ratio higher than the negative control group and similar to the mean value of the positive control group. Coumestan-treated groups showed a significant decrease in the oocyst counting since the 21th day of life and displayed a reduced number of macroscopic lesions. Histopathological evaluations of cecum fragments showed that both treatments induced the migration of defense cells at the site of infection. A severe destruction of the cecal lining was found in the intestinal tract of broilers fed with a coumestans dose of 180 ppm. Overall, our results validate the use of a phytotherapy containing E. alba coumestans at a dose of 120 ppm as a therapeutic or prophylactic agent against avian coccidiosis. (C) 2010 Elsevier B.V. All rights reserved.

MS2SV: Tradução de modelos em Simulink para VHDL-AMS

This paper presents a methodology and a tool for projects involving analogue and digital signals. A sub-systems group was developed to translation a Matlab/Simulink model in the correspondent structural model described in VHDL-AMS. The developed translation tool, named of MS(2)SV, can reads a file containing a Simulink model translating it in the correspondent VHDL-AMS structural code. The tool also creates the directories structure and necessary files to simulate the model translated in System Vision environment. Three models of D/A converters available commercially that use R-2R ladder network were studied. This work considers some of challenges set by the electronic industry for the further development of simulation methodologies and tools in the field of mixed-signal technology. Although the objective of the studies has been the D/A converter, the developed methodology has potentiality to be extended to consider control systems and mechatronic systems.

Optimal control problem for deflection plate with crack

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