Кибер-физические системы
Приведен ретроспективный анализ теории кибер-физических систем и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченн...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2017 |
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/144803 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Кибер-физические системы / А.А. Летичевский, А.А. Летичевский мл., В.Г. Скобелев, В.А. Волков // Кибернетика и системный анализ. — 2017. — Т. 53, № 6. — С. 3–19. — Бібліогр.: 55 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Приведен ретроспективный анализ теории кибер-физических систем и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченных транзиционных систем на кибер-физические системы.
Наведено ретроспективний аналіз теорії кібер-фізичних систем та характеристику її сучасного стану. Досліджено низку проблем, які виникають у теорії гібридних автоматів. Розглянуто напівгрупову систему переходів, яка є основою для розповсюдження алгебраїчної теорії взаємодії розмічених транзиційних систем на кібер-фізичні системи.
The authors perform retrospective analysis of cyber-physical systems theory and its state of the art and investigate some problems inherent in hybrid automata theory. A semigroup transition system is presented, which underlies the propagation of algebraic interaction theory for cyber-physical systems.
|
|---|---|
| ISSN: | 0023-1274 |