Выходит 12 номеров в год
ISSN Печать: 1064-2315
ISSN Онлайн: 2163-9337
Indexed in
Algebraic Interaction Theory and Cyber-Physical Systems
Краткое описание
A new model of cyber-physical systems is considered. The model generalizes known models like hybrid and time automata. The application of modeling and verification methods accumulated in the field of programming to the development of cyber-physical systems is discussed.
-
Skobelev V. V., Skobelev V. G., Some Problems of Analysis of Hybrid Automata, Cybernetics and Systems Analysis, 54, 4, 2018. Crossref
-
Kolchin A., Potiyenko S. , Weigert T. , Efficient increasing of the mutation score during model-based test suite generation, PROBLEMS IN PROGRAMMING, 2-3, 2020. Crossref
-
Oletsky O. V., Ivohin E. V., Formalizing the Procedure for the Formation of a Dynamic Equilibrium of Alternatives in a Multi-Agent Environment in Decision-Making by Majority of Votes, Cybernetics and Systems Analysis, 57, 1, 2021. Crossref
-
Letychevskyi O.О., Algebraic modeling and its application, Visnik Nacional'noi' academii' nauk Ukrai'ni, 03, 2021. Crossref
-
Ivokhin E. V., Oletsky O. V., Restructuring of the Model “State–Probability of Choice” Based on Products of Stochastic Rectangular Matrices, Cybernetics and Systems Analysis, 58, 2, 2022. Crossref