Algebraic Criteria Research Articles

Impulsive tracking synchronization control of networked robotic manipulator systems in the task space

This study investigates the impulsive tracking synchronization control of networked robotic manipulator systems based on Lagrangian systems. In the task space, the end-effector positions of networked robotic manipulators can synchronize and track a desired trajectory by designing an impulsive controller. Based on impulsive control, some algebraic synchronization criteria are derived. As a direct application of the theoretical results, tracking synchronization of six double-link robotic manipulators in the task space is discussed in detail. Numerical simulations are given to demonstrate the effectiveness and feasibility of the proposed control strategy.

Fractional impulsive controller design of fractional-order fuzzy systems with average dwell-time strategy and its application to wind energy systems

In this study, the issue of adaptive impulsive control of a permanent magnet synchronous generator (PMSG)-based wind energy system (WES) with an average dwell-time strategy is investigated using a Takagi–Sugeno (T-S) fuzzy model described by fractional-order differential equations. A T-S fuzzy model is employed to describe the nonlinear fractional-order PMSG (FOPMSG) model, an average dwell time, an average impulsive condition, a Lyapunov function, and a less conservative algebraic inequality criterion that guarantees stabilization for the considered nonlinear system. First, the mathematical model of the FOPMSG in the n−m reference frame is transformed into a dimensionless chaotic system through affine transformation and time scale transformation. Then, the stabilization problem of the nonlinear chaotic FOPMSG model is considered to validate the proposed sufficient conditions, leading to the derivation of a new stability criterion for the FOPMSG model, instead of addressing the general problem to validate the proposed result. Subsequently, the desired control gains can be obtained to ensure the stabilization of the addressed closed-loop system. By combining adaptive and impulsive control, the model under consideration can be stabilized for any target dynamics. Finally, we demonstrate the efficiency and feasibility of the suggested approach through numerical simulations and comparative results.

Finite-time synchronization for a fully complex-valued BAM inertial neural network with proportional delays via non-reduced order and non-separation approach

This paper focuses on finite-time synchronization (FinTS) for fully complex-valued bidirectional associative memory inertial neural networks (FCV-BAM-INNs) with proportional delays via non-reduced order and non-separation approach. Firstly, a model of the FCV-BAM-INNs with proportional delays is established. Secondly, by using the non-reduced order transformation method of inertial neural networks (INNs) and the non-separation method of complex-valued neural networks (CVNNs), an adjustable complex feedback control law with memory is designed to reach the FinTS of the drive–response FCV-BAM-INNs with proportional delays. Thirdly, some new delay-independent algebraic sufficient criteria are formed to guarantee FinTS of FCV-BAM-INNs with proportional delays by applying non smooth theory and inequalities in the complex domain, which are flexible and adjustable and easy to implement in applications. Moreover, the settling time of FinTS theoretically is calculated. Finally, some numerical simulations and an application on image encryption and decryption as evidences of the validity and availability of the results.

Prescribed-Time Network-Based Deployment of Nonlinear Multiagent Systems: A Discrete-Space PDE Method.

This article attempts to design the prescribed-time time-varying deployment schemes for first-order and second-order nonlinear multiagent systems (MASs). We assume that all agents can obtain the information of their current and final relative positions with their neighbors, and the final absolute velocities (as well as their current and final relative velocities, the final absolute accelerations for the second-order MASs) through a communication network, whereas two boundary agents are able to obtain their current and final absolute positions (as well as their current and final absolute velocities for the second-order MASs). The neighbor relationship of all agents is described by a spatial variable and two static-feedback controllers are introduced, which can be expressed as a second-order space difference of the spatial variable. Then, the deployment of MASs can be transformed into the stabilization of discrete-space partial differential equation (PDE) systems. Three virtual agents are introduced to constitute the Dirchlet and Neumann boundary conditions. Several algebraic inequality criteria are derived to guarantee that the prescribed-time time-varying deployment can be achieved within a prescribed time under the Dirchlet and mixed boundary conditions. Unlike the published results, our results are derived based on the discrete-space PDE systems instead of continuous-space PDE systems, which is consistent with the discrete spatial distribution of agents. Finally, two numerical examples are given to illustrate the effectiveness of our results.

Distributed delay control strategy for leader-following cyber secure consensus in Riemann–Liouville fractional-order delayed multi-agent systems under denial-of-service attacks

Considered distributed delay control strategy for Leader-Following cyber secure consensus in Riemann–Liouville fractional-order delayed Multi-Agent system under Denial-of-Service Attacks, where the associated topology is a switching weighted digraph. By using the classical Lyapunov technique and algebraic graph theory some algebraic criteria are offered. The new aspect of this paper is how thoroughly it discusses denial-of-service (DoS) attacks in the context of fractional-order delayed systems and how to create defences to keep cybersecure consensus maintained. It suggests a distributed delay control approach that ensures agents can reach a consensus even with these difficulties and in the case of DoS (denial-of-service) attacks. This work is significant because it incorporates cybersecurity techniques to strengthen the system’s resilience against disruptive assaults, in addition to addressing the technical issues related to delays and fractional-order behaviours. This contribution is essential for enhancing the security and dependability of distributed systems in applications such as networked sensors and autonomous vehicles. To further demonstrate the applicability of our method, two instances are given.

Модельные технологические решения по обеспечению качества изделий при обработке точением

Model technological solutions for ensuring the quality of products during turning processing are proposed. A study of the workability of materials based on the ISO classification was carried out. To clarify the workability group, the MS code system was used, which allowed not only to clarify the workability group and the terms of delivery of the workpiece, but also to determine the specific cutting force. Based on the classifier-handbook, the parameters of the prefabricated cutting tool were selected and the technological modes for the prescribed processing conditions were determined. Based on the obtained specific cutting force, an algorithm for simplified determination of the cutting force is implemented. A study of the vibrations of the technological machining system was performed, which made it possible to formulate dynamic models for the system as a whole, subsystems of the workpiece and cutting tool. In relation to the dynamic model of the workpiece subsystem. The model has been simplified. A dynamic cutting characteristic was constructed, which made it possible to build an autonomous dynamic model of the technological system. In relation to this model, parameterization was performed, which made it possible to determine the stiffness coefficients of the fixed workpiece, as well as the inertia and dissipation coefficients. In relation to the selected processing conditions, the accuracy and roughness of the treated surface were checked. A study of the stability of the technological system of mechanical processing based on the algebraic Hurwitz criterion is carried out. In the general formulation, the Hurwitz determinant and stability conditions are obtained. The performed complex of calculations showed that the conditions determined by the Hurwitz stability criterion are met. This indicates that when processing in the selected modes, quiet cutting is carried out, which ensures the requirements for the quality of the product. The construction of the stability boundary can be performed in the space of variable technological parameters using the D-partitioning method or based on the R. Loeb algorithm. As a result of constructing the stability boundary in the space of variable parameters, the area of permissible technological modes is highlighted, which is the basis for solving the problem of processing control in accordance with the formed efficiency criteria. The complex of technological solutions presented in the article was deployed and implemented in relation to the turning of coating discs, as well as discs of turbines and compressors of gas turbine engines.

Relative controllability of linear state-delay fractional systems

AbstractIn this paper, our focus is on exploring the relative controllability of systems governed by linear fractional differential equations incorporating state delay. We introduce a novel counterpart to the Cayley-Hamilton theorem. Leveraging a delayed perturbation of the Mittag-Leffler function, along with a determining function and an analog of the Cayley-Hamilton theorem, we establish an algebraic Kalman-type rank criterion for assessing the relative controllability of fractional differential equations with state delay. Moreover, we articulate necessary and sufficient conditions for relative controllability criteria concerning linear fractional time-delay systems, expressed in terms of a new $$\alpha $$ α -Gramian matrix and define a control which transfer the system from any initial state to any final state within a given time. The theoretical findings are exemplified through the presentation of illustrative examples.

Criteria for Davies irreducibility of Markovian quantum dynamics

The dynamics of Markovian open quantum systems are described by Lindblad master equations, generating a quantum dynamical semigroup. An important concept for such systems is (Davies) irreducibility, i.e. the question whether there exist non-trivial invariant subspaces. Steady states of irreducible systems are unique and faithful, i.e. they have full rank. In the 1970s, Frigerio showed that a system is irreducible if the Lindblad operators span a self-adjoint set with trivial commutant. We discuss a more general and powerful algebraic criterion, showing that a system is irreducible if and only if the multiplicative algebra generated by the Lindblad operators La and the operator iH+∑aLa†La , involving the Hamiltonian H, is the entire operator space. Examples for two-level systems, show that a change of Hamiltonian terms as well as the addition or removal of dissipators can render a reducible system irreducible and vice versa. Examples for many-body systems show that a large class of spin chains can be rendered irreducible by dissipators on just one or two sites. Additionally, we discuss the decisive differences between (Davies) reducibility and Evans reducibility for quantum channels and dynamical semigroups which has lead to some confusion in the recent physics literature, especially, in the context of boundary-driven systems. We give a criterion for quantum reducibility in terms of associated classical Markov processes and, lastly, discuss the relation of the main result to the stabilization of pure states and argue that systems with local Lindblad operators cannot stabilize pure Fermi-sea states.

Finite‐time stability of reaction–diffusion genetic regulatory networks with nondifferential time‐varying mixed delays

This paper explores the finite‐time stability of reaction–diffusion genetic regulatory networks with time‐varying mixed delays. These delays encompass discrete delays and distributed delays. Unlike many existing studies, this paper assumes that both types of delays are bounded and continuous, without requiring differentiability. Additionally, the analysis combines the inequality approach and comparison method, while neither a Lyapunov–Krasovskii functional is constructed nor the finite‐time stability theorem is involved. The finite‐time stability of the addressed networks is then ensured by several suitable algebraic criteria. Some extended results are deduced for networks without considering reaction–diffusion and distributed delays effects as special cases. Finally, the validness of the derived results is proved by numerical simulations.

On the stability of linear systems with a quadratic integral

The problem of stability of non-degenerate linear systems admitting a first integral in the form of a non-degenerate quadratic form is considered. New algebraic criteria for stability, as well as complete instability of such systems, have been established in the form of equality to zero of traces of products of matrices, which include an additional symmetric matrix. These conditions are closely related to the symplectic geometry of the phase space, which is determined by the matrix of the original linear system and the symmetric matrix defining the first integral. General results are applied to finding conditions for complete instability of linear gyroscopic systems.

Some remarks about deformation theory and formality conjecture

Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel–Mukai threefolds and quartic double solids.

Model reduction for stochastic systems with nonlinear drift

In this paper, we study dimension reduction techniques for large-scale controlled stochastic differential equations (SDEs). The drift of the considered SDEs contains a polynomial term satisfying a one-sided growth condition. Such nonlinearities in high dimensional settings occur, e.g., when stochastic reaction diffusion equations are discretized in space. We provide a brief discussion around existence, uniqueness and stability of solutions. (Almost) stability then is the basis for new concepts of Gramians that we introduce and study in this work. With the help of these Gramians, dominant subspace is identified leading to a balancing related highly accurate reduced order SDE. We provide an algebraic error criterion and an error analysis of the propose model reduction schemes. The paper is concluded by applying our method to spatially discretized reaction diffusion equations.

Mittag-Leffler projective synchronization of uncertain fractional-order fuzzy complex valued neural networks with distributed and time-varying delays

<p>To study the Mittag-Leffler projective synchronization (MLPS) problem of fractional-order fuzzy neural networks (FOFNNs), in this work we introduced the FOFNNs model. On this basis, we discussed the MLPS of uncertain fractional-order fuzzy complex valued neural networks (FOFCVNNs) with distributed and time-varying delays. Utilizing Banach contraction mapping principle, we proved the existence and uniqueness of the model solution. Moreover, employing the construction of a new hybrid controller, an adaptive hybrid controller, and the fractional-order Razumikhin theorem, algebraic criteria was obtained for implementing MLPS. The algebraic inequality criterion obtained in this article improves and extends the previously published results on MLPS, making it easy to prove and greatly reducing the computational complexity. Finally, different Caputo derivatives of different orders were given, and four numerical examples were provided to fully verify the accuracy of the modified criterion.</p>

Adaptive Intermittent Pinning Control for Synchronization of Delayed Nonlinear Memristive Neural Networks With Reaction-Diffusion Items.

In this article, the global exponential synchronization problem is investigated for a class of delayed nonlinear memristive neural networks (MNNs) with reaction-diffusion items. First, using the Green formula, Lyapunov theory, and proposing a new fuzzy adaptive pinning control scheme, some novel algebraic criteria are obtained to ensure the exponential synchronization of the concerned networks. Furthermore, the corresponding control gains can be promptly adjusted based on the current states of partial nodes of the networks. Besides, a fuzzy adaptive aperiodically intermittent pinning control law is also designed to synchronize the fuzzy MNNs (FMNNs). The controller with intermittent mechanism can obtain appropriate rest time and save energy consumption. Finally, some numerical examples are provided to confirm the effectiveness of the results in this article.

Exponential Stability of Impulsive Timescale-Type Nonautonomous Neural Networks With Discrete Time-Varying and Infinite Distributed Delays.

Global exponential stability (GES) for impulsive timescale-type nonautonomous neural networks (ITNNNs) with mixed delays is investigated in this article. Discrete time-varying and infinite distributed delays (DTVIDDs) are taken into consideration. First, an improved timescale-type Halanay inequality is proven by timescale theory. Second, several algebraic inequality criteria are demonstrated by constructing impulse-dependent functions and utilizing timescale analytical techniques. Different from the published works, the theoretical results can be applied to GES for ITNNNs and impulsive stabilization design of timescale-type nonautonomous neural networks (TNNNs) with mixed delays. The improved timescale-type Halanay inequality considers time-varying coefficients and DTVIDDs, which improves and extends some existing ones. GES criteria for ITNNNs cover the stability conditions of discrete-time nonautonomous neural networks (NNs) and continuous-time ones, and these theoretical results hold for NNs with discrete-continuous dynamics. The effectiveness of our new theoretical results is verified by two numerical examples in the end.

Adaptive Drive-Response Synchronization of Timescale-Type Neural Networks With Unbounded Time-Varying Delays.

In recent years, adaptive drive-response synchronization (DRS) of two continuous-time delayed neural networks (NNs) has been investigated extensively. For two timescale-type NNs (TNNs), how to develop adaptive synchronization control schemes and demonstrate rigorously is still an open problem. This article concentrates on adaptive control design for synchronization of TNNs with unbounded time-varying delays. First, timescale-type Barbalat lemma and novel timescale-type inequality techniques are first proposed, which provides us practical methods to investigate timescale-type nonlinear systems. Second, using timescale-type calculus, novel timescale-type inequality, and timescale-type Barbalat lemma, we demonstrate that global asymptotic synchronization can be achieved via adaptive control under algebraic and matrix inequality criteria even if the time-varying delays are unbounded and nondifferentiable. Adaptive DRS is discussed for TNNs, which implies our control schemes are suitable for continuous-time NNs, their discrete-time counterparts, and any combination of them. Finally, numerical examples on TNNs and timescale-type chaotic Ikeda-like oscillator with unbounded time-varying delays are carried out to verify the adaptive control schemes.

Hostile-based bipartite containment control of nonlinear fractional multi-agent systems with input delays: a signed graph approach under disturbance and switching networks

<abstract><p>This article addresses the hostile-based bipartite containment control of nonlinear fractional multi-agent systems (FMASs) with input delays. Several fundamental algebraic criteria have been offered by the use of signed graph theory. To make the controller design more realistic, we assumed that the controller was under some disturbance. For the analysis of bipartite containment control, we used a fixed and switching signed network. The commonly used Lyapunov function approach and the Razumikhin technique were used. The use of these techniques can conquer the challenge brought on by switching, temporal delays, and fractional mathematics. To better elucidate the theoretical results, two examples are provided.</p></abstract>

Global exponential stability and stabilization of stochastic memristive neural networks with spatial diffusions and hybrid delays

In this paper, the global exponential stability and stabilization problems are investigated for memristive neural networks (MNNs) with stochastic disturbances, spatial diffusions and distributed delays. The spatial diffusions are not assumed to be symmetric and distributed delays are relaxed to be unbounded. Then, the presented MNNs are modeled as a class of stochastic partial systems with hybrid delays. Based on nonsmooth analysis, the Lyapunov–Krasovskii functional and inequality approach, some simple algebraic criteria are derived for the global exponential stability as well as the stabilization via two kinds of designed feedback controllers. The derived criteria are easily verified and the obtained results are available for other delayed systems with or without stochastic disturbances and spatial diffusions. Finally, the stability and stabilization results are validated by numerical simulations.

Submanifolds with ample normal bundle

AbstractWe construct germs of complex manifolds of dimension along projective submanifolds of dimension with ample normal bundle and without nonconstant meromorphic functions whenever . We also show that our methods do not allow the construction of similar examples when by establishing an algebraicity criterion for foliations on projective spaces that generalizes a classical result by Van den Ven characterizing linear subspaces of projective spaces as the only submanifolds with split tangent sequence.

Harmonic G2-structures on almost Abelian Lie groups

We consider left-invariant G2-structures on 7-dimensional almost Abelian Lie groups. Also, we characterise the associated torsion forms and the full torsion tensor according to the Lie bracket A of the corresponding Lie algebra. In those terms, we establish the algebraic condition on A for each of the possible 16-torsion classes of a G2-structure. In particular, we show that four of those torsion classes are not admissible, since τ3=0 implies τ0=0. Finally, we use the above results to provide the algebraic criteria on A, satisfying the harmonic condition divT=0, and this allows to identify which torsion classes are harmonic.