PID Pan-Boolean algebra control

Single input single output system was studied. With proportion, differential, integral results of deviation between given input and output as controller input, the logic rules in control process was analyzed, these logic rule with Pan-Boolean algebra was described, therefore a PID Pan-Boolean algebra control algorithm was obtained. The simulation results indicates that the new control algorithm is more effective compared to the traditional PID algorithm, having advantages such as more than 3 adjustable parameters of controllers, better result, and so on.

Research on Production Process Control Method Combined Stochastic Process Algebra and Stochastic Petri Nets

A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.

Adaptive fault-tolerant control of heavy lift launch vehicle via differential algebraic observer

在微分代数学的框架的一个新奇适应差错容忍的控制计划为重电梯发射车辆(HLLV ) 的态度控制被建议。由使用完全数学的转变， HLLV 的 decoupled 输入产量代表被导出，显示三个 decoupled 秒顺序系统，即，沥青，偏航并且卷隧道。基于数字微分器的一种新类型，一个微分代数学的观察员(DAO ) 为估计系统状态和概括骚乱被建议，包括各种各样的骚乱和添加剂差错转矩。由 DAO 开车，有骚乱赔偿的三个改进 proportional-integral-differential (PID ) 控制器为沥青被设计，偏航并且卷控制。在靠近环的系统的信号一致地被保证最终是的所有由 Lyapunovs 间接方法的利用跳了。有说服力的数字模拟显示建议控制计划在面对参量的不安，外部骚乱，吵闹的贪污，和致动器差错完成高效是成功的。

Stochastic stabilization of Markovian jump cloud control systems based on max-plus algebra

In this paper, stochastic stabilization is investigated by max-plus algebra for a Markovian jump cloud control system with a reference signal. For the Markovian jump cloud control system, there exists framework adjustment whose evolution is satisfied with a Markov chain. Using max-plus algebra, a maxplus stochastic system is used to describe the Markovian jump cloud control system. A causal feedback matrix is obtained by exponential stability analysis for a causal feedback controller of the Markovian jump cloud control system. A sufficient condition is given to ensure existence on the causal feedback matrix of the causal feedback controller. Based on the causal feedback controller, stochastic stabilization in probability is analyzed for the Markovian jump cloud control system with a reference signal.Simulation results are given to show effectiveness of the causal feedback controller for the Markovian jump cloud control system.

Computation Method for the Real-Time Control Problems in Differential-Algebraic Systems

In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.

An Algebraic Detection Approach for Control Systems under Multiple Stochastic Cyber-attacks

In order to compromise a target control system successfully,hackers possibly attempt to launch multiple cyberattacks aiming at multiple communication channels of the control system.However,the problem of detecting multiple cyber-attacks has been hardly investigated so far.Therefore,this paper deals with the detection of multiple stochastic cyber-attacks aiming at multiple communication channels of a control system.Our goal is to design a detector for the control system under multiple cyberattacks.Based on frequency-domain transformation technique and auxiliary detection tools,an algebraic detection approach is proposed.By applying the presented approach,residual information caused by different attacks is obtained respectively and anomalies in the control system are detected.Sufficient and necessary conditions guaranteeing the detectability of the multiple stochastic cyber-attacks are obtained.The presented detection approach is simple and straightforward.Finally,two simulation examples are provided,and the simulation results show that the detection approach is effective and feasible.

基于图神经网络的最大化代数连通度算法

随着智能体数量的增加,多智能体系统中潜在的通信链路数量呈指数级增长.过多冗余链路的存在给系统带来了大量的能源浪费和维护成本,而盲目地去除链路又会降低系统的稳定性和安全性.代数连通度是衡量图连通性的重要指标之一.然而,传统的半正定规划(SDP)方法和启发式算法在求解大规模场景下的最大化代数连通度问题时非常耗时.在本文中,我们提出了一种监督式的图神经网络模型来优化多智能体系统的代数连通度.我们将传统的SDP方法应用于小规模任务场景中,得到足够丰富的训练样本和标签.在此基础上,我们训练了一个图神经网络模型,该模型可用于更大规模的任务场景中.实验结果表明,当需要去除15条边时,我们的模型的平均性能达到了传统SDP方法的98.39%.此外,我们的模型计算时间极其有限,可以推广到实时场景中去.

2-D algebraic test for robust stability of time-delay systems with interval parameters

The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.

Deducing Complete Selection Rule Set for Driver Nodes to Guarantee Network’s Structural Controllability

Structural controllability is critical for operating and controlling large-scale complex networks. In real applications, for a given network, it is always desirable to have more selections for driver nodes which make the network structurally controllable. Different from the works in complex network field where structural controllability is often used to explore the emergence properties of complex networks at a macro level,in this paper, we investigate it for control design purpose at the application level and focus on describing and obtaining the solution space for all selections of driver nodes to guarantee structural controllability. In accord with practical applications,we define the complete selection rule set as the solution space which is composed of a series of selection rules expressed by intuitive algebraic forms. It explicitly indicates which nodes must be controlled and how many nodes need to be controlled in a node set and thus is particularly helpful for freely selecting driver nodes. Based on two algebraic criteria of structural controllability, we separately develop an input-connectivity algorithm and a relevancy algorithm to deduce selection rules for driver nodes. In order to reduce the computational complexity,we propose a pretreatment algorithm to reduce the scale of network's structural matrix efficiently, and a rearrangement algorithm to partition the matrix into several smaller ones. A general procedure is proposed to get the complete selection rule set for driver nodes which guarantee network's structural controllability. Simulation tests with efficiency analysis of the proposed algorithms are given and the result of applying the proposed procedure to some real networks is also shown, and these all indicate the validity of the proposed procedure.

Robust H_∞ Control for Uncertain Markovian Jump Linear Time-Delay Systems

This paper studies the robust stochastic stabilization and robust H∞ control for linear time-delay systems with both Markovian jump parameters and unknown norm-bounded parameter uncertainties. This problem can be solved on the basis of stochastic Lyapunov approach and linear matrix inequality (LMI) technique. Sufficient conditions for the existence of stochastic stabilization and robust H∞ state feedback controller are presented in terms of a set of solutions of coupled LMIs. Finally, a numerical example is included to demonstrate the practicability of the proposed methods.

Controllability of an underactuated spacecraft with one thruster under disturbance

For an underactuated spacecraft using only one thruster, the attitude controllability with respect to the or- bit frame is studied in the presence of periodical oscillation disturbance, which provides a preconditional guide on de- signing control law for underactuated attitude control sys- tem. Firstly, attitude dynamic model was established for an underactuated spacecraft, and attitude motion was described using the special orthogonal group （SO （3））. Secondly, Liou- ville theorem was used to confirm that the flow generated by the drift vector of the underactuated attitude control system is volume-preserving. Furthermore, according to Poincar6＇s re- currence theorem, we draw conclusions that this drift field is weakly positively poisson stable （WPPS）. Thirdly, the suffi- cient and necessary condition of controllability was obtained on the basis of lie algebra rank condition （LARC）. Finally, the controllable conditions were analyzed and simulated in different cases of inertia matrix with the installed position of thruster.

Secure Synchronization Control for a Class of Cyber-Physical Systems With Unknown Dynamics

This paper investigates the secure synchronization control problem for a class of cyber-physical systems(CPSs)with unknown system matrices and intermittent denial-of-service(DoS)attacks.For the attack free case,an optimal control law consisting of a feedback control and a compensated feedforward control is proposed to achieve the synchronization,and the feedback control gain matrix is learned by iteratively solving an algebraic Riccati equation(ARE).For considering the attack cases,it is difficult to perform the stability analysis of the synchronization errors by using the existing Lyapunov function method due to the presence of unknown system matrices.In order to overcome this difficulty,a matrix polynomial replacement method is given and it is shown that,the proposed optimal control law can still guarantee the asymptotical convergence of synchronization errors if two inequality conditions related with the DoS attacks hold.Finally,two examples are given to illustrate the effectiveness of the proposed approaches.

Stable Fault-tolerance Control for a Class of Networked Control Systems

In this paper, we use the matrix measure technique to study stable fault-tolerance control of networked control systems. State feedback networked control systems with the network-induced delay, parameter uncertainties, sensor failures and actuator failures are considered. State feedback gain K is designed for any invariant delay τ, and some theorems and sufficient conditions for stable fault-tolerance control are given. Example is presented to illustrate the effectiveness of these theorems.

Multivariable Adaptive Decoupling Controller Using Hierarchical Multiple Models

To solve the problem such as too many models, long computing time and so on, a hierarchical multiple models direct adaptive decoupling controller is designed. It consists of multiple levels. In the upper level, the best model is chosen according to the switching index. Then multiple fixed models are constructed on line to cover the region which the above chosen fixed model lies in.In the last level, one free-running and one re-initialized adaptive model are added to guarantee the stability and improve the transient response. By selection of the weighting polynomial matrix, it not only eliminates the steady output error and places the poles of the closed loop system arbitrarily, but also decouples the system dynamically. At last, for this multiple models switching system, global convergence is obtained under common assumptions. Compared with the conventional multiple models adaptive controller, it reduces the number of the fixed models greatly. If the same number of the fixed models is used, the system transient response and decoupling result are improved. The simulation example illustrates the power of the derived controller.

Water Supply Networks as Cyber-physical Systems and Controllability Analysis

Cyber-physical systems(CPS) is a system of systems which consists of many subsystems that can stand alone in an individual manner and can be taken as a typical complex network.CPS can be applied in the critical infrastructures such as water supply networks,energy supply systems,and so on.In this paper,we analyze the structure of modern city water supply networks from the view of CPS theory,we use complex network theory to build an undirected and unweighted complex network model for the water supply networks to investigate the structural properties,and present the structure of the water supply networks and detect communities by a spectral analysis of the Laplacian matrix.Then,we analyze the structure and controllability of water supply networks by the structural controllability method.The results show the feasibility and effectiveness of the proposed complex network model.

Identification and PID Control for a Class of Delay Fractional-order Systems

In this paper,a new model identification method is developed for a class of delay fractional-order system based on the process step response.Four characteristic functions are defined to characterize the features of the normalized fractionalorder model.Based on the time scaling technology,two identification schemes are proposed for parameters' estimation.The scheme one utilizes three exact points on the step response of the process to calculate model parameters directly.The other scheme employs optimal searching method to adjust the fractional order for the best model identification.The proposed two identification schemes are both applicable to any stable complex process,such as higher-order,under-damped/over-damped,and minimum-phase/nonminimum-phase processes.Furthermore,an optimal PID tuning method is proposed for the delay fractionalorder systems.The requirements on the stability margins and the negative feedback are cast as real part constraints(RPC)and imaginary part constraints(IPC).The constraints are implemented by trigonometric inequalities on the phase variable,and the optimal PID controller is obtained by the minimization of the integral of time absolute error(ITAE) index.Identification and control of a Titanium billet heating process is given for the illustration.

ANALYSIS OF THE MUTUAL INFORMATION BETWEEN INPUT AND OUTPUT OF A CLASS OF CLOCK-CONTROLLED SEQUENCES

In this paper, the mutual information between clock-controlled input and output sequences is discussed. It is proved that the mutual information is a strictly monotone increasing function of the length of output sequence, and its divergent rate is gaven.

Local Bifurcation Analysis of a Delayed Fractional-order Dynamic Model of Dual Congestion Control Algorithms

In this paper, we propose a delayed fractional-order congestion control model which is more accurate than the original integer-order model when depicting the dual congestion control algorithms. The presence of fractional orders requires the use of suitable criteria which usually make the analytical work so harder. Based on the stability theorems on delayed fractionalorder differential equations, we study the issue of the stability and bifurcations for such a model by choosing the communication delay as the bifurcation parameter. By analyzing the associated characteristic equation, some explicit conditions for the local stability of the equilibrium are given for the delayed fractionalorder model of congestion control algorithms. Moreover, the Hopf bifurcation conditions for general delayed fractional-order systems are proposed. The existence of Hopf bifurcations at the equilibrium is established. The critical values of the delay are identified, where the Hopf bifurcations occur and a family of oscillations bifurcate from the equilibrium. Same as the delay,the fractional order normally plays an important role in the dynamics of delayed fractional-order systems. It is found that the critical value of Hopf bifurcations is crucially dependent on the fractional order. Finally, numerical simulations are carried out to illustrate the main results.

H_∞ Output Feedback Control of Linear Time-invariant Fractional-order Systems over Finite Frequency Range

This paper focuses on the H_∞ output feedback control problem of linear time-invariant fractional-order systems over finite frequency range. Based on the generalized KalmanYakubovic-Popov(KYP) Lemma and a key projection lemma, a necessary and sufficient condition is established to ensure the existence of the H_∞ output feedback controller over finite frequency range, a desirable property in control engineering practice. By using the matrix congruence transformation, the feedback control gain matrix is decoupled and further parameterized by a scalar matrix. Two iterative linear matrix inequality algorithms are developed to solve this problem. Finally, numerical examples are provided to illustrate the effectiveness of the proposed method.

Non-fragile decentralized H_∞ controller design for uncertain linear systems

Considering the design problem of non-fragile decentralized H∞ controller with gain variations, the dynamic feedback controller by measurement feedback for uncertain linear systems is constructed and studied. The parameter uncertainties are considered to be unknown but norm bounded. The design procedures are investigated in terms of positive definite solutions to modify algebraic Riccati inequalities. Using information exchange among local controllers, the designed non-fragile decentralized H∞ controllers guarantee that the uncertain closed-loop linear systems are stable and with H∞ -norm bound on disturbance attenuation. A sufficient condition that there are such non-fragile H∞ controllers is obtained by algebraic Riccati inequalities. The approaches to solve modified algebraic Riccati inequalities are carried out preliminarily. Finally, a numerical example to show the validity of the proposed approach is given.