INFORMATION ABOUT PROJECT,
SUPPORTED BY RUSSIAN SCIENCE FOUNDATION

The information is prepared on the basis of data from the information-analytical system RSF, informative part is represented in the author's edition. All rights belong to the authors, the use or reprinting of materials is permitted only with the prior consent of the authors.

 

COMMON PART


Project Number23-29-00191

Project titleDevelopment of mathematical methods and algorithms of interval observer design for estimation of state vector prescribed components of mechatronic systems described by dynamic models

Project LeadZhirabok Alexey

AffiliationFar Eastern Federal University,

Implementation period 2023 - 2024 

Research area 09 - ENGINEERING SCIENCES, 09-603 - Reliability and fail-safety of technical systems. Diagnostics of technical state and testing

KeywordsMechatronic systems, intelligent technologies, methods and algorithms, fault diagnosis, estimation, robustness, fault tolerant control, interval observers


 

PROJECT CONTENT


Annotation
Modern mechatronic systems are complex systems that are characterized by uncertain environment, inaccuracy of the mathematical models of their individual components. These features of mechatronic systems require estimating their variables to solve the fault tolerant control problems. Strict demands, imposed on reliability, safety and vitality of modern mechatronic systems of critical purposes call for the development and application of effective methods and devices for on-line fault diagnosis (fault detection, isolation and identification) followed by control laws correction and faults recovery to achieve the fault tolerance of mechatronic systems. To solve this problems, the estimation problem has to be solve. The goal of the project is to develop new methods and algorithms of interval observer design to estimate specified components of the state vector of mechatronic systems on the basis of modern intelligent technology. The main result of the project will be developing new methods and algorithms of the interval observer design to estimate specified components of the state vector of mechatronic systems supported by existing mathematical packages. The feature of the interval observers is that they allows to determine bounders which contain specified components with guarantee. To solve the problems of fault isolation and identification, it is assumed to use the approach developed in the projects RSF 16-19-00046 and 16-19-00046-P; it is that the observers considered in these projects are constructed not for the original system but for its reduced order model insensitive or minimum sensitive to the disturbance. This approach allows reducing complexity of the interval observers and extending class of systems for which such observers can be constructed. Besides, this approach allows to reduce the width interval that is important for solving the problem of high accuracy control. To solve the problems of developing new methods and algorithms of interval estimation, it is suggested to use the original algebraic and logic-dynamic approaches. The features of such approaches are use of nonlinear models of mechatronic systems with non-smooth nonlinearities and taking into account the production disturbances to obtain the robust estimation. The urgency of the project follows from the need to improve existing methods of estimation in order to create fault-tolerant mechatronic systems operating autonomously in an uncertain and unstable environment, with the ability to quickly diagnose the failures to give flexible reaction on these faults by self-tuning and self-organization, maintaining the ability to perform their functions. Novelty of the project is as follows. 1. Developing new methods and algorithms of interval observer design to estimate specified components of the state vector of mechatronic systems based on the reduced order model of the original system. Unlike the known methods where full state vector is estimated, these methods enable reduce the observer complexity and shorten the interval width. 2. Partial or full external disturbance decoupling the estimation results due to use of the reduced order model that shortens the interval width additionally. 3. Developing methods of interval estimation of full state vector based on the bank of interval observers estimating specified components of the state vector that also allows to reduce complexity of the total observer and to shorten the interval width. 4. Developing new methods of fault diagnosis and adaptive threshold design that decrease probability of erroneous solutions about faults.

Expected results
It is assumed that the project will give the following results: 1. It is assumed in the project to develop new methods and algorithms of interval observer design to estimate specified components of the state vector of mechatronic systems described by linear and nonlinear models with non-differentiable nonlinearities. Unlike the known methods developed in particular by D. Efimov where full state vector is estimated, these methods enable reduce the observer complexity and shorten the interval width. 2. It is assumed in the project to develop new methods and algorithms of interval observer design with partial or full decoupling external disturbance on the estimation results due to use of the reduced order model that shortens the interval width additionally 3. It is assumed in the project to develop methods of interval estimation of full state vector based on the bank of interval observers estimating specified components of the state vector that also allows to reduce complexity of the total observer and to shorten the interval width. 4. Based on the suggested methods of interval observer design, t is assumed in the project to develop new methods of fault diagnosis and adaptive threshold design that decrease probability of erroneous solutions about faults. The obtained results allow to simplify the procedure of interval observer design, to extend class of the systems for which such observers can be constructed, in particular, to consider mechatronic systems with non-differentiable nonlinearities.


 

REPORTS


Annotation of the results obtained in 2023
1. For 2023 year, existing papers devoted to interval observer design for different classes of systems were considered; the conclusion that the main shortcoming of these papers is that they design interval observers estimating full state vector of the original system has been made. At the same time, one may need to obtain estimates only for the prescribed function of the state vector. As a result, the corresponding interval observer will be simpler than the observer estimating the full state vector, the interval width is reduced that corresponds to more precise estimate, and class of systems for which such observer can be designed will be extended. The suggested approach is based on the reduced order model of the original system. The methods and algorithms to design such a model of minimal dimension insensitive to the external disturbances and estimating the prescribed function of the system state vector are developed. Depending on class of systems (continuous-time or discrete-time) two canonical forms of the matrix describing the system dynamics are suggested: Jordan canonical form for continuous-time and identification canonical form for discrete-time systems. Advantage of these forms is that they satisfy requirements for designing interval observers: Jordan canonical form with negative eigenvalues is stable and Metzler (it has nonnegative non-diagonal elements) and identification canonical form is stable and nonnegative as well. In known papers, to transform the system into the form with Metzler matrix, some restrictions should be satisfied. The suggested approach is free of such restrictions. Based on the obtained model and assuming that the external disturbances and measurement noise are bounded, interval observer is designed. Unlike the model, such an observer contains not unknown measurement noise but its upper and lower bounds which form corresponding bounds for prescribed function of the system state vector. The obtained observer differs from that designed by known methods: it has minimal dimension and is free of the disturbance. The first fact guarantees fewer calculation complexity of program for computer; in particular, this is important for computer in underwater vehicles; the second fact reduces the interval width and improves the estimation accuracy. The advantage of internal observers is that it gives interval estimates which describe a quality (accuracy) of estimation. It was shown that traditional restriction for initial conditions of the system is not essential and can be removed. If this restriction is absent, then after some time where the estimated function can be out of interval, it will be within the interval. In some cases, the model insensitive to the external disturbances and estimating the prescribed function of the system state vector cannot be designed. To overcome this difficulty, the methods and algorithms based on singular value decomposition of matrices describing the systems and disturbances are developed. They allow designing the model of minimal dimension with minimal sensitivity to the disturbances. The observer based on such a model forms wider interval but its width is fewer that that forming by observers estimating the full state vector. 2. Based on the methods described above, methods and algorithms to design interval observers for continuous-time or discrete-time systems with parametric uncertainties were developed. It is assumed that such uncertainties are bounded in the forms of matrix inequalities. Two approaches are developed to solve the problem: the first one under some restrictions imposed on the original system produces simple solution, the second one is free of such restriction but the observer is more complex. The suggested solution is based on the reduced order model of the original system estimation the prescribed function containing the transformed parametric uncertainties. In some cases, such a model can be free of such uncertainties, and the observer without parametric uncertainties can be designed that reduces the interval width essentially. The appropriate algorithm to design such a model is developed. When parametric uncertainties are unknown but constant, the algorithm to design simpler interval observer is developed. 3. It was shown how based on interval observer estimating the prescribed function of the system state vector, a bank of interval observers estimating the full state vector and forming more precise interval estimates can be designed. On the first step of the appropriate algorithm, interval estimation for those components of the state vector which are available due to system physical sensors is performed. Note that the external disturbances are not presented in this procedure therefore estimates are of maximal accuracy. On the second step of this algorithm, the suggested above algorithms form interval estimates for other components of the state vector. They will be free of the disturbance or have minimal sensitivity to them (dependently on whether or not the model insensitive to the disturbances exists). Estimates obtaining on these steps are collected and form the full state vector estimate. Since estimates obtaining on the first step are formed based on simple algebraic operations, general complexity of such a bank is fewer than that of interval observer estimating the system full state vector. 4. In addition to interval observer, methods and algorithms to design so-called virtual sensors are developed. Such sensors can supplement existing physical sensors. Virtual sensors are designed based on the reduced order model of the original system insensitive or having minimal sensitivity to the disturbances and estimating those components of the system state vector which are not measured by the existing physical sensors. Virtual sensors can be used for replacement the faulty physical sensors as well. 5. All developed algorithms and designed interval observers and virtual sensors are computer simulated based on the mathematical package Matlab. Real technical systems (robot servoactuator and well known three-tank system) have been used for simulation. The external disturbances and measurement noise are simulated by random series. Based on simulation results, some algorithms have been corrected. Simulation shows an effectiveness of the designed interval observers and virtual sensors. In particular, it was shown by simulation that the traditional restriction for initial conditions of the system is not essential and can be removed.

 

Publications

1. - Canonical Forms in Problems of Estimation -, - (year - )

2. Sergiyenko O., Zhirabok A., Mercorelli P., Zuev A., Filaretov V., Tyrsa V. Jordan canonical form for solving the fault diagnosis and estimation problems Technologies, 2023, 11, 72, 1-13 (year - 2023) https://doi.org/10.3390/technologies11030072

3. Zhirabok A., Zuev A. Метод диагностирования дискретных систем на основе интервальных наблюдателей Автоматика и телемеханика, 2023. № 12. С. 133-145 (year - 2023) https://doi.org/10.31857/S0005231023120115

4. Zhirabok A., Zuev A., Bobko E. Метод построения виртуальных датчиков для замены отказавших физических датчиков Мехатроника, автоматизация, управление, 2023. Т. 24. № 10. С. 526-532 (year - 2023) https://doi.org/10.17587/mau.24.526-532

5. Zhirabok A., Zuev A., Filaretov V. Virtual sensor design for replacement the faulty physical sensors Int. J. Robotics and Automation Technology, 2023. 10. P. 27-33 (year - 2023) https://doi.org/10.31875/2409-9694.2023.10.03

6. Zhirabok A., Zuev A., Filaretov V., Protcenko A., Kim C. Robust virtual sensors design for linear and nonlinear systems under external disturbances Int J Adapt Control Signal Process, 2023. V. 37. P. 2655–2670 (year - 2023) https://doi.org/10.1002/acs.3654

7. Zhirabok A., Zuev A., Filaretov V., Shumsky A., Kim C. Интервальные наблюдатели для непрерывных систем с параметрическими неопределенностями Автоматика и телемеханика, 2023. № 11. С. 3-16 (year - 2023) https://doi.org/10.31857/S00052310231100162

8. Zhirabok A., Zuev A., Kim C. Построение интервальных наблюдателей для дискретных линейных стационарных систем с неопределенностями Проблемы управления, 2023. № 2. С. 19-27 (year - 2023) https://doi.org/10.25728/pu.2023.2.2

9. Zhirabok A., Zuev A., Kim Chung Il Virtual sensors design for nonlinear dynamic systems Int. J. of Robotics and Control Systems, 2023. Vol. 4. No. 2. P. 134-143 (year - 2023)

10. Zhirabok A., Zuev A., Shumsky A., Bobko E. Построение интервальных наблюдателей для дискретных нелинейных динамических систем Мехатроника, автоматизация, управление, 2023. Т. 24. №. 6. P. 283-291 (year - 2023) https://doi.org/10.17587/mau.24.283-291

11. Zhirabok A., Zuev A., Timoshenko A. Robust virtual sensors design based on Jordan canonical form SSRG Int. J. of Recent Engineering Science, 2023. Vol. 10. Issue 2. P. 1-6 (year - 2023) https://doi.org/10.14445/23497157/IJRES-V10I2P101

12. Zhirabok A., Bobko E., Kim C., Zuev A. Построение функциональных наблюдателей Труды конференции ПромИнжиниринг 2023, 2023 (year - 2023)

13. Zhirabok A., Zuev A. Оценивание фазовых координат электроприводов роботов на основе интервальных наблюдателей Материалы XVI Всероссийской мультиконференции по проблемам управления (МКПУ-2023), Волгоград, Россия, 2023 г. Т. 1. С. 157-160 (year - 2023)

14. Zhirabok A., Zuev A., Shumsky A. Canonical Forms in Problems of Estimation Труды конференции ПромИнжиниринг 2023 (Proc. 2023 Int. Conf. on Industrial Engineering, Applications and Manufacturing, ICIEAM 2023), 2023. P. 537–541 (year - 2023) https://doi.org/10.1109/ICIEAM57311.2023.10139152