Set Stability and Set Stabilization of Boolean Control Networks Avoiding Undesirable Set

The traditional set stability of Boolean networks (BNs) refers to whether all the states can converge to a given state subset. Different from the existing results, the set stability investigated in this paper is whether all states in a given initial set can converge to a given destination set. This paper studies the set stability and set stabilization avoiding undesirable sets of BNs and Boolean control networks (BCNs), respectively. First, by virtue of the semi-tensor product (STP) of matrices, the dynamics of BNs avoiding a given undesirable set are established. Then, the set reachability and set stability of BNs from the initial set to destination set avoiding an undesirable set are investigated, respectively. Furthermore, the set stabilization of BCNs from the initial set to destination set avoiding a given undesirable set are investigated. Finally, a design method for finding the time optimal set stabilizer is proposed, and an example is provided to illustrate the effectiveness of the results.

Global Finite-Time Set Stabilization of Spacecraft Attitude with Disturbances using Second-Order Sliding Mode Control

The performance of attitude stabilization control algorithms for rigid spacecraft can be limited by disturbances. In this paper, the global finite-time attitude stabilization problem with disturbances is investigated and handled by constructing a second-order sliding mode controller. Firstly, a virtual controller based on set stabilization idea is constructed to globally finite-time stabilize the system. Then, a relay polynomial second-order sliding mode controller is constructed to guarantee that the tracking error towards the virtual controller will converge to zero in finite-time. Finite-time Lyapunov theory is applied to support the proof and stability analysis. The global finite-time stability holds even with bounded disturbances. The effectiveness and feasibility of the controller are illustrated by the numerical simulations.