The Use of Discrete-Deterministic Models in the Development of Software for Controlling Autonomous Electric Power Plants

The paper presents an analysis of tasks performed by the software for automated control systems of autonomous electric power plants, leading to the identification of functional requirements.This analysis establishes operational modes, such as scheme designer mode and autonomous electric power plant monitoring and control mode, defines the component library, and outlines requirements for each component.The use of discretedeterministic models in the form of digital automata, the research formalizes the problem of analyzing and synthesizing control algorithms.The novelty of this methodology lies in integrating digital automata with UML diagrams to develop adaptive software.By linking UML state diagrams directly with digital automata models, the system ensures consistency between conceptual design and code implementation.The research contributes to best practices in software engineering for complex, distributed control systems.The approach, proposed in the paper, allows developers to conceptualize the user interface of automated operator workstations as interconnected systems with defined relationships and communication types.