Pub Date : 2024-02-25DOI: 10.1134/s0005117923100053
M. V. Khlebnikov
Abstract
This paper proposes a novel approach to suppressing bounded exogenous disturbances in a linear discrete-time control system by a static state- or output-feedback control law. The approach is based on reducing the original problem to a nonconvex matrix optimization problem with the gain matrix as one variable. The latter problem is solved by the gradient method; its convergence is theoretically justified for several important special cases. An example is provided to demonstrate the effectiveness of the iterative procedure proposed.
{"title":"Suppressing Exogenous Disturbances in a Discrete-Time Control System As an Optimization Problem","authors":"M. V. Khlebnikov","doi":"10.1134/s0005117923100053","DOIUrl":"https://doi.org/10.1134/s0005117923100053","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>This paper proposes a novel approach to suppressing bounded exogenous disturbances in a linear discrete-time control system by a static state- or output-feedback control law. The approach is based on reducing the original problem to a nonconvex matrix optimization problem with the gain matrix as one variable. The latter problem is solved by the gradient method; its convergence is theoretically justified for several important special cases. An example is provided to demonstrate the effectiveness of the iterative procedure proposed.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139979991","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-02-25DOI: 10.1134/s0005117923100028
A. A. Belov
Abstract
Discrete linear polytopic systems affected by random correlated stationary disturbances are considered. New numerical methods for estimating of the anisotropic norm of a polytopic system using linear matrix inequalities are proposed.
{"title":"Numerical Methods for Robust Performance Analysis of Linear Discrete-Time Polytopic Systems with Respect to Random Disturbances","authors":"A. A. Belov","doi":"10.1134/s0005117923100028","DOIUrl":"https://doi.org/10.1134/s0005117923100028","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>Discrete linear polytopic systems affected by random correlated stationary disturbances are considered. New numerical methods for estimating of the anisotropic norm of a polytopic system using linear matrix inequalities are proposed.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139979520","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-02-25DOI: 10.1134/s0005117923100065
V. V. Kul’ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov
Abstract
This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed.
{"title":"A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft","authors":"V. V. Kul’ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov","doi":"10.1134/s0005117923100065","DOIUrl":"https://doi.org/10.1134/s0005117923100065","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139979528","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-02-25DOI: 10.1134/s0005117923100089
B. A. Lagovsky, E. Ya. Rubinovich
Abstract
The problem of obtaining three-dimensional radio images of objects with increased resolution based on the use of ultra-wide-band pulse signals and new methods of their digital processing is considered. The inverse problem of reconstructing the image of a signal source with a resolution exceeding the Rayleigh criterion has been solved numerically. Mathematically, the problem is reduced to solving the Fredholm integral equation of the first kind by numerical methods based on the representation of the solution in the form of decomposition into systems of orthogonal functions. The method of selecting the systems of functions used, which increases the stability of solutions, is substantiated. Variational problems of optimizing the shape and duration of ultra-wide-band pulses have been solved, ensuring the maximum possible signal-to-noise ratio during location studies of objects with fully or partially known signal reflection characteristics. The proposed procedures make it possible to increase the range of measuring systems, and also make it possible to increase the stability of solutions to inverse problems. It is shown that the use of the developed methods for achieving super-resolution to process ultra-wideband signals dramatically improves the quality of 3D images of objects in the radio range.
{"title":"Increasing the Angular Resolution and Range of Measuring Systems Using Ultra-Wideband Signals","authors":"B. A. Lagovsky, E. Ya. Rubinovich","doi":"10.1134/s0005117923100089","DOIUrl":"https://doi.org/10.1134/s0005117923100089","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>The problem of obtaining three-dimensional radio images of objects with increased resolution based on the use of ultra-wide-band pulse signals and new methods of their digital processing is considered. The inverse problem of reconstructing the image of a signal source with a resolution exceeding the Rayleigh criterion has been solved numerically. Mathematically, the problem is reduced to solving the Fredholm integral equation of the first kind by numerical methods based on the representation of the solution in the form of decomposition into systems of orthogonal functions. The method of selecting the systems of functions used, which increases the stability of solutions, is substantiated. Variational problems of optimizing the shape and duration of ultra-wide-band pulses have been solved, ensuring the maximum possible signal-to-noise ratio during location studies of objects with fully or partially known signal reflection characteristics. The proposed procedures make it possible to increase the range of measuring systems, and also make it possible to increase the stability of solutions to inverse problems. It is shown that the use of the developed methods for achieving super-resolution to process ultra-wideband signals dramatically improves the quality of 3D images of objects in the radio range.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139979777","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 : 2023-12-21DOI: 10.1134/s0005117923090096
A. N. Ignatov
Abstract
The problem of cargoes transportation scheduling in the transport network represented by an undirected multigraph is considered. Transportations between vertices are provided at predefined time intervals. The iterative algorithm to search for a solution approximate to the optimal one by criterion value is proposed in the problem under consideration. The algorithm is constructed on the base of solutions of mixed integer linear programming problems. The applicability of the algorithm is tested by the example with more than 90 million binary variables.
{"title":"On the Algorithm of Cargoes Transportation Scheduling in the Transport Network","authors":"A. N. Ignatov","doi":"10.1134/s0005117923090096","DOIUrl":"https://doi.org/10.1134/s0005117923090096","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>The problem of cargoes transportation scheduling in the transport network represented by an undirected multigraph is considered. Transportations between vertices are provided at predefined time intervals. The iterative algorithm to search for a solution approximate to the optimal one by criterion value is proposed in the problem under consideration. The algorithm is constructed on the base of solutions of mixed integer linear programming problems. The applicability of the algorithm is tested by the example with more than 90 million binary variables.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139031158","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 : 2023-12-21DOI: 10.1134/s0005117923090059
A. A. Kabanov, A. V. Zuev, A. N. Zhirabok, V. F. Filaretov
Abstract
This paper considers the problem of identifying (estimating) faults in systems described by linear models under exogenous disturbances. It is solved using optimal control methods; in comparison with sliding mode observers, they avoid high-frequency switching. The solution method proposed below involves a reduced model of the original system that is sensitive to faults and insensitive to disturbances. The corresponding theory is illustrated by an example.
{"title":"Fault Identification: An Approach Based on Optimal Control Methods","authors":"A. A. Kabanov, A. V. Zuev, A. N. Zhirabok, V. F. Filaretov","doi":"10.1134/s0005117923090059","DOIUrl":"https://doi.org/10.1134/s0005117923090059","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>This paper considers the problem of identifying (estimating) faults in systems described by linear models under exogenous disturbances. It is solved using optimal control methods; in comparison with sliding mode observers, they avoid high-frequency switching. The solution method proposed below involves a reduced model of the original system that is sensitive to faults and insensitive to disturbances. The corresponding theory is illustrated by an example.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139031134","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 : 2023-12-21DOI: 10.1134/s0005117923090084
Yu. G. Bulychev
Abstract
The problem of indirect single-position coordinate determination based on the smoothed measurements of bearing and the radial velocity of an object is solved considering motion invariants and singular measurement errors. Such errors are represented as an appropriate linear combination with unknown spectral coefficients in a given finite-dimensional functional space. Possible application of the developed method to different models of motion and observation is considered. Analytical relations are derived for estimating accuracy characteristics and methodological errors. A comparative evaluation of computational cost is presented.
{"title":"An Indirect Single-Position Coordinate Determination Method Considering Motion Invariants under Singular Measurement Errors","authors":"Yu. G. Bulychev","doi":"10.1134/s0005117923090084","DOIUrl":"https://doi.org/10.1134/s0005117923090084","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>The problem of indirect single-position coordinate determination based on the smoothed measurements of bearing and the radial velocity of an object is solved considering motion invariants and singular measurement errors. Such errors are represented as an appropriate linear combination with unknown spectral coefficients in a given finite-dimensional functional space. Possible application of the developed method to different models of motion and observation is considered. Analytical relations are derived for estimating accuracy characteristics and methodological errors. A comparative evaluation of computational cost is presented.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139031135","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 : 2023-12-21DOI: 10.1134/s0005117923090035
D. N. Ibragimov, V. M. Podgornaya
Abstract
The speed-in-action problem for a linear discrete-time system with bounded control is considered. In the case of superellipsoidal constraints on the control, the optimal control process is constructed explicitly on the basis of the discrete maximum principle. The problem of calculating the initial conditions for an adjoint system is reduced to solving a system of algebraic equations. The algorithm for generating a guaranteeing solution based on the superellipsoidal approximation method is proposed for systems with general convex control constraints. The procedure of superellipsoidal approximation is reduced to solving a number of convex programming problems. Examples are given.
{"title":"Construction of the Time-Optimal Bounded Control for Linear Discrete-Time Systems Based on the Method of Superellipsoidal Approximation","authors":"D. N. Ibragimov, V. M. Podgornaya","doi":"10.1134/s0005117923090035","DOIUrl":"https://doi.org/10.1134/s0005117923090035","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>The speed-in-action problem for a linear discrete-time system with bounded control is considered. In the case of superellipsoidal constraints on the control, the optimal control process is constructed explicitly on the basis of the discrete maximum principle. The problem of calculating the initial conditions for an adjoint system is reduced to solving a system of algebraic equations. The algorithm for generating a guaranteeing solution based on the superellipsoidal approximation method is proposed for systems with general convex control constraints. The procedure of superellipsoidal approximation is reduced to solving a number of convex programming problems. Examples are given.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139031191","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 : 2023-12-21DOI: 10.1134/s0005117923090023
A. S. Matveev, A. L. Fradkov, A. I. Shepeljavyi
Abstract
The milestones of the history of the scientific school on cybernetics (the School), established in 1959 by outstanding scientist V.A. Yakubovich at Leningrad State University (LSU), are presented. The connections of the School with other Russian and foreign scientific schools in related fields are outlined.
{"title":"A Historical Essay on the Scientific School of V.A. Yakubovich","authors":"A. S. Matveev, A. L. Fradkov, A. I. Shepeljavyi","doi":"10.1134/s0005117923090023","DOIUrl":"https://doi.org/10.1134/s0005117923090023","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>The milestones of the history of the scientific school on cybernetics (the School), established in 1959 by outstanding scientist V.A. Yakubovich at Leningrad State University (LSU), are presented. The connections of the School with other Russian and foreign scientific schools in related fields are outlined.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139031350","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 : 2023-12-21DOI: 10.1134/s0005117923090060
A. V. Pesterev
Abstract
Stability of an affine switching system is studied. The system comes to existence when stabilizing a chain of two integrators by means of a feedback in the form of nested saturators. The use of such a feedback allows one to easily take into account boundedness of the control resource, to constrain the maximum velocity of approaching the equilibrium state, which is especially important in the case of large initial deviations, and to ensure desired characteristics of the transient process, such as a given exponential rate of the deviation decrease near the equilibrium state. It is proved that the closed-loop system is globally stable.
{"title":"Global Stability of a Second-Order Affine Switching System","authors":"A. V. Pesterev","doi":"10.1134/s0005117923090060","DOIUrl":"https://doi.org/10.1134/s0005117923090060","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>Stability of an affine switching system is studied. The system comes to existence when stabilizing a chain of two integrators by means of a feedback in the form of nested saturators. The use of such a feedback allows one to easily take into account boundedness of the control resource, to constrain the maximum velocity of approaching the equilibrium state, which is especially important in the case of large initial deviations, and to ensure desired characteristics of the transient process, such as a given exponential rate of the deviation decrease near the equilibrium state. It is proved that the closed-loop system is globally stable.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139031128","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}
扫码关注我们
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号