This paper investigates controllability of discrete-time multi-agent systems with multiple leaders on fixed networks. The leaders are particular agents playing a part in external inputs to steer other member agents. T...This paper investigates controllability of discrete-time multi-agent systems with multiple leaders on fixed networks. The leaders are particular agents playing a part in external inputs to steer other member agents. The followers can arrive at any predetermined configuration by regulating the behaviors of the leaders. Some sufficient and necessary conditions are proposed for the controllability of discrete-time multi-agent systems with multiple leaders. Moreover, the case with isolated agents is discussed. Numerical examples and simulations are proposed to illustrate the theoretical results we established.展开更多
This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the author...This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.展开更多
This paper discusses the harmonic problems in control systems from two aspects:Oneis the harmonic control among different subsystems,and the other is the harmonic control amongmultiple inputs.Some intrinsic problems i...This paper discusses the harmonic problems in control systems from two aspects:Oneis the harmonic control among different subsystems,and the other is the harmonic control amongmultiple inputs.Some intrinsic problems in such systems are discussed.It is pointed out that somesubsystems must be unstable to stabilize the whole interconnected system by an example.Especiallyfor discrete-time multi-input systems,a necessary and sufficient condition is presented for the strictdecrease of the quadratic optimal performance index with the control input extensions.This showsan essential difference between single-input and multi-input control systems.Finally,some futureresearch directions are discussed in harmonic control of interconnected systems,allocation of multi-control inputs,fault-tolerant control,and fault-diagnosis.展开更多
基金Supported in part by the National Natural Science Foundation of China under Grant No. 61104140the Fundamental Research Funds for the Central Universities (HUST: Grant No. 2011JC055)+4 种基金the Research Fund for the Doctoral Program of Higher Education (RFDP) under Grant No. 20100142120023the Natural Science Foundation of Hubei Province of China under Grant No. 2011CDB042the Beijing Natural Science Foundation Program (1102016)the Science and Technology Development Plan Project of Beijing Education Commission(No. KM201310009011)Funding Project for Academic Human Resources Development in Institutions of Higher Learning Under the Jurisdiction of Beijing Municipality (PHR201108055)
文摘This paper investigates controllability of discrete-time multi-agent systems with multiple leaders on fixed networks. The leaders are particular agents playing a part in external inputs to steer other member agents. The followers can arrive at any predetermined configuration by regulating the behaviors of the leaders. Some sufficient and necessary conditions are proposed for the controllability of discrete-time multi-agent systems with multiple leaders. Moreover, the case with isolated agents is discussed. Numerical examples and simulations are proposed to illustrate the theoretical results we established.
基金supported by the National Basic Research Program of China under Grant No.2014CB340700the National Science and Technology Major Project of China under Grant No.2012ZX01039-004+3 种基金the National Natural Science Foundation of China under Grant Nos.91118007,11071273,61202131,11401218,cstc2012ggB40004,cstc2013jjys40001SRFDP under Grant No.20130076120010the Open Project of Shanghai Key Laboratory of Trustworthy Computing under Grant No.07dz22304201307West Light Foundation of Chinese Academy of Sciences
文摘This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.
基金supported by National Natural Science Foundation of China under Grant Nos. 90916003 and 60674093the Key Projects of Educational Ministry under Grant No. 107110
文摘This paper discusses the harmonic problems in control systems from two aspects:Oneis the harmonic control among different subsystems,and the other is the harmonic control amongmultiple inputs.Some intrinsic problems in such systems are discussed.It is pointed out that somesubsystems must be unstable to stabilize the whole interconnected system by an example.Especiallyfor discrete-time multi-input systems,a necessary and sufficient condition is presented for the strictdecrease of the quadratic optimal performance index with the control input extensions.This showsan essential difference between single-input and multi-input control systems.Finally,some futureresearch directions are discussed in harmonic control of interconnected systems,allocation of multi-control inputs,fault-tolerant control,and fault-diagnosis.
