An Optimal Linear Control Design for Nonlinear Systems

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

Attitude stabilization of a rigid spacecraft in the geomagnetic field

An analytical method is proposed to study the attitude stability of a triaxial spacecraft moving in a circular Keplerian orbit in the geomagnetic field. The method is developed based on the electrodynamics effect of the influence of the Lorentz force acting on the charged spacecraft's surface. We assume that the rigid spacecraft is equipped with an electrostatic charged protective shield, having an intrinsic magnetic moment. The main elements of this shield are an electrostatic charged cylindrical screen surrounding the protected volume of the spacecraft. The rotational motion of the spacecraft about its centre of mass due to torques from gravitational force, as well Lorentz and magnetic forces is investigated. The equilibrium positions of the spacecraft in the orbital coordinate system are obtained. The necessary and sufficient conditions for the stability of the spacecraft's equilibrium positions are constructed using Lyapunov's direct method. The numerical results have shown that the Lorentz force has a significant influence on the stability of the equilibrium positions, which can affect the attitude stabilization of the spacecraft. (C) 2007 COSPAR. Published by Elsevier Ltd. All rights reserved.

On the solution of the extended linear complementarity problem

The extended linear complementarity problem (XLCP) has been introduced in a recent paper by Mangasarian and Pang. In the present research, minimization problems with simple bounds associated to this problem are defined. When the XLCP is solvable, their solutions are global minimizers of the associated problems. Sufficient conditions that guarantee that stationary points of the associated problems are solutions of the XLCP will be proved. These theoretical results support the conjecture that local methods for box constrained optimization applied to the associated problems could be efficient tools for solving the XLCP. (C) 1998 Elsevier B.V. All rights reserved.

Speedup and scalability analysis of Master-Slave applications on large heterogeneous clusters

Although cluster environments have an enormous potential processing power, real applications that take advantage of this power remain an elusive goal. This is due, in part, to the lack of understanding about the characteristics of the applications best suited for these environments. This paper focuses on Master/Slave applications for large heterogeneous clusters. It defines application, cluster and execution models to derive an analytic expression for the execution time. It defines speedup and derives speedup bounds based on the inherent parallelism of the application and the aggregated computing power of the cluster. The paper derives an analytical expression for efficiency and uses it to define scalability of the algorithm-cluster combination based on the isoefficiency metric. Furthermore, the paper establishes necessary and sufficient conditions for an algorithm-cluster combination to be scalable which are easy to verify and use in practice. Finally, it covers the impact of network contention as the number of processors grow. (C) 2007 Elsevier B.V. All rights reserved.

Structure of potentials with N higgs doublets

Extensions of the standard model with N Higgs doublets are simple extensions presenting a rich mathematical structure. An underlying Minkowski structure emerges from the study of both variable space and parameter space. The former can be completely parametrized in terms of two future lightlike Minkowski vectors with spatial parts forming an angle whose cosine is -(N-1)(-1). For the parameter space, the Minkowski parametrization enables one to impose sufficient conditions for bounded below potentials, characterize certain classes of local minima, and distinguish charge breaking vacua from neutral vacua. A particular class of neutral minima presents a degenerate mass spectrum for the physical charged Higgs bosons.

Conservative translations

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complex category constituted by logics and translations. (C) 2001 Elsevier B.V. B.V. All rights reserved.

CONTROL OF UNCERTAIN DYNAMIC-SYSTEMS USING STRICTLY POSITIVE REAL SYSTEMS

This paper presents necessary and sufficient conditions to turn a linear time-invariant system with p outputs, m inputs, p greater-than-or-equal-to m and using only inputs and outputs measurements into a Strictly Positive Real (SPR).Two results are presented. In the first, the system compensation is made by two static compensators, one of which forward feeds the outputs and the second back feeds the outputs of the nominal system.The second result presents conditions for the Walcott and Zak variable structure observer-controller synthesis. In this problem, if the nominal system is given by {A,B,C}, then the compensated system is given by {A+GC,B,FC} where F and G are the constant compensation matrices. These results are useful in the control system with uncertainties.

Szego type polynomials and para-orthogonal polynomials

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

On a moment problem associated with Chebyshev polynomials

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

Study of Singularities in Nonsmooth Dynamical Systems via Singular Perturbation

In this article we describe some qualitative and geometric aspects of nonsmooth dynamical systems theory around typical singularities. We also establish an interaction between nonsmooth systems and geometric singular perturbation theory. Such systems are represented by discontinuous vector fields on R(l), l >= 2, where their discontinuity set is a codimension one algebraic variety. By means of a regularization process proceeded by a blow-up technique we are able to bring about some results that bridge the space between discontinuous systems and singularly perturbed smooth systems. We also present an analysis of a subclass of discontinuous vector fields that present transient behavior in the 2-dimensional case, and we dedicate a section to providing sufficient conditions in order for our systems to have local asymptotic stability.

Difference equations with delays depending on time

For linear difference equations with coefficients and delays varying in time, sufficient conditions are given, in the scalar case, the zero solution to be stable. © 1990 Sociedade Brasileira de Matemática.

Modulational instability analysis of surface-waves in the Bénard-Marangoni phenomenon

By using the long-wave approximation, a system of coupled evolutions equations for the bulk velocity and the surface perturbations of a Bénard-Marangoni system is obtained. It includes nonlinearity, dispersion and dissipation, and it is interpreted as a dissipative generalization of the usual Boussinesq system of equations. Then, by considering that the Marangoni number is near the critical value M = -12, we show that the modulation of the Boussinesq waves is described by a perturbed Nonlinear Schrödinger Equation, and we study the conditions under which a Benjamin-Feir instability could eventually set in. The results give sufficient conditions for stability, but are inconclusive about the existence or not of a Benjamin-Feir instability in the long-wave limit. © 1995.

Invex nonsmooth alternative theorem and applications

An invex constrained nonsmooth optimization problem is considered, in which the presence of an abstract constraint set is possibly allowed. Necessary and sufficient conditions of optimality are provided and weak and strong duality results established. Following Geoffrion's approach an invex nonsmooth alternative theorem of Gordan type is then derived. Subsequently, some applications on multiobjective programming are then pursued. © 2000 OPA (Overseas Publishers Association) N.V. Published by license under the Gordon and Breach Science Publishers imprint.

On the solution of mathematical programming problems with equilibrium constraints

Mathematical programming problems with equilibrium constraints (MPEC) are nonlinear programming problems where the constraints have a form that is analogous to first-order optimality conditions of constrained optimization. We prove that, under reasonable sufficient conditions, stationary points of the sum of squares of the constraints are feasible points of the MPEC. In usual formulations of MPEC all the feasible points are nonregular in the sense that they do not satisfy the Mangasarian-Fromovitz constraint qualification of nonlinear programming. Therefore, all the feasible points satisfy the classical Fritz-John necessary optimality conditions. In principle, this can cause serious difficulties for nonlinear programming algorithms applied to MPEC. However, we show that most feasible points do not satisfy a recently introduced stronger optimality condition for nonlinear programming. This is the reason why, in general, nonlinear programming algorithms are successful when applied to MPEC.

Stochastic Stability for Markovian Jump Linear Systems Subject to a Crucial Failure Event

This paper is concerned with the stability of discrete-time linear systems subject to random jumps in the parameters, described by an underlying finite-state Markov chain. In the model studied, a stopping time τ Δ is associated with the occurrence of a crucial failure after which the system is brought to a halt for maintenance. The usual stochastic stability concepts and associated results are not indicated, since they are tailored to pure infinite horizon problems. Using the concept named stochastic τ-stability, equivalent conditions to ensure the stochastic stability of the system until the occurrence of τ Δ is obtained. In addition, an intermediary and mixed case for which τ represents the minimum between the occurrence of a fix number N of failures and the occurrence of a crucial failure τ Δ is also considered. Necessary and sufficient conditions to ensure the stochastic τ-stability are provided in this setting that are auxiliary to the main result.