Алгебраическая теория взаимодействия и киберфизические системы
Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем. A new model of cyber-physical systems is cons...
Gespeichert in:
| Veröffentlicht in: | Проблемы управления и информатики |
|---|---|
| Datum: | 2017 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/208596 |
| 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. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862693960511651840 |
|---|---|
| author | Летичевский, А.А. |
| author_facet | Летичевский, А.А. |
| citation_txt | Алгебраическая теория взаимодействия и киберфизические системы / А.А. Летичевский // Проблемы управления и информатики. — 2017. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос. |
| collection | DSpace DC |
| container_title | Проблемы управления и информатики |
| description | Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем.
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 cyberphysical systems is discussed.
|
| first_indexed | 2025-12-07T16:21:24Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-208596 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0572-2691 |
| language | Russian |
| last_indexed | 2025-12-07T16:21:24Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Летичевский, А.А. 2025-11-02T17:26:42Z 2017 Алгебраическая теория взаимодействия и киберфизические системы / А.А. Летичевский // Проблемы управления и информатики. — 2017. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос. 0572-2691 https://nasplib.isofts.kiev.ua/handle/123456789/208596 519.68 10.1615/JAutomatInfScien.v49.i9.10 Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем. 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 cyberphysical systems is discussed. ru Інститут кібернетики ім. В.М. Глушкова НАН України Проблемы управления и информатики Методы обработки информации Алгебраическая теория взаимодействия и киберфизические системы Алгебраїчна теорія взаємодії і кібер-фізичні системи Algebraic interaction theory and cyber-physical systems Article published earlier |
| spellingShingle | Алгебраическая теория взаимодействия и киберфизические системы Летичевский, А.А. Методы обработки информации |
| title | Алгебраическая теория взаимодействия и киберфизические системы |
| title_alt | Алгебраїчна теорія взаємодії і кібер-фізичні системи Algebraic interaction theory and cyber-physical systems |
| title_full | Алгебраическая теория взаимодействия и киберфизические системы |
| title_fullStr | Алгебраическая теория взаимодействия и киберфизические системы |
| title_full_unstemmed | Алгебраическая теория взаимодействия и киберфизические системы |
| title_short | Алгебраическая теория взаимодействия и киберфизические системы |
| title_sort | алгебраическая теория взаимодействия и киберфизические системы |
| topic | Методы обработки информации |
| topic_facet | Методы обработки информации |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/208596 |
| work_keys_str_mv | AT letičevskiiaa algebraičeskaâteoriâvzaimodeistviâikiberfizičeskiesistemy AT letičevskiiaa algebraíčnateoríâvzaêmodíííkíberfízičnísistemi AT letičevskiiaa algebraicinteractiontheoryandcyberphysicalsystems |