Lap number properties for p-Laplacian problems investigated by Lyapunov methods

In this work we consider a one-dimensional quasilinear parabolic equation and we prove that the lap number of any solution cannot increase through orbits as the time passes if the initial data is a continuous function. We deal with the lap number functional as a Lyapunov function, and apply lap number properties to reach an understanding on the asymptotic behavior of a particular problem. (c) 2006 Published by Elsevier Ltd.

Stabilization of parametric roll resonance with active u-tanks via Lyapunov control design

Parametric ship roll resonance is a phenomenon where a ship can rapidly develop high roll motion while sailing in longitudinal waves. This effect can be described mathematically by periodic changes of the parameters of the equations of motion, which lead to a bifurcation. In this paper, the control design of an active u-tank stabilizer is carried out using Lyapunov theory. A nonlinear backstepping controller is developed to provide global exponential stability of roll. An extension of commonly used u-tank models is presented to account for large roll angles, and the control design is tested via simulation on a high-fidelity model of a vessel under parametric roll resonance.

Regulation and integral control of an underactuated robotic system using IDA-PBC with dynamic extension

This paper proposes a method for design of a set-point regulation controller with integral action for an underactuated robotic system. The robot is described as a port-Hamiltonian system, and the control design is based on a coordinate transformation and a dynamic extension. Both the change of coordinates and the dynamic extension add extra degrees of freedom that facilitate the solution of the matching equation associated with interconnection and damping assignment passivity-based control designs (IDA-PBC). The stability of the controlled system is proved using the closed loop Hamiltonian as a Lyapunov candidate function. The performance of the proposed controller is shown in simulation.

高级加密标准AES-192的7轮不可能差分分析

结合密钥扩展算法和划分子集的方法,提出7轮AES-192的不可能差分分析方法.首先估算猜测初始轮的错误密钥的最小概率;然后计算所需的明密文对的数量并选择明密文对,计算密文对的差分,猜测特殊的密钥字节对其进行不可能差分攻击.该攻击需要278选择明文,记忆存储空间为2129分组,以及约2155的7轮AES-192加密.与目前现有的结果相比,该攻击需要更少的选择明文数和较低的时间复杂度.

33轮SHACAL-2的差分非线性攻击

利用SHACAL-2的一个17轮差分非线性区分器,结合被猜测子密钥空间分割的方法和快速傅立叶变换,提出了一种攻击33轮SHACAL-2的新方法.该方法攻击33轮SHACAL-2需要244的选择明文、2496.6的33轮SHACAL-2加密和2502次算术运算,攻击成功概率为99%.与已有的结果相比较,新攻击有效地提高了单密钥下SHACAL-2的攻击轮数.

Uniform estimates of attracting sets of extended Lurie systems using LMIs

This research presents a systematic procedure to obtain estimates, via extended Lyapunov functions, of attracting sets of a class of nonlinear systems, as well as an estimate of their stability regions. The considered class of nonlinear systems, called in this note the extended Lurie system, consists of nonlinear systems like those of the Lurie problem where one of the nonlinear functions can violate the sector conditions of the Lurie problem around the origin. In case of nonautonomous systems the concept of absolute stability is extended and uniform estimates of the attracting set are obtained. Two classical nonlinear systems, the forced duffing equation and the Van der Pol system, are analyzed with the proposed procedure.

Chaotic oscillation in an attractive Bose-Einstein condensate under an impulsive force

The chaotic oscillation in an attractive Bose-Einstein condensate (BEC) under an impulsive force was discussed using mean-field Gross-Pitaevskii (GP) equation. It was found that sustained chaotic oscillation resulted in a BEC under the action of an impulsive force generated by suddenly changing the interatomic scattering length or the harmonic oscillator trapping potential. The analysis suggested that the final state interatomic attraction played an important role in the generation of the chaotic dynamics.

Lyapounov stability for impulsive dynamical systems

This article addresses the problem of stability of impulsive control systems whose dynamics are given by measure driven differential inclusions. One important feature concerns the adopted solution which allows the consideration of systems whose singular dynamics do not satisfy the so-called Frobenius condition. After extending the conventional notion of control Lyapounov pair for impulsive systems, some stability conditions of the Lyapounov type are given. Some conclusions follow the outline of the proof of the main result.

Effects of the thyristor controlled serie capacitor on the electric power system

This work deals with the effects of the series compensation on the electric power system for small-signal stability studies. Therefore, the system is modeled admitting the existence of the compensation and then, the equations are linearized and a linear model is obtained for a single machine-infinite bus power system with a compensator installed. The resulting model with nine defined constants is very similar to the Heffron & Phillips linear model widely used on the existent literature. Finally, simulations are executed for an example system, to analyze the behavior of these constants when loading the system. © 2004 IEEE.

Stability analysis of power system including facts (TCSC) effects by direct method approach

The problem of power system stability including the effects of a flexible alternating current transmission system (FACTS) is approached. First, the controlled series compensation is considered in the machine against infinite bar system and its effects are taken into account by means of construction of a Lyapunov function (LF). This simple system is helpful in order to understand the form the device affects dynamic and transient performance of the power system. After, the multimachine case is considered and it is shown that the single-machine results apply to multimachine systems. An energy-form Lyapunov function is derived for the power system including the FACTS device and it is used to analyse damping and synchronizing effects due to the FACTS device in single-machine as well as in multimachine power systems. © 2005 Elsevier Ltd. All rights reserved.

On a control design to an AFM microcantilever beam, operating in a tapping-mode, with irregular behavior

In last decades, control of nonlinear dynamic systems became an important and interesting problem studied by many authors, what results the appearance of lots of works about this subject in the scientific literature. In this paper, an Atomic Force Microscope micro cantilever operating in tapping mode was modeled, and its behavior was studied using bifurcation diagrams, phase portraits, time history, Poincare maps and Lyapunov exponents. Chaos was detected in an interval of time; those phenomena undermine the achievement of accurate images by the sample surface. In the mathematical model, periodic and chaotic motion was obtained by changing parameters. To control the chaotic behavior of the system were implemented two control techniques. The SDRE control (State Dependent Riccati Equation) and Time-delayed feedback control. Simulation results show the feasibility of the bothmethods, for chaos control of an AFM system. Copyright © 2011 by ASME.

A proposed neural control for the trajectory tracking of a nonholonomic mobile robot with disturbances

In this paper, a trajectory tracking control problem for a nonholonomic mobile robot by the integration of a kinematic neural controller (KNC) and a torque neural controller (TNC) is proposed, where both the kinematic and dynamic models contains disturbances. The KNC is a variable structure controller (VSC) based on the sliding mode control theory (SMC), and applied to compensate the kinematic disturbances. The TNC is a inertia-based controller constituted of a dynamic neural controller (DNC) and a robust neural compensator (RNC), and applied to compensate the mobile robot dynamics, and bounded unknown disturbances. Stability analysis with basis on Lyapunov method and simulations results are provided to show the effectiveness of the proposed approach. © 2012 Springer-Verlag.

One-dimensional Fermi accelerator model with moving wall described by a nonlinear van der Pol oscillator

A modification of the one-dimensional Fermi accelerator model is considered in this work. The dynamics of a classical particle of mass m, confined to bounce elastically between two rigid walls where one is described by a nonlinear van der Pol type oscillator while the other one is fixed, working as a reinjection mechanism of the particle for a next collision, is carefully made by the use of a two-dimensional nonlinear mapping. Two cases are considered: (i) the situation where the particle has mass negligible as compared to the mass of the moving wall and does not affect the motion of it; and (ii) the case where collisions of the particle do affect the movement of the moving wall. For case (i) the phase space is of mixed type leading us to observe a scaling of the average velocity as a function of the parameter (χ) controlling the nonlinearity of the moving wall. For large χ, a diffusion on the velocity is observed leading to the conclusion that Fermi acceleration is taking place. On the other hand, for case (ii), the motion of the moving wall is affected by collisions with the particle. However, due to the properties of the van der Pol oscillator, the moving wall relaxes again to a limit cycle. Such kind of motion absorbs part of the energy of the particle leading to a suppression of the unlimited energy gain as observed in case (i). The phase space shows a set of attractors of different periods whose basin of attraction has a complicated organization. © 2013 American Physical Society.