Desenvolvimento de um sensor virtual para processos não-lineares e variantes no tempo, com aplicação em planta de neutralização de PH

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

Uma arquitetura multiagente para sistemas de supervisão e controle de processos

Pós-graduação em Ciência da Computação - IBILCE

The evolution of behavioural systems: a study of grooming in rodents

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

Filippov's selection theorem and the existence of solutions for optimal control problems in time scales

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

Deep learning architecture for gesture recognition

Pós-graduação em Engenharia Mecânica - FEG

On the properness of an impulsive control extension of dynamic optimization problems

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

NASH game and mixed H2/H∞ control

In this work a Nonzero-Sum NASH game related to the H2 and H∞ control problems is formulated in the context of convex optimization theory. The variables of the game are limiting bounds for the H2 and H∞ norms, and the final controller is obtained as an equilibrium solution, which minimizes the `sensitivity of each norm' with respect to the other. The state feedback problem is considered and illustrated by numerical examples.

Resgates e abandonos do passado na prática musical litúrgica católica no Brasil entre os pontificados de Pio X e Bento XVI (1903-2013)

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

Propostas de experências utilizando o módulo 2208 Datapool para o laboratório de controle linear

In this work, we carried out a study of the 2208 model servo module Datapool, aiming to make the recognition module and the material that accompanies it, and develop the experiences suggested in their study tours, in order to prove and understand its operation. From this study, three experiments were developed, aimed to familiarizing students with the module, calibrate it, and to control servo motor's speed and position, experiences which can become part of the laboratory of Linear Control, making the learning of concepts just richer, because visually, students can escape the theoretical field and see in practice complex concepts being employed

JVM-based Techniques for Improving Java Observability

Observability measures the support of computer systems to accurately capture, analyze, and present (collectively observe) the internal information about the systems. Observability frameworks play important roles for program understanding, troubleshooting, performance diagnosis, and optimizations. However, traditional solutions are either expensive or coarse-grained, consequently compromising their utility in accommodating today’s increasingly complex software systems. New solutions are emerging for VM-based languages due to the full control language VMs have over program executions. Existing such solutions, nonetheless, still lack flexibility, have high overhead, or provide limited context information for developing powerful dynamic analyses. In this thesis, we present a VM-based infrastructure, called marker tracing framework (MTF), to address the deficiencies in the existing solutions for providing better observability for VM-based languages. MTF serves as a solid foundation for implementing fine-grained low-overhead program instrumentation. Specifically, MTF allows analysis clients to: 1) define custom events with rich semantics ; 2) specify precisely the program locations where the events should trigger; and 3) adaptively enable/disable the instrumentation at runtime. In addition, MTF-based analysis clients are more powerful by having access to all information available to the VM. To demonstrate the utility and effectiveness of MTF, we present two analysis clients: 1) dynamic typestate analysis with adaptive online program analysis (AOPA); and 2) selective probabilistic calling context analysis (SPCC). In addition, we evaluate the runtime performance of MTF and the typestate client with the DaCapo benchmarks. The results show that: 1) MTF has acceptable runtime overhead when tracing moderate numbers of marker events; and 2) AOPA is highly effective in reducing the event frequency for the dynamic typestate analysis; and 3) language VMs can be exploited to offer greater observability.

Propostas de experências utilizando o módulo 2208 Datapool para o laboratório de controle linear

In this work, we carried out a study of the 2208 model servo module Datapool, aiming to make the recognition module and the material that accompanies it, and develop the experiences suggested in their study tours, in order to prove and understand its operation. From this study, three experiments were developed, aimed to familiarizing students with the module, calibrate it, and to control servo motor's speed and position, experiences which can become part of the laboratory of Linear Control, making the learning of concepts just richer, because visually, students can escape the theoretical field and see in practice complex concepts being employed

An extension of the invariance principle for dwell-time switched nonlinear systems

In this paper, we propose an extension of the invariance principle for nonlinear switched systems under dwell-time switched solutions. This extension allows the derivative of an auxiliary function V, also called a Lyapunov-like function, along the solutions of the switched system to be positive on some sets. The results of this paper are useful to estimate attractors of nonlinear switched systems and corresponding basins of attraction. Uniform estimates of attractors and basin of attractions with respect to time-invariant uncertain parameters are also obtained. Results for a common Lyapunov-like function and multiple Lyapunov-like functions are given. Illustrative examples show the potential of the theoretical results in providing information on the asymptotic behavior of nonlinear dynamical switched systems. (C) 2012 Elsevier B.V. All rights reserved.

Development and Evaluation of a Pseudoreference Pt//Ag/AgCl Electrode for Electrochemical Systems

The use of standard reference electrodes, such as Ag/AgCl or saturated calomel electrodes, in potentiometric and amperometric studies involving miniaturized electrochemical systems, or those operating under positive hydraulic pressure, is often impractical. Placement of the reference electrode in the direct vicinity of the working electrode is often prohibited by the dimensions or layout of the electrochemical cell, while the alternative strategy of locating the reference electrode in a separate compartment often leads to electrolyte leakage and contamination of the system. In the present study, we have investigated the functionality of a pseudoreference electrode comprising a platinum wire, one end of which was maintained in intimate contact with the internal solution of an Ag/AgCl reference electrode while the other was connected, via a BNC connector, to a platinum probe located within the electrochemical cell. Linear and cyclic voltammetric studies, involving both aqueous and nonaqueous electrolytes, were carried out using the pseudoreference electrode and an electrochemical cup-type cell with three electrodes or an electrochemical flow reactor. In all cases, the functionality of the Pt//Ag/AgCl system was similar to that of a conventional Ag/AgCl reference electrode. Variations in the electrolyte did not alter the potential or voltammetric profile recorded when using the pseudoreference system, although peak currents were generally improved and potential values shifted by approximately +350 mV in comparison with the Ag/AgCl electrode, therefore, the system pseudoreference can be applied in any electrochemical system due to the constant potential difference. It is concluded that the pseudoreference electrode can be used with advantage to obtain potentiometric and amperometric measurements in both simple and complex electrochemical systems.

A New Control Architecture for Robust Controllers in Rear Electric Traction Passenger HEVs

It is well known that control systems are the core of electronic differential systems (EDSs) in electric vehicles (EVs)/hybrid HEVs (HEVs). However, conventional closed-loop control architectures do not completely match the needed ability to reject noises/disturbances, especially regarding the input acceleration signal incoming from the driver's commands, which makes the EDS (in this case) ineffective. Due to this, in this paper, a novel EDS control architecture is proposed to offer a new approach for the traction system that can be used with a great variety of controllers (e. g., classic, artificial intelligence (AI)-based, and modern/robust theory). In addition to this, a modified proportional-integral derivative (PID) controller, an AI-based neuro-fuzzy controller, and a robust optimal H-infinity controller were designed and evaluated to observe and evaluate the versatility of the novel architecture. Kinematic and dynamic models of the vehicle are briefly introduced. Then, simulated and experimental results were presented and discussed. A Hybrid Electric Vehicle in Low Scale (HELVIS)-Sim simulation environment was employed to the preliminary analysis of the proposed EDS architecture. Later, the EDS itself was embedded in a dSpace 1103 high-performance interface board so that real-time control of the rear wheels of the HELVIS platform was successfully achieved.

Stabilization for an ensemble of half-spin systems

Feedback stabilization of an ensemble of non interacting half spins described by the Bloch equations is considered. This system may be seen as an interesting example for infinite dimensional systems with continuous spectra. We propose an explicit feedback law that stabilizes asymptotically the system around a uniform state of spin +1/2 or -1/2. The proof of the convergence is done locally around the equilibrium in the H-1 topology. This local convergence is shown to be a weak asymptotic convergence for the H-1 topology and thus a strong convergence for the C topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the equilibrium. (C) 2011 Elsevier Ltd. All rights reserved.