791 research outputs found
Robust set stabilization of Boolean control networks with impulsive effects
This paper addresses the robust set stabilization problem of Boolean control networks (BCNs) with impulsive effects via the semi-tensor product method. Firstly, the closed-loop system consisting of a BCN with impulsive effects and a given state feedback control is converted into an algebraic form. Secondly, based on the algebraic form, some necessary and sufficient conditions are presented for the robust set stabilization of BCNs with impulsive effects under a given state feedback control and a free-form control sequence, respectively. Thirdly, as applications, some necessary and sufficient conditions are presented for robust partial stabilization and robust output tracking of BCNs with impulsive effects, respectively. The study of two illustrative examples shows that the obtained new results are effective
Control of complex networks requires both structure and dynamics
The study of network structure has uncovered signatures of the organization
of complex systems. However, there is also a need to understand how to control
them; for example, identifying strategies to revert a diseased cell to a
healthy state, or a mature cell to a pluripotent state. Two recent
methodologies suggest that the controllability of complex systems can be
predicted solely from the graph of interactions between variables, without
considering their dynamics: structural controllability and minimum dominating
sets. We demonstrate that such structure-only methods fail to characterize
controllability when dynamics are introduced. We study Boolean network
ensembles of network motifs as well as three models of biochemical regulation:
the segment polarity network in Drosophila melanogaster, the cell cycle of
budding yeast Saccharomyces cerevisiae, and the floral organ arrangement in
Arabidopsis thaliana. We demonstrate that structure-only methods both
undershoot and overshoot the number and which sets of critical variables best
control the dynamics of these models, highlighting the importance of the actual
system dynamics in determining control. Our analysis further shows that the
logic of automata transition functions, namely how canalizing they are, plays
an important role in the extent to which structure predicts dynamics.Comment: 15 pages, 6 figure
A Static Analyzer for Large Safety-Critical Software
We show that abstract interpretation-based static program analysis can be
made efficient and precise enough to formally verify a class of properties for
a family of large programs with few or no false alarms. This is achieved by
refinement of a general purpose static analyzer and later adaptation to
particular programs of the family by the end-user through parametrization. This
is applied to the proof of soundness of data manipulation operations at the
machine level for periodic synchronous safety critical embedded software. The
main novelties are the design principle of static analyzers by refinement and
adaptation through parametrization, the symbolic manipulation of expressions to
improve the precision of abstract transfer functions, the octagon, ellipsoid,
and decision tree abstract domains, all with sound handling of rounding errors
in floating point computations, widening strategies (with thresholds, delayed)
and the automatic determination of the parameters (parametrized packing)
Opportunistic Wireless Control Over State-Dependent Fading Channels
The heterogeneous system consisting of the wireless control system (WCS) and
mobile agent system (MAS) is ubiquitous in Industrial Internet of Things (IIoT)
systems. Within this system, the positions of mobile agents may lead to shadow
fading on the wireless channel that the WCS is controlled over and can
significantly compromise the WCS's performance. This paper focuses on the
controller design for the MAS to ensure the performance of WCS in the presence
of WCS and MAS coupling. Firstly, the constrained finite field network (FFN)
with profile-dependent switching topology is adopted to proceed the operational
control for the MAS. By virtue of the algebraic state space representation
(ASSR) method, an equivalent form is obtained for the WCS and MAS coupling. A
necessary and sufficient condition in terms of constrained set stabilization is
then established to ensure the Lyapunov-like performance with expected decay
rate. Finally, a graphical method together with the breath-first searching is
provided to design state feedback controllers for the MAS. With this method, it
is easy to check the constrained set stabilization of MAS and to ensure the
performance requirements of WCS in the presence of WCS and MAS coupling. The
study of an illustrative example shows the effectiveness of the proposed
method
Self-organization and autonomy in computational networks: agents-based contractual workflow paradigm
We describe an agents-based contractual workflow paradigm for Self-organization and autonomy in computational networks. The agent-based paradigm can be interpreted as the outcome arising out of deterministic, nondeterministic or stochastic interaction among a set of agents that includes the environment. These interactions are like chemical reactions and result in self-organization. Since the reaction rules are inherently parallel, any number of actions can be performed cooperatively or competitively among the subsets of elements, so that the agents carry out the required actions. Also we describe the application of this paradigm in finding short duration paths, chemical- patent mining, and in cloud computing services
Control Theory: On the Way to New Application Fields
Control theory is an interdisciplinary field that is located at the crossroads of pure and applied mathematics with systems engineering and the sciences. Recently, deep interactions are emerging with new application areas, such as systems biology, quantum control and information technology. In order to address the new challenges posed by the new application disciplines, a special focus of this workshop has been on the interaction between control theory and mathematical systems biology. To complement these more biology oriented focus, a series of lectures in this workshop was devoted to the control of networks of systems, fundamentals of nonlinear control systems, model reduction and identification, algorithmic aspects in control, as well as open problems in control
On preservation of set stability under input delays for nonlinear systems with disturbances
The study demonstrates the preservation of set-input-to-state stability under
a small input time delay for compact, invariant sets that contain the origin. A
Razumikhin type theorem that ensures input-to-state stability (ISS) for sets in
functional differential equations (FDEs) with disturbances is proved using the
nonlinear small-gain theory. These results are essential in fulfilling the
study's goal. In comparison to the existing research on set-ISS robustness with
respect to small time delays at the input, the results obtained are rather
broad, retaining the ISS gain and without any constraints on time delayed
states. Illustrative examples are used to show the advantages of the result.Comment: 10 page
- …