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
A. D. Tsvirkun, A. F. Rezchikov, V. A. Kushnikov, O. I. Dranko, A. S. Bogomolov, A. D. Selyutin
{"title":"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","authors":"A. D. Tsvirkun, A. F. Rezchikov, V. A. Kushnikov, O. I. Dranko, A. S. Bogomolov, A. D. Selyutin","doi":"10.1134/s000511792312007x","DOIUrl":null,"url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>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.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Automation and Remote Control","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1134/s000511792312007x","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
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.
期刊介绍：
Automation and Remote Control is one of the first journals on control theory. The scope of the journal is control theory problems and applications. The journal publishes reviews, original articles, and short communications (deterministic, stochastic, adaptive, and robust formulations) and its applications (computer control, components and instruments, process control, social and economy control, etc.).
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
