Control charts for monitoring the mean vector and the covariance matrix of bivariate processes

In this article, we propose new control charts for monitoring the mean vector and the covariance matrix of bivariate processes. The traditional tools used for this purpose are the T (2) and the |S| charts. However, these charts have two drawbacks: (1) the T (2) and the |S| statistics are not easy to compute, and (2) after a signal, they do not distinguish the variable affected by the assignable cause. As an alternative to (1), we propose the MVMAX chart, which only requires the computation of sample means and sample variances. As an alternative to (2), we propose the joint use of two charts based on the non-central chi-square statistic (NCS statistic), named as the NCS charts. Once the NCS charts signal, the user can immediately identify the out-of-control variable. In general, the synthetic MVMAX chart is faster than the NCS charts and the joint T (2) and |S| charts in signaling processes disturbances.

Control charts for individual observations of a bivariate Poisson process

In this paper, three single-control charts are proposed to monitor individual observations of a bivariate Poisson process. The specified false-alarm risk, their control limits, and ARLs were determined to compare their performances for different types and sizes of shifts. In most of the cases, the single charts presented better performance rather than two separate control charts ( one for each quality characteristic). A numerical example illustrates the proposed control charts.

Parameter-dependent Lyapunov functions for state-derivative feedback control in polytopic linear systems

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

Less Conservative Control Design for Linear Systems with Polytopic Uncertainties via State-Derivative Feedback

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

Control aspects in nonlinear Hill's equation

The Hill's equations-even in the linear original version are a describer of phenomenon having chaotic flavor, giving sometimes very unusual situations. The theory of the so called intervals of instability in the equation provides the precise description for most of these phenomena. Considerations on nonlinearities into the Hill's equation is a quite recent task. The linearized version for almost of these systems it reduces to the Hill's classical linear one. In this paper, some indicative facts are pointed out on the possibility of having the linear system stabilizable and/or exactly controllable. As consequence of such an approach we get results having strong classical aspects, like the one talking about location of parameters in intervals of stability. A result for nonlinear proper periodic controls, is considered too. (C) 2010 Elsevier B.V. All rights reserved.

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

A simple feedback control for a chaotic oscillator with limited power supply

We proposed a simple feedback control method to suppress chaotic behavior in oscillators with limited power supply. The small-amplitude controlling signal is applied directly to the power supply system, so as to alter the characteristic curve of the driving motor. Numerical results are presented showing the method efficiency for a wide range of control parameters. Moreover, we have found that, for some parameters, this kind of control may introduce coexisting periodic attractors with complex basins of attraction and, therefore, serious problems with predictability of the final state the system will asymptote to. (c) 2006 Elsevier Ltd. All rights reserved.

On saturation control of a non-ideal vibrating portal frame foundation type shear-building

In this paper, we examine the nonlinear control method based on the saturation phenomenon and of systems coupled with quadratic nonlinear ties applied to a shear-building portal plane frame foundation that supports an unbalanced direct cut-rent with limited power supply (non-ideal system). We analyze the equations of motion by using the method of averaging and numerical simulation. The interaction of the non-ideal structure with the saturation controller may lead to the occurrence of interesting phenomena during the forward passage through the several resonance states of the systems. Special attention is focused on passage through resonance when the non-ideal excitation frequency is near the portal frame natural frequency and when the non-ideal system frequency is approximately twice the controller frequency (two-to-one internal resonance).

Statements on chaos control designs, including a fractional order dynamical system, applied to a MEMS comb-drive actuator

In this work, we deal with a micro electromechanical system (MEMS), represented by a micro-accelerometer. Through numerical simulations, it was found that for certain parameters, the system has a chaotic behavior. The chaotic behaviors in a fractional order are also studied numerically, by historical time and phase portraits, and the results are validated by the existence of positive maximal Lyapunov exponent. Three control strategies are used for controlling the trajectory of the system: State Dependent Riccati Equation (SDRE) Control, Optimal Linear Feedback Control, and Fuzzy Sliding Mode Control. The controls proved effective in controlling the trajectory of the system studied and robust in the presence of parametric errors.

On non-linear dynamics and control designs applied to the ideal and non-ideal variants of the Fitzhugh-Nagumo (FN) mathematical model

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

On an Active Control for a Structurally Nonlinear Mechanical System, Taking Into Account an Energy Pumping

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

A reducing of a chaotic movement to a periodic orbit, of a micro-electro-mechanical system, by using an optimal linear control design

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

Chaos control of a nonlinear oscillator with shape memory alloy using an optimal linear control: Part II: Nonideal energy source

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

The rigid-flexible nonlinear robotic manipulator: Modeling and control

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

Mathematical modeling and control of population systems: Applications in biological pest control

The aim of this paper is to apply methods from optimal control theory, and from the theory of dynamic systems to the mathematical modeling of biological pest control. The linear feedback control problem for nonlinear systems has been formulated in order to obtain the optimal pest control strategy only through the introduction of natural enemies. Asymptotic stability of the closed-loop nonlinear Kolmogorov system is guaranteed by means of a Lyapunov function which can clearly be seen to be the solution of the Hamilton-Jacobi-Bellman equation, thus guaranteeing both stability and optimality. Numerical simulations for three possible scenarios of biological pest control based on the Lotka-Volterra models are provided to show the effectiveness of this method. (c) 2007 Elsevier B.V. All rights reserved.