This paper deals with the pairwise synchronization of second-order linear time invariant (LTI) systems with incommensurable outputs through a matrix-weighted graph. The pairwise synchronization here means that the relative outputs have pairwise synchronized solutions for the identical LTI systems. For the matrix-weighted network, some necessary and sufficient conditions on the pairwise synchronization are given by means of the Jordan form, matrix decomposition and effective conductance. Moreover, the relationship between the global synchronization and the connectivity of its interconnection graph is also discussed. Examples and simulations are shown to verify the theoretical results.
{"title":"Pairwise synchronization of second-order matrix-weighted networks","authors":"Pengchao Lv, Bo Liu, Junjie Huang","doi":"10.1093/imamci/dnae026","DOIUrl":"https://doi.org/10.1093/imamci/dnae026","url":null,"abstract":"This paper deals with the pairwise synchronization of second-order linear time invariant (LTI) systems with incommensurable outputs through a matrix-weighted graph. The pairwise synchronization here means that the relative outputs have pairwise synchronized solutions for the identical LTI systems. For the matrix-weighted network, some necessary and sufficient conditions on the pairwise synchronization are given by means of the Jordan form, matrix decomposition and effective conductance. Moreover, the relationship between the global synchronization and the connectivity of its interconnection graph is also discussed. Examples and simulations are shown to verify the theoretical results.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"4 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142218312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Shuzhan Zhang, Jia Li, Dongya Zhao, Sarah K Spurgeon
This paper proposes a distributed economic model predictive control algorithm for parallel systems which uses only output feedback. Such parallel systems are a fundamental system architecture frequently encountered in process networks where, in many cases, the state of the plant is not measurable. Economic performance is a key consideration in the operation of such industrial plants and it is of interest to develop theoretically rigorous approaches to tackle what is a practically very relevant scenario. The competitive couplings and competitive constraints inherent in parallel systems are explicitly addressed in the proposed controller design framework. Three measures are considered for optimization of such parallel systems including an economic stage cost function, energy efficiency and tracking accuracy. An economic cost function is optimized by the resulting distributed controller which can realize global control performance while also reducing the computational time for large-scale parallel systems. Stability of the system is formally proved using the principles of dissipativity. Finally, the effectiveness of the proposed theoretical approach is verified by both numerical simulation and experimentation to demonstrate practical relevance.
{"title":"Output feedback distributed economic model predictive control for parallel system in process networks","authors":"Shuzhan Zhang, Jia Li, Dongya Zhao, Sarah K Spurgeon","doi":"10.1093/imamci/dnae025","DOIUrl":"https://doi.org/10.1093/imamci/dnae025","url":null,"abstract":"This paper proposes a distributed economic model predictive control algorithm for parallel systems which uses only output feedback. Such parallel systems are a fundamental system architecture frequently encountered in process networks where, in many cases, the state of the plant is not measurable. Economic performance is a key consideration in the operation of such industrial plants and it is of interest to develop theoretically rigorous approaches to tackle what is a practically very relevant scenario. The competitive couplings and competitive constraints inherent in parallel systems are explicitly addressed in the proposed controller design framework. Three measures are considered for optimization of such parallel systems including an economic stage cost function, energy efficiency and tracking accuracy. An economic cost function is optimized by the resulting distributed controller which can realize global control performance while also reducing the computational time for large-scale parallel systems. Stability of the system is formally proved using the principles of dissipativity. Finally, the effectiveness of the proposed theoretical approach is verified by both numerical simulation and experimentation to demonstrate practical relevance.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"99 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141947450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Linear differential systems, as it is known, are parameterized by means of polynomial matrices. Introducing appropriate topologies, it is shown that this parametrization becomes a quotient map.
{"title":"Continuous dependence of linear differential systems on polynomial matrices","authors":"Vakhtang Lomadze","doi":"10.1093/imamci/dnae019","DOIUrl":"https://doi.org/10.1093/imamci/dnae019","url":null,"abstract":"Linear differential systems, as it is known, are parameterized by means of polynomial matrices. Introducing appropriate topologies, it is shown that this parametrization becomes a quotient map.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"1 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, based on the partition technique, we use Meixner and Krawtchouk polynomials to present an input-independent model order reduction method. Our main contributions are twofold. First, the explicit difference relations of Meixner polynomials and Krawtchouk polynomials are expressed in an unified form. The parallel computation is carried out on the partitioned subsystems using the Krylov subspaces by which one can generate reduced systems independent of the expansion coefficients of input and can save the computation time. Second, a parallel adaptive enrichment strategy is used to choose the reduced order of reduced systems. Theoretical analysis shows that the proposed method characterizes the property of invariable coefficients. Finally, two numerical examples demonstrate that the proposed method achieves good reduction results in terms of accuracy and reduced CPU time.
{"title":"Model order reduction in parallel of discrete-time linear systems based on Meixner and Krawtchouk polynomials","authors":"Kang-Li Xu, Zhen Li, Yao-Lin Jiang, Li Li","doi":"10.1093/imamci/dnae018","DOIUrl":"https://doi.org/10.1093/imamci/dnae018","url":null,"abstract":"In this paper, based on the partition technique, we use Meixner and Krawtchouk polynomials to present an input-independent model order reduction method. Our main contributions are twofold. First, the explicit difference relations of Meixner polynomials and Krawtchouk polynomials are expressed in an unified form. The parallel computation is carried out on the partitioned subsystems using the Krylov subspaces by which one can generate reduced systems independent of the expansion coefficients of input and can save the computation time. Second, a parallel adaptive enrichment strategy is used to choose the reduced order of reduced systems. Theoretical analysis shows that the proposed method characterizes the property of invariable coefficients. Finally, two numerical examples demonstrate that the proposed method achieves good reduction results in terms of accuracy and reduced CPU time.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"14 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501073","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Shanggen Wu, Yuanzhen Feng, Ziyang Wang, Zhengxin Wang
The leader-following consensus problem of second-order heterogeneous nonlinear multi-agent systems (MASs) is studied in this paper. Based on the free-will arbitrary time (FWAT) theory, a piecewise distributed controller is developed to solve this problem within an arbitrary pre-specified convergence time. It should be noted that the pre-specified convergence time is independent of any system parameters and initial conditions. Furthermore, compared with the existing FWAT methods, consensus can still be maintained after the convergence time under the protocol designed in this work. Finally, numerical examples are given to illustrate the validity of the proposed method.
{"title":"Leader-following consensus of heterogeneous nonlinear multi-agent systems within arbitrary pre-specified time","authors":"Shanggen Wu, Yuanzhen Feng, Ziyang Wang, Zhengxin Wang","doi":"10.1093/imamci/dnae016","DOIUrl":"https://doi.org/10.1093/imamci/dnae016","url":null,"abstract":"The leader-following consensus problem of second-order heterogeneous nonlinear multi-agent systems (MASs) is studied in this paper. Based on the free-will arbitrary time (FWAT) theory, a piecewise distributed controller is developed to solve this problem within an arbitrary pre-specified convergence time. It should be noted that the pre-specified convergence time is independent of any system parameters and initial conditions. Furthermore, compared with the existing FWAT methods, consensus can still be maintained after the convergence time under the protocol designed in this work. Finally, numerical examples are given to illustrate the validity of the proposed method.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"2 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141063583","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
El Mustapha Ait Ben Hassi, Mariem Jakhoukh, Lahcen Maniar, Walid Zouhair
The primary focus of this paper is to establish the internal null controllability for the one-dimensional heat equation featuring dynamic boundary conditions. This achievement is realized by introducing a new Carleman estimate and an observability inequality for the corresponding backward system. In conclusion, the paper includes a set of numerical experiments that serve to confirm the validity of the theoretical findings and underscore the effectiveness of the designed control with a minimal $L^{2}$-norm.
{"title":"Internal null controllability for the one-dimensional heat equation with dynamic boundary conditions","authors":"El Mustapha Ait Ben Hassi, Mariem Jakhoukh, Lahcen Maniar, Walid Zouhair","doi":"10.1093/imamci/dnae015","DOIUrl":"https://doi.org/10.1093/imamci/dnae015","url":null,"abstract":"The primary focus of this paper is to establish the internal null controllability for the one-dimensional heat equation featuring dynamic boundary conditions. This achievement is realized by introducing a new Carleman estimate and an observability inequality for the corresponding backward system. In conclusion, the paper includes a set of numerical experiments that serve to confirm the validity of the theoretical findings and underscore the effectiveness of the designed control with a minimal $L^{2}$-norm.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"11 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140832407","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The paper explores an optimal control problem concerning transport processes in a porous medium. The transport phenomena is governed by diffusion-reaction equations, which is basically a semi-linear parabolic system. An $L^{2}$-cost (energy) functional is introduced, and control (distributed) is applied in the porous part of the medium. The primary objective is to characterize a given control to be an optimal control and analyse the relationship between optimal control and the adjoint state. The analysis commences with the microscopic description of the controlled system followed by upscaling the system via periodic homogenization.
{"title":"Existence of solution for an optimal control problem in a heterogeneous porous medium","authors":"A Kundu, H S Mahato","doi":"10.1093/imamci/dnae011","DOIUrl":"https://doi.org/10.1093/imamci/dnae011","url":null,"abstract":"The paper explores an optimal control problem concerning transport processes in a porous medium. The transport phenomena is governed by diffusion-reaction equations, which is basically a semi-linear parabolic system. An $L^{2}$-cost (energy) functional is introduced, and control (distributed) is applied in the porous part of the medium. The primary objective is to characterize a given control to be an optimal control and analyse the relationship between optimal control and the adjoint state. The analysis commences with the microscopic description of the controlled system followed by upscaling the system via periodic homogenization.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"2016 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140583128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The main contribution of this paper is the development of $H_{infty }$ state and unknown input (UI) observers for noisy linear parameter-varying (LPV) systems. The observers are constructed in order to be unbiased (in particular the state estimation error is decoupled from the UI) and with a minimum $L_{2}$ transfer between the perturbations (that are assumed to be with finite energy) and the estimation errors. Contrary to equivalent observers developed in the literature, the present one relaxes a widely used rank condition on the system matrices for decoupling the UI. In order to do so, high-order derivation is needed, which is done using a high-order sliding modes differentiator. A method is given to design observer gains for LPV systems under polytopic form. Finally, three examples illustrate some aspects of the theoretical contributions, and compare this work to the existing ones.
{"title":"A new H∞ observer for continuous LPV systems with unknown inputs using an HOSM differentiator","authors":"Luc Meyer","doi":"10.1093/imamci/dnae008","DOIUrl":"https://doi.org/10.1093/imamci/dnae008","url":null,"abstract":"The main contribution of this paper is the development of $H_{infty }$ state and unknown input (UI) observers for noisy linear parameter-varying (LPV) systems. The observers are constructed in order to be unbiased (in particular the state estimation error is decoupled from the UI) and with a minimum $L_{2}$ transfer between the perturbations (that are assumed to be with finite energy) and the estimation errors. Contrary to equivalent observers developed in the literature, the present one relaxes a widely used rank condition on the system matrices for decoupling the UI. In order to do so, high-order derivation is needed, which is done using a high-order sliding modes differentiator. A method is given to design observer gains for LPV systems under polytopic form. Finally, three examples illustrate some aspects of the theoretical contributions, and compare this work to the existing ones.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"21 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140302631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper deals with a hierarchical control problem for the heat equation with dynamic boundary conditions. The main goal consists of letting the state near from a prescribed target in a fixed observation region. The secondary objective is the null controllability. In other words, we reverse the roles of the leader and the follower addressed in the recent article. For this purpose, we combine some appropriate Carleman estimates and the Stackelberg strategy. We also extend our study for hierarchical-biobjective problems by applying the Stackelberg–Pareto strategy.
{"title":"Hierarchical control problem for the heat equation with dynamic boundary conditions","authors":"Omar Oukdach, Idriss Boutaayamou, Lahcen Maniar","doi":"10.1093/imamci/dnae009","DOIUrl":"https://doi.org/10.1093/imamci/dnae009","url":null,"abstract":"This paper deals with a hierarchical control problem for the heat equation with dynamic boundary conditions. The main goal consists of letting the state near from a prescribed target in a fixed observation region. The secondary objective is the null controllability. In other words, we reverse the roles of the leader and the follower addressed in the recent article. For this purpose, we combine some appropriate Carleman estimates and the Stackelberg strategy. We also extend our study for hierarchical-biobjective problems by applying the Stackelberg–Pareto strategy.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"45 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140302797","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Based on dissipativity theory, the consensus via iterative learning control (ILC) is investigated for P-one-sided Lipschitz (P-OSL) nonlinear multi-agent systems (MASs). This paper only considers the P-OSL condition without using the quadratically inner-bounded constraint. Firstly, the ILC protocol is designed for such nonlinear MASs. Then, the convergence conditions of the consensus algorithm under a connected communication graph are presented from the viewpoint of dissipativity. It is shown that, on a fixed finite-time interval, the proposed algorithm can achieve perfect consensus tracking. Finally, two examples are constructed to show the effectiveness of the proposed method.
{"title":"Dissipativity-based consensus for P-one-sided Lipschitz multi-agent systems via ILC","authors":"Panpan Gu, Shiji Zhao, Liping Chen, Yong Lin, Jiajia Wang, Senping Tian","doi":"10.1093/imamci/dnae007","DOIUrl":"https://doi.org/10.1093/imamci/dnae007","url":null,"abstract":"Based on dissipativity theory, the consensus via iterative learning control (ILC) is investigated for P-one-sided Lipschitz (P-OSL) nonlinear multi-agent systems (MASs). This paper only considers the P-OSL condition without using the quadratically inner-bounded constraint. Firstly, the ILC protocol is designed for such nonlinear MASs. Then, the convergence conditions of the consensus algorithm under a connected communication graph are presented from the viewpoint of dissipativity. It is shown that, on a fixed finite-time interval, the proposed algorithm can achieve perfect consensus tracking. Finally, two examples are constructed to show the effectiveness of the proposed method.","PeriodicalId":56128,"journal":{"name":"IMA Journal of Mathematical Control and Information","volume":"4 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140098563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}