Stability Analysis and Control of Several Classes of Logical Dynamic Systems and the Applications in Game Theory

With the rapid development of complex networks, logical dynamic systems have been commonly used mathematical models for simulating Genetic Regulatory Networks (GRNs) and Networked Evolutionary Games (NEGs), which have attracted considerable attention from biology, economy and many other fields. By resorting to the Semi-Tensor Product (STP) of matrices, logical dynamic systems can be equivalently converted into discrete time linear systems with algebraic forms. Based on that, this thesis analyzes the stability and studies the control design problems of several classes of logical dynamic systems. Moreover, the obtained results are applied to investigate the control and optimization problems of NEGs. The main results of this thesis are the following. • The stability and event-triggered control for a class of k-Valued Logical Networks (KVLNs) with time delays are studied. First, some necessary and sufficient con- ditions are obtained to detect the stability of Delayed k-Valued Logical Networks (DKVLNs). Second, the global stabilization problem under event-triggered control is considered, and some necessary and sufficient conditions are presented for the sta- bilization of Delayed k-Valued Logical Control Networks (DKVLCNs). Moreover, an algorithm is proposed to construct all the event-triggered state feedback controllers via antecedence solution technique. • The robust control invariance and robust set stabilization problems for a class of Mix- Valued Logical Control Networks (MVLCNs) with disturbances are studied. First, a calculation method for the Largest Robust Control Invariant Set (LRCIS) contained in a given set is introduced. Second, based on the Robust Control Invariant Subset (RCIS) obtained, the robust set stabilization of MVLCNs is discussed, and some new results are presented. Furthermore, the design algorithm of time-optimal state feedback stabilizers via antecedence solution technique is derived. • The robust set stability and robust set stabilization problems for a class of Probabilis- tic Boolean Control Networks (PBCNs) with disturbances are studied. An algorithm to determine the Largest Robust Invariant Set (LRIS) with probability 1 of a given set for a Probabilistic Boolean Network (PBN) is proposed, and the necessary and sufficient conditions to detect whether the PBN is globally finite-time stable to this invariant set with probability 1 are established. Then, the PBNs with control inputs are considered, and an algorithm for LRCIS with probability 1 is provided, based on which, some necessary and sufficient conditions for finite-time robust set stabiliza- tion with probability 1 of PBCNs are presented. Furthermore, the design scheme of time-optimal state feedback stabilizers via antecedence solution technique is derived. • The stabilization and set stabilization problems for a class of Switched Boolean Con- trol Networks (SBCNs) with periodic switching signal are studied. First, algebraic forms are constructed for SBCNs with periodic switching signal. Second, based on the algebraic formulations, the stabilization and set stabilization of SBCNs with peri- odic switching signal are discussed, and some new results are presented. Furthermore, constructive procedure of open loop controllers is given, and the design algorithms of switching-signal-dependent state feedback controllers via antecedence solution tech- nique are derived. • The dynamics and control problems for a class of NEGs with time-invariant delay in strategies are studied. First, algebraic forms are constructed for Delayed Networked Evolutionary Games (DNEGs). Second, based on the algebraic formulations, some necessary and sufficient conditions for the global convergence of desired strategy pro- file under a state feedback event-triggered controller are presented. Furthermore, the constructive procedure and the number of all valid event-triggered state feedback controllers are derived, which can make the game converge globally. • The evolutionary dynamics and optimization problems of the networked evolutionary boxed pig games with the mechanism of passive reward and punishment are studied. First, an algorithm is provided to construct the algebraic formulation for the dynamics of this kind of games. Then, the impact of reward and punishment parameters on the final cooperation level of the whole network is discussed

Data mining as a tool for environmental scientists

Over recent years a huge library of data mining algorithms has been developed to tackle a variety of problems in fields such as medical imaging and network traffic analysis. Many of these techniques are far more flexible than more classical modelling approaches and could be usefully applied to data-rich environmental problems. Certain techniques such as Artificial Neural Networks, Clustering, Case-Based Reasoning and more recently Bayesian Decision Networks have found application in environmental modelling while other methods, for example classification and association rule extraction, have not yet been taken up on any wide scale. We propose that these and other data mining techniques could be usefully applied to difficult problems in the field. This paper introduces several data mining concepts and briefly discusses their application to environmental modelling, where data may be sparse, incomplete, or heterogenous

Deterministic and Probabilistic Boolean Control Networks and their application to Gene Regulatory Networks

This thesis focuses on Deterministic and Probabilistic Boolean Control Networks and their application to some specific Gene Regulatory Networks. At first, some introductory materials about Boolean Logic, Left Semi-tensor Product and Probability are presented in order to explain in detail the concepts of Boolean Networks, Boolean Control Networks, Probabilistic Boolean Networks and Probabilistic Boolean Control Networks. These networks can be modelled in state-space and their representation, obtained by means of the left semi-tensor product, is called algebraic form. Subsequently, the thesis concentrates on presenting the fundamental properties of these networks such as the classical Systems Theory properties of stability, reachability, controllability and stabilisation. Afterwards, the attention is drawn towards the comparison between deterministic and probabilistic boolean networks. Finally, two examples of Gene Regulatory Networks are modelled and analysed by means of a Boolean Network and a Probabilistic Boolean Network.This thesis focuses on Deterministic and Probabilistic Boolean Control Networks and their application to some specific Gene Regulatory Networks. At first, some introductory materials about Boolean Logic, Left Semi-tensor Product and Probability are presented in order to explain in detail the concepts of Boolean Networks, Boolean Control Networks, Probabilistic Boolean Networks and Probabilistic Boolean Control Networks. These networks can be modelled in state-space and their representation, obtained by means of the left semi-tensor product, is called algebraic form. Subsequently, the thesis concentrates on presenting the fundamental properties of these networks such as the classical Systems Theory properties of stability, reachability, controllability and stabilisation. Afterwards, the attention is drawn towards the comparison between deterministic and probabilistic boolean networks. Finally, two examples of Gene Regulatory Networks are modelled and analysed by means of a Boolean Network and a Probabilistic Boolean Network

Model Evaluation of the Stochastic Boolean Control Networks

National Key Research and Development Program of China under Grant 2018AAA0100202; National Natural Science Foundation of China under Grants 62003083, 61873059, 61873148, 61922024 and 61933007; Shanghai Science and Technology Program of China under Grant 20JC1414500; Shanghai Sailing Program of China under Grant 19YF1402400; Program of Shanghai Academic/Technology Research Leader of China under Grant 20XD1420100; Royal Society of the UK; Alexander von Humboldt Foundation of Germany