Power systems exhibit various modes of oscillation due to interactions among system components. Many of the oscillations are due to synchronous machine rotors swinging relative to each other. Controllable Series Devices (CSD), i.e. series connected Flexible AC Transmission Systems (FACTS) devices, such as Unified Power Flow Controller (UPFC), Controllable Series Capacitor (CSC) and Quadrature B...

Transient stability of power systems is becoming increasingly important because the growing integration renewable resources. These resources lead to a reduction in mechanical inertia but also provide increased flexibility frequency responses. Namely, their electronic interfaces can implement almost arbitrary control laws. To design these controllers, reinforcement learning (RL) has emerged as p...

In this paper, a methodology for Lyapunov-based adaptive PID control for different nonlinearly-parameterized series and parallel PID realizations is presented using simple first and second order dominant plants. The corresponding designs are based on using only the tracking error, its derivative, its integral, and the current value of the adaptive gains in order to update the PID gains. The con...

The neutron density is one of the most important dynamical parameters in a reactor. It is directly related to the control and stability of the reactor power. Any change in applied reactivity and some of dynamical parameters in the reactor causes a change in the neutron density. Lyapunov exponent method is a powerful tool for investigating the range of stability and the transient behavior of the...

In this paper, global uniform exponential stability of perturbed dynamical systems is studied by using Lyapunov techniques. The system presents a perturbation term which is bounded by an integrable function with the assumption that the nominal system is globally uniformly exponentially stable. Some examples in dimensional two are given to illustrate the applicability of the main results.

There is a computable function f such that the problem of deciding, given a word w and an MSO sentence φ whether, S w |= φ can be decided in time O(f (l)n) where l is the length of φ and n is the length of w.