图书馆订阅: Guest
自动化与信息科学期刊

每年出版 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 Digital Portal Begell 数字图书馆 电子图书 期刊 参考文献及会议录 研究收集 订购及政策 Begell House 联系我们 Language English 中文 Русский Português German French Spain