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

• Published in: Automation and remote control 2023-12, Vol.84 (12), p.1283-1293
• Main Authors: Tsvirkun, A. D., Rezchikov, A. F., Kushnikov, V. A., Dranko, O. I., Bogomolov, A. S., Selyutin, A. D.
• Format: Article
• Language: English
• Subjects: Algorithms; CAE) and Design; Calculus of Variations and Optimal Control; Optimization; Computer-Aided Engineering (CAD; Control; Feasibility; Flood management; Mathematics; Mathematics and Statistics; Mechanical Engineering; Mechatronics; Robotics; Systems Theory; Thematic Issue
• ISSN: 0005-1179; 1608-3032
• DOI: 10.1134/S000511792312007X

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.