Sufficient Conditions For Stability Research Articles

Necessary and Sufficient Conditions for Event-Triggered Set Stabilizability of Markovian Jump Logical Networks.

This technical paper utilizes the Lyapunov theory to characterize the event-triggered set stabilizability of Markovian jump logical control networks (MJLCNs). Whereas the existing result for checking the set stabilizability of MJLCNs is only sufficient, this technical paper further establishes its necessary and sufficient condition. First, the Lyapunov function is established to describe the set stabilizability of MJLCNs necessarily and sufficiently by combining recurrent switching modes and desired state set. Then, the triggering condition and the input updating mechanism are designed regarding the value change of the Lyapunov function. Finally, the effectiveness of theoretical results is demonstrated by a biological example concerning the lac operon in Escherichia coli.

Security concern and fuzzy output sliding mode load frequency control of power systems

This research investigates the concern of security in multi-area load frequency control (LFC) power systems using fuzzy logic output sliding mode control approach. A motion-trends-based deception attack model is proposed to represent malicious threats from communication networks. The motion-trends-based deception attack model enhances the destructive effect of deception attacks by monitoring changes in system state. In terms of the security concerns, a fuzzy-based output sliding mode control (OSMC) is applied to protect the power system from potential cyber-attacks. We provide sufficient conditions for the power systems stability under motion-trends-based deception attack. An initial controller gain that will bring the power system to stability is calculated by linear matrix inequalities (LMIs). The obtained controller gain provides a design method for fuzzy logic member functions. Fuzzy logic is then used to adjust the resulting controller gain to improve power system performance. The simulation results validate the usefulness of the proposed strategy, and indicate the viability of fuzzy logic in fine-tuning controllers.

(Almost) complete characterization of the stability of a discrete-time Hawkes process with inhibition and memory of length two

Abstract We consider a Poisson autoregressive process whose parameters depend on the past of the trajectory. We allow these parameters to take negative values, modelling inhibition. More precisely, the model is the stochastic process $(X_n)_{n\ge0}$ with parameters $a_1,\ldots,a_p \in \mathbb{R}$ , $p\in\mathbb{N}$ , and $\lambda \ge 0$ , such that, for all $n\ge p$ , conditioned on $X_0,\ldots,X_{n-1}$ , $X_n$ is Poisson distributed with parameter $(a_1 X_{n-1} + \cdots + a_p X_{n-p} + \lambda)_+$ . This process can be regarded as a discrete-time Hawkes process with inhibition and a memory of length p. In this paper we initiate the study of necessary and sufficient conditions of stability for these processes, which seems to be a hard problem in general. We consider specifically the case $p = 2$ , for which we are able to classify the asymptotic behavior of the process for the whole range of parameters, except for boundary cases. In particular, we show that the process remains stochastically bounded whenever the solution to the linear recurrence equation $x_n = a_1x_{n-1} + a_2x_{n-2} + \lambda$ remains bounded, but the converse is not true. Furthermore, the criterion for stochastic boundedness is not symmetric in $a_1$ and $a_2$ , in contrast to the case of non-negative parameters, illustrating the complex effects of inhibition.

Dynamic event-triggered control for multi-channel cyber–physical systems under denial-of-service attacks

This paper studies the problem of dynamic event-triggered control in multi-channel cyber–physical systems subject to denial-of-service attacks, and the attacks are independent and asynchronous in different channels. A switching scheme is proposed to address the complexity of multi-channel network attacks, under which the sufficient conditions for closed-loop stability of the systems are obtained. Additionally, considering the different decay rates caused by the switching logic, an equivalent decay rates method, which reveals the relationship between the tolerable attack intensity and the dynamic event-triggering parameters, is proposed. Furthermore, it is demonstrated that the dynamic event-triggered strategy outperforms the traditional static approaches in terms of saving communication resources, which is also verified by a simulation example.

Enhancing vehicular platoon stability in the presence of communication Cyberattacks: A reliable longitudinal cooperative control strategy

This study proposes a reliable longitudinal distributed control strategy for connected and automated vehicles (CAVs) in the presence of communication cyberattacks. The proposed strategy is designed to utilize dependable measurements from onboard sensors to evaluate the reliability of vehicle-to-vehicle (V2V) information and enhance the platoon string stability in an integrated manner. Specifically, this paper proposes a real-time reliability evaluation mechanism for the ego vehicle based on sensing and communication information from multiple predecessors, employing an upper-tailed chi-squared test. The mechanism is then incorporated into a distributed multi-predecessor linear feedback controller to adaptively weigh the preceding vehicles’ information, ensuring robustness against cyberattacks and maintaining the string stability of the vehicular platoon. To better understand the whole framework, sufficient conditions of true string stability and pseudo string stability are theoretically derived, unveiling the disturbance amplification jointly impacted by measurement accuracy of onboard sensors, cyberattack severity in V2V communication, and control parameters. Numerical experiments are conducted to validate the controller across various types of communication cyberattacks. The results suggest that the proposed control strategy can significantly alleviate the impact of cyberattacks and simultaneously dampen traffic oscillations effectively.

Unified Sufficient Conditions for Predefined-Time Stability of Non-Linear Systems and Its Standard Controller Design

This paper presents a unified Lyapunov-based predefined-time stability theorem that includes three sufficient conditions. The standard theoretical analysis method for achieving predefined-time stability of non-linear systems using this theorem is provided within the framework of Lyapunov theory. The developed Lyapunov-based theorem facilitates the establishment of equivalence between the existing Lyapunov theorems concerning predefined-time stability. Furthermore, when the presented sufficient conditions are relaxed, the predefined-time stability conclusion for non-linear systems degenerates into a finite-time one. Consequently, a standard non-singular sliding mode control framework based on the unified Lyapunov-based theorem is developed for a Lagrangian system to ensure its predefined-time stability. Exemplary numerical simulation results are subsequently given, in order to illustrate the convergence behavior of the system states and confirm that the controlled systems are predefined-time stable.

Effects of stochastic perturbations on a phytoplankton allelopathy competitive system

In this paper, we investigate stochastic models of two species competitive phytoplankton system with allelopathic interaction. We construct stochastic models from deterministic models by introducing three different stochastic perturbations to the equations. For the first model, we prove that this model is asymptotically stable in probability at three different equilibrium points. It is also shown that the system is positively recurrent under some conditions. For the second model, we study the extinction, existence of positive recurrence and global asymptotic stability under some sufficient conditions. For the last system, almost sufficient and necessary conditions for global asymptotic stability, the existence of positive recurrence and extinction of each population are established. In addition, using a suitable stochastic Lyapunov method, we prove that there is a unique solution to three models, we also discuss the ultimate boundedness of the three stochastic systems. Moreover, some numerical simulations are introduced to illustrate our mathematical results. We show that stochastic models still retain the desirable stability of their deterministic counterparts if stochastic perturbations are relatively small.

Feedback stabilization of probabilistic finite state machines based on deep Q-network.

As an important mathematical model, the finite state machine (FSM) has been used in many fields, such as manufacturing system, health care, and so on. This paper analyzes the current development status of FSMs. It is pointed out that the traditional methods are often inconvenient for analysis and design, or encounter high computational complexity problems when studying FSMs. The deep Q-network (DQN) technique, which is a model-free optimization method, is introduced to solve the stabilization problem of probabilistic finite state machines (PFSMs). In order to better understand the technique, some preliminaries, including Markov decision process, ϵ-greedy strategy, DQN, and so on, are recalled. First, a necessary and sufficient stabilizability condition for PFSMs is derived. Next, the feedback stabilization problem of PFSMs is transformed into an optimization problem. Finally, by using the stabilizability condition and deep Q-network, an algorithm for solving the optimization problem (equivalently, computing a state feedback stabilizer) is provided. Compared with the traditional Q learning, DQN avoids the limited capacity problem. So our method can deal with high-dimensional complex systems efficiently. The effectiveness of our method is further demonstrated through an illustrative example.

State Estimation for Recurrent Neural Networks With Intermittent Transmission.

This work addresses the state estimation problem for recurrent neural networks over capacity-constrained communication channels. The intermittent transmission protocol is used to reduce the communication load, where a stochastic variable with a given distribution is used to describe the transmission interval. A corresponding transmission interval-dependent estimator is designed, and an estimation error system based on it is also derived, whose mean-square stability is proved by constructing an interval-dependent function. By analyzing the performance in each transmission interval, sufficient conditions of the mean-square stability and the strict (Q,S,R) - γ -dissipativity are established for the estimation error system. Finally, the correctness and the superiority of the developed result are illustrated by a numerical example.

Dynamics analysis of a nonlinear controlled predator–prey model with complex Poincaré map

In this paper, we propose a class of predator–prey models with nonlinear state-dependent feedback control in the saturated state. The nonlinear state impulse control leads to a diversity of pulse and phase sets such that the Poincaré map built on the corresponding phase sets behaves like the single-peak function and multi-peak function with multiple discontinuities. We start our study by analyzing the exact pulse and phase sets of models under various cases generated by the dependent parameter space of nonlinear state feedback control, then construct the Poincaré map that is followed by investigating their monotonicity, continuity, concavity, and immobility properties. We also explore the existence, uniqueness, and sufficient conditions for the global stability of the order-1 periodic solutions of the systems. Numerical simulations are carried out to illustrate and reveal the biological significance of our theoretical findings.

Event‐triggered secure control under denial‐of‐service attacks for cyber‐physical systems with positive constraint

AbstractThis paper investigates the stabilization problem for cyber‐physical systems subject to positive constraint and denial‐of‐service (DoS) attacks using the event‐triggered scheme. Unlike traditional modeling of cyber physical systems with DoS attack, this paper establishes a positive switched system model composed of two positive subsystems that according to the DoS attack is active or inactive. Considering the effect of positive constraint and DoS attack, a 1‐norm‐based event‐triggered mechanism is proposed in the sleep interval of DoS attacks. By incorporating switching theory with event‐triggered mechanism, the sufficient condition of positive property and exponential stabilization for the considered system is established. Thereafter, the gain matrix of the controller is calculated by matrix decomposition technique. Furthermore, the Zeno behavior is eliminated with a lower bound of the event‐triggered interval. Finally, an example is carried out to verify the validity of the theoretical results.

Aperiodic sampled‐data stabilization of switched singular systems with asynchronous switching: A hybrid control approach

AbstractThis article investigates the sampled‐data stabilization problem for a class of switched singular systems with aperiodic sampling. The asynchronous switching between the plant and the switched controller caused by sampling is considered. Unlike normal systems, the conventional zero‐order hold type sampled‐data control law may be inapplicable to singular systems. This is because under that control law, the algebraic equations of singular systems may have no solutions at sampling instants. To cope with this problem, a new hybrid control law composed of a mode‐dependent impulsive controller and a mode‐dependent sampled‐data state feedback controller is devised. The impulsive controller adjusts the values of differential substate at sampling instants so that the algebraic equations are solvable. Then, by constructing a novel piecewise sampling‐time‐dependent Lyapunov function and using the average dwell time method as well as convex technique, a sampling‐range‐dependent sufficient condition for exponential stability of the resulting closed‐loop system is established. Moreover, an optimization‐based method is proposed to solve the hybrid controller gains. Simulation results on two examples including a mechanical arm system show the effectiveness of the proposed control method.

Robust asymptotic stability analysis for fractional-order systems with commensurate time delays: The 1 < β ≤ 2 case

The robust asymptotic stability problem for fractional-order linear systems with commensurate time delays (FOSCDs) and structured perturbations is investigated in this manuscript. Based on the properties of Kronecker products and μ-analysis, the necessary and sufficient conditions are given to guarantee the asymptotic stability of FOSCDs. Then, the necessary and sufficient conditions for the robust asymptotic stability of FOSCDs with structured perturbations are investigated. To reduce the computing complexity and deal with the problems of systems with larger dimensions, a sufficient condition on the robust asymptotic stability of FOSCDs with structured perturbations is given based on the properties of Kronecker products and 2-norm transformations. Finally, several examples are illustrated to test the effectiveness of the proposed results.

Parameterization to fault detection filtering for Itô stochastic T‐S fuzzy systems

AbstractThis article focuses on the fault detection filtering problem for Itô stochastic Takagi–Sugeno (T‐S) fuzzy systems. In terms of line integral Lyapunov function, a sufficient condition of exponential stability in mean square and extended dissipativity for the systems under consideration is established which has less conservatism than the one based on quadratic Lyapunov function. The obtained sufficient condition is nonlinear, which makes the synthesis of fault detection filter being difficult and challenging. By choosing general matrix variables and constructing the appropriate orthogonal complement matrices, the nonlinear sufficient condition can be converted into linear one ingeniously via utilizing Finsler's lemma twice. Thus, the fault detection filter can be developed by virtue of parameterization. It should be pointed out that our filter determined by the parameterization approach includes the one obtained by the equivalent transformation method as a special case. Finally, we demonstrate the feasibility and superiority of our proposed approach through three numerical examples.

Asynchronous control of switched systems with time-delay based on mode-dependent average dwell time

Switched system is a kind of important hybrid system, which is usually composed of finite subsystems and an organization switching rule. In the study of switched system, it is usually default that the subsystem and the sub-controller are switched synchronously. However, in practice, the switching of sub-controller often lags behind the subsystem, resulting in asynchronous switching between subsystem and sub-controller, which affects the stability of the system. To solve this problem, this paper discusses the asynchronous control problem of a class of time-varying delay switched systems based on mode-dependent average dwell time (MDADT). Firstly, by constructing a dynamic output feedback controller and using piecewise Lyapunov function, the sufficient conditions for exponential stability and H∞ performance of the closed-loop switching system are obtained. At the same time, the design algorithm of dynamic output feedback controller is given. Finally, a simulation of a switched system with two subsystems under ADT switching signal and MDADT switching signal is given, and the effectiveness of the proposed method is verified by comparison.

State estimation with unknown measurement losses: A detector-based approach

In this paper, we are devoted to solving the problems of designing an estimator, and determining its estimator stability and estimation performance for a system with unknown measurement losses (UML). The solutions to these problems include three steps: first, we design two measurement-loss detectors to detect the measurement losses; Then, we design a detector-based estimator for UML systems. Finally, by analyzing the upper and lower bounds of the covariances of the proposed estimator, we establish a stability condition and determine the estimation performance. Detailed findings and main contributions of this paper are summarized as follows: (i) from the estimator stability perspective, we obtain a necessary and sufficient stability condition. Specifically, the estimator is stable almost surely if and only if the measurement-loss rate is less than a critical value. (ii) From the estimation performance perspective, we prove that under some conditions, the performance of the proposed estimator is almost surely the same as that of the optimal estimator for the system with known measurement losses.

Stability and Bifurcation Control for a Generalized Delayed Fractional Food Chain Model

In this paper, a generalized fractional three-species food chain model with delay is investigated. First, the existence of a positive equilibrium is discussed, and the sufficient conditions for global asymptotic stability are given. Second, through selecting the delay as the bifurcation parameter, we obtain the sufficient condition for this non-control system to generate Hopf bifurcation. Then, a nonlinear delayed feedback controller is skillfully applied to govern the system’s Hopf bifurcation. The results indicate that adjusting the control intensity or the control target’s age can effectively govern the bifurcation dynamics behavior of this system. Last, through application examples and numerical simulations, we confirm the validity and feasibility of the theoretical results, and find that the control strategy is also applicable to eco-epidemiological systems.

Global-Position Tracking Control for Multi-Domain Bipedal Walking with Underactuation

Abstract Accurate control of a humanoid robot's global position (i.e., its three-dimensional position in the world) is critical to the reliable execution of high-risk tasks such as avoiding collision with pedestrians in a crowded environment. This paper introduces a time-based nonlinear control method that achieves accurate global-position tracking (GPT) for multi-domain bipedal walking. Deriving a tracking controller for bipedal robots is challenging due to the highly complex robot dynamics that are time-varying and hybrid, especially for multi-domain walking that involves multiple phases/domains of full actuation, over actuation, and underactuation. To tackle this challenge, we introduce a continuous-phase GPT control law for multi-domain walking, which provably ensures the exponential convergence of the entire error state within the full and over actuation domains and that of the directly regulated error state within the underactuation domain. We then construct sufficient multiple-Lyapunov stability conditions for the hybrid multi-domain tracking error system under the proposed GPT control law. We illustrate the proposed controller design through both three-domain walking with all motors activated and two-domain gait with inactive ankle motors. Simulations of a ROBOTIS OP3 bipedal humanoid robot demonstrate the satisfactory accuracy and convergence rate of the proposed control approach under two different cases of multi-domain walking as well as various walking speeds and desired paths.

On the stability of a particular class of one-dimensional states of dynamic equilibrium of the Vlasov–Poisson electron gas

The one-dimensional problem of the linear stability of dynamic states of local thermodynamic equilibria with respect to small perturbations was studied for the case when the Vlasov–Poisson electron gas contains electrons with a stationary distribution function that is constant in physical space and variable in a continuum of velocities. The absolute instability of all considered one-dimensional dynamic states of any local thermodynamic equilibrium was proved using the direct Lyapunov method. The scope of applicability of the Newcomb–Gardner–Rosenbluth sufficient condition for linear stability was outlined. An a priori exponential estimation was obtained for the rise of small one-dimensional perturbations from below. Analytic counterexamples to the spectral Newсomb–Gardner theorem and the Penrose criterion were constructed. Earnshaw’s theorem was extended from classical mechanics tostatistical one.

Stability of solutions of systems of Volterra integral equations

In this paper, we propose new sufficient conditions for stability of solutions of systems of Volterra linear integral equations and systems of linear integro-differential Volterra equations. Solution stability conditions for systems of Volterra linear integral equations are studied with perturbed right hand sides of the equations. These new sufficient conditions are expressed in terms of logarithmic norms of matrices consisting of coefficients of equations and derivatives of their kernels. For Volterra integro-differential equations we also provide sufficient conditions for stability of solutions when the initial conditions are perturbed.