Noise-Tolerant ZNN-Based Data-Driven Iterative Learning Control for Discrete Nonaffine Nonlinear MIMO Repetitive Systems

Aiming at the tracking problem of a class of discrete nonaffine nonlinear multi-input multi-output(MIMO) repetitive systems subjected to separable and nonseparable disturbances, a novel data-driven iterative learning control(ILC) scheme based on the zeroing neural networks(ZNNs) is proposed. First, the equivalent dynamic linearization data model is obtained by means of dynamic linearization technology, which exists theoretically in the iteration domain. Then, the iterative extended state observer(IESO) is developed to estimate the disturbance and the coupling between systems, and the decoupled dynamic linearization model is obtained for the purpose of controller synthesis. To solve the zero-seeking tracking problem with inherent tolerance of noise,an ILC based on noise-tolerant modified ZNN is proposed. The strict assumptions imposed on the initialization conditions of each iteration in the existing ILC methods can be absolutely removed with our method. In addition, theoretical analysis indicates that the modified ZNN can converge to the exact solution of the zero-seeking tracking problem. Finally, a generalized example and an application-oriented example are presented to verify the effectiveness and superiority of the proposed process.

Discrete Event Net Based Modeling and Control System Design for Real-Time Concurrent Control of Multiple Robot Systems

This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models.

Event-Triggered Finite-Time H∞ Filtering for Discrete-Time Nonlinear Stochastic Systems

This paper addresses the problem of event-triggered finite-time H∞ filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H∞ filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H∞ filter gain matrices can be expressed in an explicit form.

Optimal Guaranteed Cost Control via Static Output Fedback for Uncertain Discrete-Time Systems

目的研究在状态空间模型中的状态及控制矩阵中含有范数有界参数不确定线性离散系统的最优保价静态输出反馈控制问题．方法给出了系统二次代价指标的一个上界，并利用拉格朗日乘子法优化了该界．结果与结论给出了保证闭环系统二次稳定且使得二次代价指标界达到最小的静态输出反馈控制器存在的充分条件．并提供了一个求解输出反馈增益的数值算法．

Cyber Resilience through Real-Time Threat Analysis in Information Security

This paper examines how cybersecurity is developing and how it relates to more conventional information security. Although information security and cyber security are sometimes used synonymously, this study contends that they are not the same. The concept of cyber security is explored, which goes beyond protecting information resources to include a wider variety of assets, including people [1]. Protecting information assets is the main goal of traditional information security, with consideration to the human element and how people fit into the security process. On the other hand, cyber security adds a new level of complexity, as people might unintentionally contribute to or become targets of cyberattacks. This aspect presents moral questions since it is becoming more widely accepted that society has a duty to protect weaker members of society, including children [1]. The study emphasizes how important cyber security is on a larger scale, with many countries creating plans and laws to counteract cyberattacks. Nevertheless, a lot of these sources frequently neglect to define the differences or the relationship between information security and cyber security [1]. The paper focus on differentiating between cybersecurity and information security on a larger scale. The study also highlights other areas of cybersecurity which includes defending people, social norms, and vital infrastructure from threats that arise from online in addition to information and technology protection. It contends that ethical issues and the human factor are becoming more and more important in protecting assets in the digital age, and that cyber security is a paradigm shift in this regard [1].

Enhancing Feature Discretization in Alarm and Fire Detection Systems Using Probabilistic Inference Models

Sensors for fire alarms require a high level of predictive variables to ensure accurate detection, injury prevention, and loss prevention. Bayesian networks can aid in enhancing early fire detection capabilities and reducing the frequency of erroneous fire alerts, thereby enhancing the effectiveness of numerous safety monitoring systems. This research explores the development of optimized probabilistic graphic models for the discretization thresholds of alarm system predictor variables. The study presents a statistical model framework that increases the efficacy of fire detection by predicting the discretization thresholds of alarm system predictor variable fluctuations used to detect the onset of fire. The work applies the Bayesian networks and probabilistic visual models to reveal the specific characteristics required to cope with fire detection strategies and patterns. The adopted methodology utilizes a combination of prior knowledge and statistical data to draw conclusions from observations. Utilizing domain knowledge to compute conditional dependencies between network variables enabled predictions to be made through the application of specialized analytical and simulation techniques.

Discrete variational principle and first integrals for Lagrange-Maxwell mechanico-electrical systems

This paper presents a discrete vaxiational principle and a method to build first-integrals for finite dimensional Lagrange-Maxwell mechanico-electrical systems with nonconservative forces and a dissipation function. The discrete variational principle and the corresponding Euler-Lagrange equations are derived from a discrete action associated to these systems. The first-integrals are obtained by introducing the infinitesimal transformation with respect to the generalized coordinates and electric quantities of the systems. This work also extends discrete Noether symmetries to mechanico-electrical dynamical systems. A practical example is presented to illustrate the results.

Robust Stability and Stabilization of Discrete Singular Systems with Interval Time-varying Delay and Linear Fractional Uncertainty

The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for the nominal discrete singular delay systems to be regular, causal and stable by employing the linear matrix inequality （LMI） approach. It is shown that the newly proposed criterion can provide less conservative results than some existing ones. Then, with this criterion, the problems of robust stability and robust stabilization for uncertain discrete singular delay systems are solved, and the delay-dependent LMI conditions are obtained. Finally, numerical examples are given to illustrate the effectiveness of the proposed approach.

An Efficient Real-Time Fault-Tolerant Scheduling Algorithm Based on Multiprocessor Systems

In the context of real-time fault-tolerant scheduling in multiprocessor systems, Primary-backup scheme plays an important role. A backup copy is always preferred to be executed as passive backup copy whenever possible because it can take the advantages of backup copy de-allocation technique and overloading technique to improve schedulability. In this paper, we propose a novel efficient fault-tolerant ratemonotonic best-fit algorithm efficient fault-tolerant rate-monotonic best-fit （ERMBF） based on multiprocessors systems to enhance the schedulability. Unlike existing scheduling algorithms that start scheduling tasks with only one processor. ERMBF pre-allocates a certain amount of processors before starting scheduling tasks, which enlarge the searching spaces for tasks. Besides, when a new processor is allocated, we reassign the task copies that have already been assigned to the existing processors in order to find a superior tasks assignment configuration. These two strategies are all aiming at making as many backup copies as possible to be executed as passive status. As a result, ERMBF can use fewer processors to schedule a set of tasks without losing real-time and fault-tolerant capabilities of the system. Simulation results reveal that ERMBF significantly improves the schedulability over existing, comparable algorithms in literature.

Discrete symmetrical perturbation and variational algorithm of disturbed Lagrangian systems

We investigate the perturbation to discrete conformal invariance and the adiabatic invariants of Lagrangian systems. A variational algorithm is proposed for a system subjected to the perturbation quantities. The discrete determining equations of the perturbations to conformal invariance are established. For perturbed Lagrangian systems, the condition of the existence of adiabatic invariant is derived from the discrete perturbation to conformal invariance. The numerical simulations demonstrate that the variational algorithm has the higher precision and the longer time stability than the standard numerical method.

Symmetries and variational calculation of discrete Hamiltonian systems

We present a numerical simulation method of Noether and Lie symmetries for discrete Hamiltonian systems. The Noether and Lie symmetries for the systems are proposed by investigating the invariance properties of discrete Lagrangian in phase space. The numerical calculations of a two-degree-of-freedom nonlinear harmonic oscillator show that the difference discrete variational method preserves the exactness and the invariant quantity.

Stabilization of discrete nonlinear systems based on control Lyapunov functions

The stabilization of discrete nonlinear systems is studied. Based on control Lyapunov functions, a sufficient and necessary condition for a quadratic function to be a control Lyapunov function is given. From this condition, a continuous state feedback law is constructed explicitly. It can globally asymptotically stabilize the equilibrium of the closed-loop system. A simulation example shows the effectiveness of the proposed method.

H_∞ controller synthesis of piecewise discrete time linear systems

This paper presents an H∞ controller design method for piecewise discrete time linear systems based on a piecewise quadratic Lyapunov function. It is shown that the resulting closed loop system is globally stable with guaranteed H∞ performance and the controller can be obtained by solving a set of bilinear matrix inequalities. It has been shown that piecewise quadratic Lyapunov functions are less conservative than the global quadratic Lyapunov functions. A simulation example is also given to illustrate the advantage of the proposed approach.

The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra

A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.

Restoring force correction based on online discrete tangent stiffness estimation method for real-time hybrid simulation

In real-time hybrid simulation（RTHS）, it is difficult if not impossible to completely erase the error in restoring force due to actuator response delay using existing displacement-based compensation methods. This paper proposes a new force correction method based on online discrete tangent stiffness estimation（online DTSE） to provide accurate online estimation of the instantaneous stiffness of the physical substructure. Following the discrete curve parameter recognition theory, the online DTSE method estimates the instantaneous stiffness mainly through adaptively building a fuzzy segment with the latest measurements, constructing several strict bounding lines of the segment and calculating the slope of the strict bounding lines, which significantly improves the calculation efficiency and accuracy for the instantaneous stiffness estimation. The results of both computational simulation and real-time hybrid simulation show that：（1） the online DTSE method has high calculation efficiency, of which the relatively short computation time will not interrupt RTHS; and（2） the online DTSE method provides better estimation for the instantaneous stiffness, compared with other existing estimation methods. Due to the quick and accurate estimation of instantaneous stiffness, the online DTSE method therefore provides a promising technique to correct restoring forces in RTHS.

On necessity proof of strict bounded real lemma for generalized linear systems with finite discrete jumps

Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with explicitly. Based on these results, a new recursive approach is proposed in the necessity proof of strict bounded real lemma for generalized linear system with finite discrete jumps.

Existence and Stability Property of Almost Periodic Solutions in Discrete Almost Periodic Systems

In this paper, we consider an almost periodic system which includes a system of the type , where k is a positive integer, aij are almost periodic in n and satisfy aij(n)≥0 for i≠j,? for 1≤j≤m. In the special case where aij(n) are constant functions, above system is a mathematical model of gas dynamics and was treated by T. Carleman and R. D. Jenks for differential systems. In the main theorem, we show that if the m X m matrix (aij(n)) is irreducible, then there exists a positive almost periodic solution which is unique and has some stability. Moreover, we can see that this result gives R. D. Jenks’ result for differential model in the case where aij(n) are constant functions. In Section 3, we consider the linear system with variable cofficients . Even in nonlinear problems, this linear system plays an important role, as their variational equations, and it is requested to determine the uniform asymptotically stability of the zero solution from the information about A(n). In order to obtain the existence of almost periodic solutions of both linear and nonlinear almost periodic discrete systems: above linear system and? for 1≤i≤m, respectively, we shall consider between certain stability properties, which are referred to as uniformly asymptotically stable, and the diagonal dominance matrix condition.

Dynamical Behavior of Discrete Ratio-Dependent Predator-Prey System

In this paper, we propose a discrete ratio-dependent predator-prey system. The stability of the fixed points of this model is studied. At the same time, it is shown that the discrete model undergoes fold bifurcation and flip bifurcation by using bifurcation theory and the method of approximation by a flow. Numerical simulations are presented not only to demonstrate the consistence with our theoretical analyses, but also to exhibit the complex dynamical behaviors, such as the cascade of period-doubling bifurcation in period-2 and the chaotic sets. The Maximum Lyapunov exponents are numerically computed to confirm further the complexity of the dynamical behaviors. These results show that the direct discrete method has more rich dynamic behaviors than the discrete model obtained by Euler method.

The discrete variational principle and the first integrals of Birkhoff systems＊

This paper shows that first integrals of discrete equation of motion for Birkhoff systems can be determined explicitly by investigating the invariance properties of the discrete Pfaffian. The result obtained is a discrete analogue of theorem of Noether in the calculus of variations. An example is given to illustrate the application of the results.