The structure of a canalizing function is discussed. Using a new matrix product, namely semitensor product, the logical function is expressed in its matrix form. From its matrix expression, a criterion is obtained to test whether a logical function is a canalizing function. Then a formula is obtained to calculate the number of canalizing functions. Moreover, an algorithm is presented to generate canalizing functions. Finally, some results obtained are extended to seminested canalizing functions.
<正>This paper studies the adaptive control for linear systems with set-valued observations to track periodic t...
ZHAO Yanlong,GUO Jin,ZHANG Ji-Feng Key Lab of Systems and Control,Academy of Mathematics and Systems Science,Chinese Academy of Sciences,Beijing 100190, P.R.China
Over the last ten years, the consensus of multi-agent systems (MAS) has received increasing attention from mechanics, mathematics, physics, engineering sciences, social sciences, and so on. It is well known that the robustness of consensus of MAS is usually determined by several key factors, including noise, time-delays, and packet drop. In this paper, we introduce a general time-delayed MAS model with noise and also further investigate its robust consensus. In particular, we prove that the proposed algorithm is robust against the bounded time-varying delays and bounded noises. The effectiveness and robustness of the proposed consensus algorithm has been validated in the classical Vicsek model with time-varying delays. And two simulation examples are also given to justify the above theoretical results. These results may have some potential applications in various fields, including mechanics, biology, and engineering sciences.
The nature of the quantum trajectories, described by stochastic master equations, may be jump-like or diffusive, depending upon different measurement processes. There are many different unravelings corresponding to different types of stochastic master equations for a given master equation. In this paper, we study the relationship between the quantum stochastic master equations and the quantum master equations in the Markovian case under feedback control. We show that the corresponding unraveling no longer exists when we further consider feedback control besides measurement. It is due to the fact that the information gained by the measurement plays an important role in the control process. The master equation governing the evolution of ensemble average cannot be restored simply by eliminating the noise term unlike the case without a control term. By establishing a fundamental limit on performance of the master equation with feedback control, we demonstrate the differences between the stochastic master equation and the master equation via theoretical proof and simulation, and show the superiority of the stochastic master equation for feedback control.
Decay of the energy for the Cauchy problem of the wave equation of variable coefficients with a dissipation is considered. It is shown that whether a dissipation can be localized near infinity depends on the curvature properties of a Riemannian metric given by the variable coefficients. In particular, some criteria on curvature of the Riemannian manifold for a dissipation to be localized are given.