Exact boundary observability for 1‐D quasilinear wave equations

By means of a direct and constructive method based on the theory of semi‐global C² solution, the local exact boundary observability and an implicit duality between the exact boundary controllability and the exact boundary observability are shown for 1‐D quasilinear wave equations with various boundary conditions. Copyright © 2006 John Wiley & Sons, Ltd.     

EXACT CONTROLLABILITY FOR FIRST ORDER QUASILINEAR HYPERBOLIC SYSTEMS WITH ZERO EIGENVALUES＊＊＊

For a class of mixed initial-boundary value problem for general quasilinear hyperbolic sys-tems with zero eigenvalues, the authors establish the local exact controllability with boundary controls acting on one end or on two ends and internai controls acting on a part of equations in the system.     

Approximate controllability for trajectories of semilinear control systems

We treat an abstract semilinear control system and study the controllability problem for its trajectories. Assuming a range condition of the control action operator and an inequality condition on the system parameters, we can show that the reachable trajectory set of the semilinear system is equivalent to that of its corresponding linear system.The author wishes to express his deep appreciation to Prof. T. I. Seidman for his many helpful suggestions and to Prof. W. Takahashi for many stimulating conversations.     

Multiple local solutions to nonlinear control processes

We use the topological tool of Nielsen fixed-point theory to study the controllability of perturbed linear control processes whose control space can be reduced to a finite-dimensional one. These methods produce a lower bound on the number of controls that achieve a given target. We concentrate particularly on the case where the perturbation has sublinear growth, and we exhibit examples of multiple controls of various types that are detected by the Nielsen theory method.This research was partly supported by the Research Grant Teoria del Controllo dei Sistemi Dinamici, Ministero della Pubblica Istruzione, Roma, Italy.     

A Note on the Indirect Controls for a Coupled System of Wave Equations

By a procedure of successive projections, the authors decompose a coupled system of wave equations into a sequence of sub-systems. Then, they can clarify the indirect controls and the total number of controls. Moreover, the authors give a uniqueness theorem of solution to the system of wave equations under Kalman’s rank condition.     

Set controllability of Markov jump switching Boolean control networks and its applications

In this article, a novel method is proposed for investigating the set controllability of Markov jump switching Boolean control networks (MJSBCNs). Specifically, the switching signal is described as a discrete-time homogeneous Markov chain. By resorting to the expectation and switching indicator function, an expectation system is constructed. Based on the expectation system, a novel verifiable condition is established for solving the set reachability of MJSBCNs. With the newly obtained results on set reachability, a necessary and sufficient condition is further derived for the set controllability of MJSBCNs. The obtained results are applied to Boolean control networks with Markov jump time delays. Examples are demonstrated to justify the theoretical results.     

On the minimal time function for distributed control systems in Banach spaces

In this paper, it is shown that the minimal time function is locally Lipschitz continuous for the control systemx=Ax+u in a Banach spadeE, under either of two conditions:A is linear and generates aC ₀-semigroup of bounded linear operators; orA is nonlinear, possibly multivalued, and dissipative. The main tool used for the nonlinear case is a result of Barbu concerning the null controllability of the system.     

Conserved Control Path in Multilayer Networks

The determination of directed control paths in complex networks is important because control paths indicate the structure of the propagation of control signals through edges. A challenging problem is to identify them in complex networked systems characterized by different types of interactions that form multilayer networks. In this study, we describe a graph pattern called the conserved control path, which allows us to model a common control structure among different types of relations. We present a practical conserved control path detection method (CoPath), which is based on a maximum-weighted matching, to determine the paths that play the most consistent roles in controlling signal transmission in multilayer networks. As a pragmatic application, we demonstrate that the control paths detected in a multilayered pan-cancer network are statistically more consistent. Additionally, they lead to the effective identification of drug targets, thereby demonstrating their power in predicting key pathways that influence multiple cancers.     

Existence and Approximate Controllability of Solutions for an Impulsive Evolution Equation with Nonlocal Conditions in Banach Space

In this article, we study the existence of mild solutions and approximate controllability for non-autonomous impulsive evolution equations with nonlocal conditions in Banach space. The existence of mild solutions and some conditions for approximate controllability of these non-autonomous impulsive evolution equations are given by using the Krasnoselskii''s fixed point theorem, the theory of evolution family and the resolvent operator. In particular,the impulsive functions are supposed to be continuous and the nonlocal item is divided into Lipschitz continuous and completely bounded. An example is given as an application of the results.     

Dynamic modeling and simulation of deploying process for space solar power satellite receiver

To reveal some dynamic properties of the deploying process for the solar power satellite via an arbitrarily large phased array (SPS-ALPHA) solar receiver, the symplectic Runge-Kuttamethod is used to simulate the simplified model with the consideration of the Rayleigh damping effect. The system containing the Rayleigh damping can be separated and transformed into the equivalent nondamping system formally to insure the application condition of the symplectic Runge-Kutta method©First, the Lagrange equation with the Rayleigh damping governing the motion of the system is derived via the variational principle. Then, with some reasonable assumptions on the relations among the damping, mass, and stiffness matrices, the Rayleigh damping system is equivalently converted into the nondamping system formally, so that the symplectic Runge-Kutta method can be used to simulate the deploying process for the solar receiver. Finally, some numerical results of the symplectic Runge-Kutta method for the dynamic properties of the solar receiver are reported. The numerical results show that the proposed simplified model is valid for the deploying process for the SPS-ALPHA solar receiver, and the symplectic Runge-Kutta method can preserve the displacement constraints of the system well with excellent long-time numerical stability.