Доступ предоставлен для: Guest
Journal of Automation and Information Sciences

Выходит 12 номеров в год

ISSN Печать: 1064-2315

ISSN Онлайн: 2163-9337

SJR: 0.173 SNIP: 0.588 CiteScore™:: 2

Indexed in

Algebraic Interaction Theory and Cyber-Physical Systems

Том 49, Выпуск 9, 2017, pp. 1-19
DOI: 10.1615/JAutomatInfScien.v49.i9.10
Get accessGet access

Краткое описание

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.

ЦИТИРОВАНО В
  1. Skobelev V. V., Skobelev V. G., Some Problems of Analysis of Hybrid Automata, Cybernetics and Systems Analysis, 54, 4, 2018. Crossref

  2. 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

  3. 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

  4. Letychevskyi O.О., Algebraic modeling and its application, Visnik Nacional'noi' academii' nauk Ukrai'ni, 03, 2021. Crossref

  5. 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

Портал Begell Электронная Бибилиотека e-Книги Журналы Справочники и Сборники статей Коллекции Цены и условия подписки Begell House Контакты Language English 中文 Русский Português German French Spain