Pub Date : 2024-03-21DOI: 10.1134/S0005117923120068
V. N. Tkhai
This paper considers the set of reversible mechanical systems with single-period oscillations and individual phase shifts in them. The problem of aggregating a coupled system with an attracting cycle is solved. The approach developed below is to choose a leader (control) system that acts on the other (follower) systems through one-way coupling control: in an aggregated system, there are no links between follower systems. Universal coupling controls are used. Particular attention is paid to conservative systems. Possible scenarios for the operation of the aggregated system are presented.
{"title":"An Attracting Cycle in a Coupled Mechanical System with Phase Shifts in Subsystem Oscillations","authors":"V. N. Tkhai","doi":"10.1134/S0005117923120068","DOIUrl":"10.1134/S0005117923120068","url":null,"abstract":"<p>This paper considers the set of reversible mechanical systems with single-period oscillations and individual phase shifts in them. The problem of aggregating a coupled system with an attracting cycle is solved. The approach developed below is to choose a leader (control) system that acts on the other (follower) systems through one-way coupling control: in an aggregated system, there are no links between follower systems. Universal coupling controls are used. Particular attention is paid to conservative systems. Possible scenarios for the operation of the aggregated system are presented.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 12","pages":"1312 - 1320"},"PeriodicalIF":0.6,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140201165","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}
Pub Date : 2024-03-21DOI: 10.1134/S0005117923120081
I. B. Yadykin, I. A. Galyaev
For linear multivariable continuous stationary stable control systems with a simple spectrum, presented in the form of a canonical diagonal form, controllability and observability forms, a method was developed and analytical formulas for spectral decompositions of gramians in the form of various Xiao matrices were obtained. A method and algorithm for calculating generalized Xiao matrices in the form of the Hadamard product for multiply connected continuous linear systems with many inputs and many outputs have been developed. This allows us to calculate the elements of the corresponding controllability and observability gramians in the form of products of the corresponding elements of the multiplier matrices and a matrix that is the sum of all possible products of the numerator matrices of the matrix transfer function of the system. New results are obtained in the form of spectral and singular decompositions of the inverse gramians of controllability and observability. This makes it possible to obtain invariant decompositions of energy functionals and formulate new criteria for the stability of linear systems taking into account the nonlinear effects of mode interaction.
{"title":"Structural Spectral Methods for Solving Continuous Lyapunov Equations","authors":"I. B. Yadykin, I. A. Galyaev","doi":"10.1134/S0005117923120081","DOIUrl":"10.1134/S0005117923120081","url":null,"abstract":"<p>For linear multivariable continuous stationary stable control systems with a simple spectrum, presented in the form of a canonical diagonal form, controllability and observability forms, a method was developed and analytical formulas for spectral decompositions of gramians in the form of various Xiao matrices were obtained. A method and algorithm for calculating generalized Xiao matrices in the form of the Hadamard product for multiply connected continuous linear systems with many inputs and many outputs have been developed. This allows us to calculate the elements of the corresponding controllability and observability gramians in the form of products of the corresponding elements of the multiplier matrices and a matrix that is the sum of all possible products of the numerator matrices of the matrix transfer function of the system. New results are obtained in the form of spectral and singular decompositions of the inverse gramians of controllability and observability. This makes it possible to obtain invariant decompositions of energy functionals and formulate new criteria for the stability of linear systems taking into account the nonlinear effects of mode interaction.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 12","pages":"1259 - 1274"},"PeriodicalIF":0.6,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140201174","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}
Pub Date : 2024-03-21DOI: 10.1134/S0005117923120056
A. V. Shchepkin
This paper is devoted to the blended (joint) finance mechanism of a megaproject consisting of several projects. One part of the megaproject budget comes from the megaproject manager and the other part from project contractors. When distributing this budget, the megaproject manager considers information about the amount of the contractor’s internal funds allocated to project implementation. Project contractors seek to get more funds from the megaproject manager; in turn, the megaproject manager is interested in attracting more funds from project contractors. To achieve this goal, the megaproject manager applies different procedures to distribute the budget. Project contractors use the information reported to the megaproject manager to increase the funds allocated to them. Straight and reverse priority distribution procedures in the blended finance mechanism are analyzed. A distribution procedure is determined that stimulates project contractors to allocate more of their internal funds to the project in a Nash equilibrium.
{"title":"Comparison of Distribution Procedures in Blended Finance","authors":"A. V. Shchepkin","doi":"10.1134/S0005117923120056","DOIUrl":"10.1134/S0005117923120056","url":null,"abstract":"<p>This paper is devoted to the blended (joint) finance mechanism of a megaproject consisting of several projects. One part of the megaproject budget comes from the megaproject manager and the other part from project contractors. When distributing this budget, the megaproject manager considers information about the amount of the contractor’s internal funds allocated to project implementation. Project contractors seek to get more funds from the megaproject manager; in turn, the megaproject manager is interested in attracting more funds from project contractors. To achieve this goal, the megaproject manager applies different procedures to distribute the budget. Project contractors use the information reported to the megaproject manager to increase the funds allocated to them. Straight and reverse priority distribution procedures in the blended finance mechanism are analyzed. A distribution procedure is determined that stimulates project contractors to allocate more of their internal funds to the project in a Nash equilibrium.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 12","pages":"1302 - 1311"},"PeriodicalIF":0.6,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140201005","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}
Pub Date : 2024-03-21DOI: 10.1134/S000511792312007X
A. D. Tsvirkun, A. F. Rezchikov, V. A. Kushnikov, O. I. Dranko, A. S. Bogomolov, A. D. Selyutin
Models and methods have been developed to verify the achievability of goals and the feasibility of plans implemented when managing large-scale systems in their development. An algorithm for analyzing the achievability of a set of goals and plans implemented when managing these systems is proposed and justified. Statements and hypotheses that make it possible to machine-check the feasibility of plans have been generated. A model example is given that confirms the possibility of checking the feasibility of plans for eliminating the consequences of a flood using the developed models and methods. In managing large-scale systems development, it is advisable to use control loops that check the achievability of set goals and the feasibility of plans over a selected time interval. In the absence of this verification, the chosen trajectory of development of a large-scale system at specific points in time may turn out to be unrealizable, which will lead to disruption of the work being carried out, as well as to significant costs of the human, financial, technical and other types of resources for the implementation of obviously impracticable plans.
{"title":"Models and Methods for Checking the Attainability of Goals and Feasibility of Plans in Large-Scale Systems Using the Example of Goals and Plans for Elimination of the Consequences of Flood","authors":"A. D. Tsvirkun, A. F. Rezchikov, V. A. Kushnikov, O. I. Dranko, A. S. Bogomolov, A. D. Selyutin","doi":"10.1134/S000511792312007X","DOIUrl":"10.1134/S000511792312007X","url":null,"abstract":"<p>Models and methods have been developed to verify the achievability of goals and the feasibility of plans implemented when managing large-scale systems in their development. An algorithm for analyzing the achievability of a set of goals and plans implemented when managing these systems is proposed and justified. Statements and hypotheses that make it possible to machine-check the feasibility of plans have been generated. A model example is given that confirms the possibility of checking the feasibility of plans for eliminating the consequences of a flood using the developed models and methods. In managing large-scale systems development, it is advisable to use control loops that check the achievability of set goals and the feasibility of plans over a selected time interval. In the absence of this verification, the chosen trajectory of development of a large-scale system at specific points in time may turn out to be unrealizable, which will lead to disruption of the work being carried out, as well as to significant costs of the human, financial, technical and other types of resources for the implementation of obviously impracticable plans.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 12","pages":"1283 - 1293"},"PeriodicalIF":0.6,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140201075","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}
Pub Date : 2024-03-21DOI: 10.1134/S0005117923120093
A. N. Zhirabok, A. V. Zuev
This paper proposes a method for diagnosing linear dynamic systems described by discrete-time models with exogenous disturbances based on interval observers. Formulas are derived to construct an interval observer producing two values of the residual as follows: if zero is between these values, then the system has no faults to be detected by the observer. The case where zero does not belong to the interval between these values is qualified as the occurrence of a fault. The theoretical results are illustrated by an example.
{"title":"An Interval Observer-Based Method to Diagnose Discrete-Time Systems","authors":"A. N. Zhirabok, A. V. Zuev","doi":"10.1134/S0005117923120093","DOIUrl":"10.1134/S0005117923120093","url":null,"abstract":"<p>This paper proposes a method for diagnosing linear dynamic systems described by discrete-time models with exogenous disturbances based on interval observers. Formulas are derived to construct an interval observer producing two values of the residual as follows: if zero is between these values, then the system has no faults to be detected by the observer. The case where zero does not belong to the interval between these values is qualified as the occurrence of a fault. The theoretical results are illustrated by an example.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 12","pages":"1321 - 1330"},"PeriodicalIF":0.6,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140205560","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}
Pub Date : 2024-03-05DOI: 10.1134/S0005117923110085
A. N. Zhirabok, A. V. Zuev, V. F. Filaretov, A. E. Shumsky, Kim Chkhun Ir
In this paper, interval observers are designed for linear dynamic systems described by continuous-time models with exogenous disturbances, measurement noises, and parametric uncertainties. Jordan canonical form-based relations are presented for an interval observer that estimates the set of admissible values of a given linear function of the system state vector. The theoretical results are illustrated by a practical example.
{"title":"Interval Observers for Continuous-Time Systems with Parametric Uncertainties","authors":"A. N. Zhirabok, A. V. Zuev, V. F. Filaretov, A. E. Shumsky, Kim Chkhun Ir","doi":"10.1134/S0005117923110085","DOIUrl":"10.1134/S0005117923110085","url":null,"abstract":"<p>In this paper, interval observers are designed for linear dynamic systems described by continuous-time models with exogenous disturbances, measurement noises, and parametric uncertainties. Jordan canonical form-based relations are presented for an interval observer that estimates the set of admissible values of a given linear function of the system state vector. The theoretical results are illustrated by a practical example.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 11","pages":"1137 - 1147"},"PeriodicalIF":0.6,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140045840","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}
Pub Date : 2024-03-05DOI: 10.1134/S0005117923110048
A. I. Glushchenko, K. A. Lastochkin
A state-feedback adaptive control system is proposed for a class of linear systems in the controllable canonical form with time-varying unknown parameters described by known nonstationary exosystems with unknown initial conditions. The solution ensures global exponential stability of the closed-loop system in case a regressor is finitely exciting, and also does not require a priori information about the sign of the high-frequency gain (control direction). The obtained theoretical results are validated via mathematical modeling.
{"title":"Exponentially Stable Adaptive Control. Part III. Time-Varying Plants","authors":"A. I. Glushchenko, K. A. Lastochkin","doi":"10.1134/S0005117923110048","DOIUrl":"10.1134/S0005117923110048","url":null,"abstract":"<p>A state-feedback adaptive control system is proposed for a class of linear systems in the controllable canonical form with time-varying unknown parameters described by known nonstationary exosystems with unknown initial conditions. The solution ensures global exponential stability of the closed-loop system in case a regressor is finitely exciting, and also does not require <i>a priori</i> information about the sign of the high-frequency gain (control direction). The obtained theoretical results are validated via mathematical modeling.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 11","pages":"1232 - 1247"},"PeriodicalIF":0.6,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140045842","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}
Pub Date : 2024-03-05DOI: 10.1134/S0005117923110073
S. N. Stepanov, M. S. Stepanov
A mathematical model of joint servicing of priority real-time traffic and elastic data traffic in multiservice access nodes has been constructed and studied. Definitions of quality indicators for joint servicing of incoming requests for information services are provided. A system of statistical equilibrium equations is formed and its use for calculating the exact values of the introduced characteristics is considered. A method for approximate calculation of characteristics is proposed, based on the construction of a system of simplified equilibrium equations. It has been established that the obtained estimates of customer service indicators are asymptotically accurate in the region of large and small losses. The use of the developed method is shown to solve the problem of estimating the volume of traffic offloaded in an overload situation to other access nodes or to other frequency ranges in order to achieve values of specified QoS indicators and to solve the problem of planning the volume of required transmission resource of a multiservice access node.
{"title":"Approximate Method for Estimating Characteristics of Joint Service of Real-Time Traffic and Elastic Data Traffic in Multiservice Access Nodes","authors":"S. N. Stepanov, M. S. Stepanov","doi":"10.1134/S0005117923110073","DOIUrl":"10.1134/S0005117923110073","url":null,"abstract":"<p>A mathematical model of joint servicing of priority real-time traffic and elastic data traffic in multiservice access nodes has been constructed and studied. Definitions of quality indicators for joint servicing of incoming requests for information services are provided. A system of statistical equilibrium equations is formed and its use for calculating the exact values of the introduced characteristics is considered. A method for approximate calculation of characteristics is proposed, based on the construction of a system of simplified equilibrium equations. It has been established that the obtained estimates of customer service indicators are asymptotically accurate in the region of large and small losses. The use of the developed method is shown to solve the problem of estimating the volume of traffic offloaded in an overload situation to other access nodes or to other frequency ranges in order to achieve values of specified QoS indicators and to solve the problem of planning the volume of required transmission resource of a multiservice access node.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 11","pages":"1191 - 1207"},"PeriodicalIF":0.6,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140045926","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}
Pub Date : 2024-03-05DOI: 10.1134/S0005117923110024
I. B. Furtat
This paper considers a class of systems called density systems. For such systems, the derivative of a quadratic function depends on some function termed the density function. The latter function is used to define the properties of the space affecting the behavior of the systems under consideration. The role of density systems in control law design is shown. Control systems are constructed for plants with known and unknown parameters. The theoretical results are illustrated by numerical simulation.
{"title":"Density Systems: Analysis and Control","authors":"I. B. Furtat","doi":"10.1134/S0005117923110024","DOIUrl":"10.1134/S0005117923110024","url":null,"abstract":"<p>This paper considers a class of systems called density systems. For such systems, the derivative of a quadratic function depends on some function termed the density function. The latter function is used to define the properties of the space affecting the behavior of the systems under consideration. The role of density systems in control law design is shown. Control systems are constructed for plants with known and unknown parameters. The theoretical results are illustrated by numerical simulation.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 11","pages":"1175 - 1190"},"PeriodicalIF":0.6,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140045664","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}
Pub Date : 2024-03-05DOI: 10.1134/S0005117923110061
A. A. Shcheglova
This paper considers linear differential-algebraic equations (DAEs) representing a system of ordinary differential equations with an identically singular matrix at the derivative in the domain of its definition. The matrix coefficients of DAEs are assumed to depend on the uncertain parameters belonging to a given admissible set. For the parametric family under consideration, structural forms with separate differential and algebraic parts are built. As is demonstrated below, the robust stability of the DAE family is equivalent to the robust stability of its differential subsystem. For the structure of perturbations, sufficient conditions are established under which the separation of DAEs into the algebraic and differential components preserves the original type of functional dependence on the uncertain parameters. Sufficient conditions for robust stability are obtained by constructing a quadratic Lyapunov function.
{"title":"Robust Stability of Differential-Algebraic Equations under Parametric Uncertainty","authors":"A. A. Shcheglova","doi":"10.1134/S0005117923110061","DOIUrl":"10.1134/S0005117923110061","url":null,"abstract":"<p>This paper considers linear differential-algebraic equations (DAEs) representing a system of ordinary differential equations with an identically singular matrix at the derivative in the domain of its definition. The matrix coefficients of DAEs are assumed to depend on the uncertain parameters belonging to a given admissible set. For the parametric family under consideration, structural forms with separate differential and algebraic parts are built. As is demonstrated below, the robust stability of the DAE family is equivalent to the robust stability of its differential subsystem. For the structure of perturbations, sufficient conditions are established under which the separation of DAEs into the algebraic and differential components preserves the original type of functional dependence on the uncertain parameters. Sufficient conditions for robust stability are obtained by constructing a quadratic Lyapunov function.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":"84 11","pages":"1148 - 1160"},"PeriodicalIF":0.6,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140045781","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}