The issue of robustness of stability has been prominent in the literature on control theory over the last two decades. An important state-space approach to robustness analysis is the stability radii theory. The robust stability problems of infinite dimensional systems subjected to stochastic bounded structured perturbations have been studied using the stability radius approach. In the applications it is important to study these problems in the case where the perturbations operator structure are unbounded, because it covers the case of partial differential equations with boundary and ...

A wave equation in a bounded and smooth domain of Rnℝ with a delay term in the nonlinear boundary feedback is considered. Under suitable assumptions, global existence and uniform decay rates for the solutions are established. The proof of existence of solutions relies on a construction of suitable approximating problems for which the existence of the unique solution will be established using nonlinear semigroup theory and then passage to the limit gives the existence of solutions to the original problem. The uniform decay rates for the solutions are obtained by proving certain integral inequalities for the energy function and by establishing a comparison theorem which relates the asymptotic behavior of the energy and of the solutions to an appropriate dissipative ordinary differential equation.

L’article décrit la conception et la mise en øeuvre en temps réel d’une commande non linéaire appliquée à un système de conversion de l’énergie éolienne (SCEE). La commande backstepping a été mise en øeuvre pour améliorer les performances du système de conversion éolienne basé sur un générateur synchrone à aimants permanents (PMSG) connecté au réseau. Deux convertisseurs statiques assurent la connexion au réseau et sont contrôlés par la modulation de largeur d’impulsion (MLI). L’algorithme de contrôle proposé assure un contrôle de vitesse adéquat pour extraire la puissance maximale. Une description détaillée des lois de contrôle du backstepping basées sur la technique de stabilité de Lyapunov a été exposée. Les résultats obtenus par l’application de cette approche ont clairement répondu aux exigences de robustesse et de suivi des références même dans des conditions de vent fluctuants, et ont confirmé l’efficacité d’un tel contrôle dans les modes de fonctionnement statique et dynamique.

To enhance the robustness and dynamic performance of a self-excited induction generator (SEIG) used in a stand-alone wind energy system (WES), a virtual flux oriented control (VFOC) based on nonlinear super-twisting sliding mode control (STSMC) is adopted. STSMC is used to replace the conventional proportional-integral-Fuzzy Logic Controller (PI-FLC) of the inner current control loops. The combination of the proposed control strategy with space vector modulation (SVM) applied to a PWM rectifier brings many advantages such as reduction in harmonics, and precise and rapid tracking of the references. The performance of the proposed control technique (STSMC-VFOC-SVM) is verified through simulations and compared with the traditional technique (PI-FLC-VFOC-SVM). It shows that the proposed method improves the dynamics of the system with reduced current harmonics. In addition, the use of a virtual flux estimator instead of a phase-locked loop (PLL) eliminates the line voltage sensors and thus increases the reliability of the system.

Multi-agent systems research community has developed solutions to model dynamic and complex systems. Those solutions have generated a growing interest in a variety of domains such as robotics or distributed controls. It is therefore important to build solutions to analyze the basic mechanisms of multi-agent systems such as interaction. In this paper, we formalize the epistemic interaction, we propose to use default theory to describe state transitions. The introduction of such semantics allows characterizing the verification of agent behavior when dealing with new information. Therefore, we introduce semantics to establish a basis for exploiting the properties of the agent behavior and its messages.We propose to formalize and verify the response of an agent when it receives a new information from another agent of its environment. Our approach extends the actions initiated in the mA ^* [5] language by applying the Reiter’s default rules [32]. A simple example is used to illustrate our approach.