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

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.