In this paper,the strong structural controllability of the leader-follower framework is discussed.Firstly,the authors analyze different edge augmentation methods to preserve the strong structural controllability of th...In this paper,the strong structural controllability of the leader-follower framework is discussed.Firstly,the authors analyze different edge augmentation methods to preserve the strong structural controllability of the path-bud topology.The following four cases are considered:Adding edges from the path to the bud;adding edges from the bud to the path;adding the reverse or forward edges to the path or bud;and adding both the reverse and forward edges to the path or bud.Then sufficient conditions are derived for the strong structural controllability of the new topologies which are generated by adding different edges.In addition,it is proved that rank[A B]=n is a necessary condition for the strong structural controllability.Finally,three examples are given to verify the effectiveness of the main results.展开更多
In this paper,the authors define the strong (weak) exact boundary controllability and the strong (weak) exact boundary observability for first order quasilinear hyperbolic systems,and study their properties and the re...In this paper,the authors define the strong (weak) exact boundary controllability and the strong (weak) exact boundary observability for first order quasilinear hyperbolic systems,and study their properties and the relationship between them.展开更多
This paper addresses the leader selection problem for strong structural controllability(SSC)of multi-agent systems(MASs). For a path-bud graph, it is proved that only one leader is required to guarantee the SSC of MAS...This paper addresses the leader selection problem for strong structural controllability(SSC)of multi-agent systems(MASs). For a path-bud graph, it is proved that only one leader is required to guarantee the SSC of MASs. For a special type of topologies, based on the partition of the topology into disjoint pathes and path-buds, it is proved that the MASs is strongly structurally controllable if the root nodes of the pathes are selected as leaders. For general topologies, an algorithm is provided to determine the agents that can behave as leaders. For some special topologies, the minimum number of leaders guaranteeing the robust strong structural controllability(RSSC) of MASs is also obtained.Two examples are given to verify the effectiveness of the results.展开更多
Abstract This paper describes the dynamic behavior of extended timed event graphs related to place delay in the dioid framework. By Cofer and Garg's supervisory control theory^|3|, we address control problems of e...Abstract This paper describes the dynamic behavior of extended timed event graphs related to place delay in the dioid framework. By Cofer and Garg's supervisory control theory^|3|, we address control problems of extended timed events graphs. Supervisory control of extended timed event graphs (a class of discrete event dynamic systems) is studied in the dioid framework, a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable is presented. We prove all the strongly controllable subsets can form a complete lattice.展开更多
基金supported by the National Natural Science Foundation of China under Grant Nos. 61873136 and 62033007Taishan Scholars Climbing Program of Shandong Province of ChinaTaishan Scholars Project of Shandong Province of China under Grant No. ts20190930
文摘In this paper,the strong structural controllability of the leader-follower framework is discussed.Firstly,the authors analyze different edge augmentation methods to preserve the strong structural controllability of the path-bud topology.The following four cases are considered:Adding edges from the path to the bud;adding edges from the bud to the path;adding the reverse or forward edges to the path or bud;and adding both the reverse and forward edges to the path or bud.Then sufficient conditions are derived for the strong structural controllability of the new topologies which are generated by adding different edges.In addition,it is proved that rank[A B]=n is a necessary condition for the strong structural controllability.Finally,three examples are given to verify the effectiveness of the main results.
基金supported by the Basic Research Program of China(No. 2007CB814800)
文摘In this paper,the authors define the strong (weak) exact boundary controllability and the strong (weak) exact boundary observability for first order quasilinear hyperbolic systems,and study their properties and the relationship between them.
基金supported by the National Natural Science Foundation of China under Grant Nos.61573105,61473081,61273110the Natural Science Foundation of Jiangsu Province under Grant No.BK20141341
文摘This paper addresses the leader selection problem for strong structural controllability(SSC)of multi-agent systems(MASs). For a path-bud graph, it is proved that only one leader is required to guarantee the SSC of MASs. For a special type of topologies, based on the partition of the topology into disjoint pathes and path-buds, it is proved that the MASs is strongly structurally controllable if the root nodes of the pathes are selected as leaders. For general topologies, an algorithm is provided to determine the agents that can behave as leaders. For some special topologies, the minimum number of leaders guaranteeing the robust strong structural controllability(RSSC) of MASs is also obtained.Two examples are given to verify the effectiveness of the results.
基金Supported by National Key Project of China and the National Sciences Foundation of China (Graot No.69874040).
文摘Abstract This paper describes the dynamic behavior of extended timed event graphs related to place delay in the dioid framework. By Cofer and Garg's supervisory control theory^|3|, we address control problems of extended timed events graphs. Supervisory control of extended timed event graphs (a class of discrete event dynamic systems) is studied in the dioid framework, a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable is presented. We prove all the strongly controllable subsets can form a complete lattice.
