This paper focuses on the performance of equalizer zero-determinant(ZD)strategies in discounted repeated Stackelberg asymmetric games.In the leader-follower adversarial scenario,the strong Stackelberg equilibrium(SSE)...This paper focuses on the performance of equalizer zero-determinant(ZD)strategies in discounted repeated Stackelberg asymmetric games.In the leader-follower adversarial scenario,the strong Stackelberg equilibrium(SSE)deriving from the opponents’best response(BR),is technically the optimal strategy for the leader.However,computing an SSE strategy may be difficult since it needs to solve a mixed-integer program and has exponential complexity in the number of states.To this end,the authors propose an equalizer ZD strategy,which can unilaterally restrict the opponent’s expected utility.The authors first study the existence of an equalizer ZD strategy with one-to-one situations,and analyze an upper bound of its performance with the baseline SSE strategy.Then the authors turn to multi-player models,where there exists one player adopting an equalizer ZD strategy.The authors give bounds of the weighted sum of opponents’s utilities,and compare it with the SSE strategy.Finally,the authors give simulations on unmanned aerial vehicles(UAVs)and the moving target defense(MTD)to verify the effectiveness of the proposed approach.展开更多
This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are giv...This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control.Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure.Then sufficient condition for the feedback control case is obtained,and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations.Numerical examples are also provided to illustrate the proposed control design.展开更多
This paper addresses attitude synchronization problems for systems of multiple rigid-body agents with directed interconnection topologies.Two scenarios which differ in available information are considered.In the first...This paper addresses attitude synchronization problems for systems of multiple rigid-body agents with directed interconnection topologies.Two scenarios which differ in available information are considered.In the first scenario the agents can obtain their rotations and angular velocities relative to an inertial reference frame and transmit these information to their neighbors,while in the second scenario the agents can only obtain their own angular velocities and measure the relative rotations and relative angular velocities of their neighbors.By using rotation vectors and the high gain control,the authors provide torque control laws asymptotically synchronizing the rotations of the system almost globally for the first scenario and with initial rotations of the agents contained in a convex ball of SO(3)for the second scenario.An illustrative example is provided to show the synchronization results for both scenarios.展开更多
In this paper, we use center manifold theory to give a new result aboutthe stabilization of nonlinear systems. First an illustrative example is given to show ourmotivation. Then the main result by means of center mani...In this paper, we use center manifold theory to give a new result aboutthe stabilization of nonlinear systems. First an illustrative example is given to show ourmotivation. Then the main result by means of center manifold and homogeneous stabilityis proposed, and its application to a generalized form without the usual relative degreebecause of singularity is given.展开更多
Telerobotic systems become more and more important due to emerging hi-technologyand practical requirement in modern society. This paper studies+ and integrates the modeling, taskscheduling, action planning and control...Telerobotic systems become more and more important due to emerging hi-technologyand practical requirement in modern society. This paper studies+ and integrates the modeling, taskscheduling, action planning and control of telerobot systems. Such hybrid syStems often involve coalmunication, command and control, and are so complex that no efficient and simple method could befound to analyze and design systems. To increase the efficiency, reliability and safety oftelrobot syStems,the consideration of task scheduling and action planning in a unified framework could be an importantstep. The discrete-event dynamics is modeled as a linear state-spare equation in Mad-Algebra sense.Performance evaluation can be carried out efficiently. Then analysis about time-delay continuous-timedynamics is given for the scheduling and control, which shows that, to simplify the design procedure,it is necessary to present a good delay scheduling, for example, by changing multi-time-delays to singleones in advance. Robustness conditions are derived using graph theory for dipcrete-event dynamics andmatrix analysis for continuous-time dynamics.展开更多
基金supported by the National Key Research and Development Program of China under Grant No.2022YFA1004700the National Natural Science Foundation of China under Grant No.62173250Shanghai Municipal Science and Technology Major Project under Grant No.2021SHZDZX0100.
文摘This paper focuses on the performance of equalizer zero-determinant(ZD)strategies in discounted repeated Stackelberg asymmetric games.In the leader-follower adversarial scenario,the strong Stackelberg equilibrium(SSE)deriving from the opponents’best response(BR),is technically the optimal strategy for the leader.However,computing an SSE strategy may be difficult since it needs to solve a mixed-integer program and has exponential complexity in the number of states.To this end,the authors propose an equalizer ZD strategy,which can unilaterally restrict the opponent’s expected utility.The authors first study the existence of an equalizer ZD strategy with one-to-one situations,and analyze an upper bound of its performance with the baseline SSE strategy.Then the authors turn to multi-player models,where there exists one player adopting an equalizer ZD strategy.The authors give bounds of the weighted sum of opponents’s utilities,and compare it with the SSE strategy.Finally,the authors give simulations on unmanned aerial vehicles(UAVs)and the moving target defense(MTD)to verify the effectiveness of the proposed approach.
基金supported by the National Natural Science Foundation of China under Grant No.61174071
文摘This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control.Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure.Then sufficient condition for the feedback control case is obtained,and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations.Numerical examples are also provided to illustrate the proposed control design.
基金supported by the National Key Research and Development Program of China under Grant No.2016YFB0901902the National Natural Science Foundation of China under Grant Nos.61573344,61603378,61621063,and 61781340258+1 种基金Beijing Natural Science Foundation under Grant No.4152057Projects of Major International(Regional)Joint Research Program NSFC under Grant No.61720106011
基金supported by the National Key Research and Development Program of China under Grant No.2016YFB0901902the National Natural Science Foundation of China under Grant Nos.61573344,61333001,61733018,and 61374168
基金supported by Beijing Natural Science Foundation under Grant No.4152057973 program(2014CB845301/2/3)
文摘This paper addresses attitude synchronization problems for systems of multiple rigid-body agents with directed interconnection topologies.Two scenarios which differ in available information are considered.In the first scenario the agents can obtain their rotations and angular velocities relative to an inertial reference frame and transmit these information to their neighbors,while in the second scenario the agents can only obtain their own angular velocities and measure the relative rotations and relative angular velocities of their neighbors.By using rotation vectors and the high gain control,the authors provide torque control laws asymptotically synchronizing the rotations of the system almost globally for the first scenario and with initial rotations of the agents contained in a convex ball of SO(3)for the second scenario.An illustrative example is provided to show the synchronization results for both scenarios.
文摘In this paper, we use center manifold theory to give a new result aboutthe stabilization of nonlinear systems. First an illustrative example is given to show ourmotivation. Then the main result by means of center manifold and homogeneous stabilityis proposed, and its application to a generalized form without the usual relative degreebecause of singularity is given.
文摘Telerobotic systems become more and more important due to emerging hi-technologyand practical requirement in modern society. This paper studies+ and integrates the modeling, taskscheduling, action planning and control of telerobot systems. Such hybrid syStems often involve coalmunication, command and control, and are so complex that no efficient and simple method could befound to analyze and design systems. To increase the efficiency, reliability and safety oftelrobot syStems,the consideration of task scheduling and action planning in a unified framework could be an importantstep. The discrete-event dynamics is modeled as a linear state-spare equation in Mad-Algebra sense.Performance evaluation can be carried out efficiently. Then analysis about time-delay continuous-timedynamics is given for the scheduling and control, which shows that, to simplify the design procedure,it is necessary to present a good delay scheduling, for example, by changing multi-time-delays to singleones in advance. Robustness conditions are derived using graph theory for dipcrete-event dynamics andmatrix analysis for continuous-time dynamics.