3,772 research outputs found
Extracting Boolean rules from CA patterns
A multiobjective genetic algorithm (GA) is introduced to identify both the neighborhood and the rule set in the form of a parsimonious Boolean expression for both one- and two-dimensional cellular automata (CA). Simulation results illustrate that the new algorithm performs well even when the patterns are corrupted by static and dynamic nois
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
Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts
This paper presents an assume-guarantee reasoning approach to the computation
of robust invariant sets for network systems. Parameterized signal temporal
logic (pSTL) is used to formally describe the behaviors of the subsystems,
which we use as the template for the contract. We show that set invariance can
be proved with a valid assume-guarantee contract by reasoning about individual
subsystems. If a valid assume-guarantee contract with monotonic pSTL template
is known, it can be further refined by value iteration. When such a contract is
not known, an epigraph method is proposed to solve for a contract that is
valid, ---an approach that has linear complexity for a sparse network. A
microgrid example is used to demonstrate the proposed method. The simulation
result shows that together with control barrier functions, the states of all
the subsystems can be bounded inside the individual robust invariant sets.Comment: Submitted to 2019 American Control Conferenc
Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems
Development of robust dynamical systems and networks such as autonomous
aircraft systems capable of accomplishing complex missions faces challenges due
to the dynamically evolving uncertainties coming from model uncertainties,
necessity to operate in a hostile cluttered urban environment, and the
distributed and dynamic nature of the communication and computation resources.
Model-based robust design is difficult because of the complexity of the hybrid
dynamic models including continuous vehicle dynamics, the discrete models of
computations and communications, and the size of the problem. We will overview
recent advances in methodology and tools to model, analyze, and design robust
autonomous aerospace systems operating in uncertain environment, with stress on
efficient uncertainty quantification and robust design using the case studies
of the mission including model-based target tracking and search, and trajectory
planning in uncertain urban environment. To show that the methodology is
generally applicable to uncertain dynamical systems, we will also show examples
of application of the new methods to efficient uncertainty quantification of
energy usage in buildings, and stability assessment of interconnected power
networks
- …