Control Systems Synthesis of Maximum Robust Stability Degree Based on Vertex Critical Root Diagrams

The article solves the problem of operative selection of the redundant onboard equipment complex components configuration of the suitable in the current operating conditionаs in the interests of ensuring high fault tolerance of the complex, as well as achieving other operational and technical characteristics. The basis of the redundancy management system of the complex consists of configuration supervisors — as program subjects according to the number of its competitive configurations of heterogeneous and nonuniform equipment worked out in advance. The choice of the preferred configuration is proposed to be carried out by performing multi-level arbitration, which includes two phases of paired arbitration of computers and paired arbitration of configuration. It is proposed to include the means of both types of arbitration in each configuration supervisor, which ensures its self-sufficiency when participating in a competitive selection. The second part of the article is devoted to the computer’s arbitration for the implementation of redundancy management functions. The approach is applicable to a computing environment with many comparable computing devices and contains 2 phases. In the first phase, a preliminary selection of a competing pair of computers — as applicants for the implementation of redundancy management functions in them is carried out. In the break between the phases, the pair computers implement the procedures for pair arbitration of configurations given in the first part of the article. In the second phase, the final choice of the -computer is made, in which the supervisor who won the arbitration will be implemented. In order to achieve the maximum possible centralization of selection procedures and, as a consequence, the exclusion of " bottlenecks" in terms of reliability of places, additionally proposed: the organization of secure data exchange between computers based on distributed registry technology; the procedure of paired arbitration of computers, consisting in mutual cross-validation of dominant supervisors of a pre-allocated pair by comparing preference matrices, including information parcels of arbitration objects. A methodological example that demonstrates the features of the system functioning in the conditions of computers degradation is given. The proposed approach can be used to solve the problems of reconfiguration control of heterogeneous computing facilities of technical objects on-board equipment complexes.

1. Shubladze A. M. Methods for Synthesizing Control Systems with the Maximum Degree of Stability, Avtomatika i telemekhanika, 1980, no. 1, pp. 28—37 (in Russian).

2. Volkov A. N., Zagashvili Yu. V. Method for the synthesis of automatic control systems with a maximum degree of stability in the presence of restrictions, Izvestiya RAN. Ser. Teoriya i sistemy` upravleniya, 1997, no. 3, pp. 12—19 (in Russian).

3. Voevoda A. A., Chekhonadskikh A. V. Building a list of critical pole locations for automatic control systems, Doklady` Akademii nauk vy`sshej shkoly` Rossijskoj Federaczii, 2014, no. 2—3 (23—24), pp. 7—18 (in Russian).

4. Tatarinov A. V., Czirlin A. M. Problems of Mathematical Programming Containing Complex Variables and the Limiting Degree of Stability of Dynamical Systems, Izvestiya RAN, sep. Teopiya i sistemy` uppavleniya, 1995, no. 1, pp. 28—33 (in Russian).

5. Ezangina T. A., Gayvoronskiy S. A. Ensuring Maximum Stability Degree in the Systems with Interval Parameters, Applied Mechanics and Materials, 2015, vol. 752—753, pp. 955—961.

6. Pushkarev M. I., Gaivoronsky S. A. Maximizing stability degree of control systems under interval uncertainty using a coefficient method, Reliable Computing, 2014, vol. 19, no. 3, pp. 248—260.

7. Kuzneczov V. P., Kukareko E. P., F. V. Furman F. V. Numerical procedure for obtaining exponential estimates in linear continuous systems with uncertain parameters, Avtomatika i telemekhanika, 1987, no. 5, pp. 183—186 (in Russian).

8. Gusev Yu. M., Efanov V. N., Krymskij V. G. Analysis and synthesis of linear interval dynamic systems (problem condition). Analysis with the help of interval characteristic polynomials, Tekhnicheskaya kibernetika, 1991, no. 1, pp. 3—30 (in Russian).

9. Gayvoronskiy S. A., Ezangna T. A., Khozhaev I. V., Nesenchuk A. A. Analyzing robust stability of an interval control system on the basis of vertex polynomials, Mekhatronika, Avtomatizatsiya, Upravlenie, 2019, vol. 5, no. 5, pp. 266—273.

10. Gayvoronskiy S., Ezangina T., Khozhaev I., Kazmin V. Determination ofvertices and edges in a parametric polytope to analyze root indices of robustcontrol quality, International Journal Automation and Computing, 2019, vol.16, no.6, pp. 828—837.