Автор(ы): Ковалёв С. П. (ИПУ РАН, Лаборатория 49)Автор(ов): 1 Параметры публикацииТип публикации: Статья в журнале/сборникеНазвание: Methods of the category theory in digital design of heterogeneous cyber-physical systemsISBN/ISSN: 1992-2264DOI: 10.14357/19922264210104Наименование источника: Informatika i ee PrimeneniyaОбозначение и номер тома: Vol. 15, Issue 1Город: МоскваИздательство: ИПИ РАНГод издания: 2021Страницы: 23-29 АннотацияA mathematical device built upon the category theory is developed which was previously proposed to formally describe and rigorously explore engineering procedures based on mathematical and computer modeling. With the help of the device, highly automated procedures for designing heterogeneous cyber-physical systems on top of digital twins, demanded by the upcoming fourth industrial revolution, are described and explored. For this purpose, the novel construction of the multicomma category is introduced, whose objects are the architectural models of a heterogeneous cyber-physical system with a certain fixed structural hierarchy scheme represented from a certain architecture viewpoint, and morphisms describe actions associated with selection ofconstituents for assembling a system from them. The application of the multicomma category in solving direct and inverse problems of designing individual systems and complex systems of systems is considered. Библиографическая ссылка: Ковалёв С.П. Methods of the category theory in digital design of heterogeneous cyber-physical systems // Informatika i ee Primeneniya. 2021. Vol. 15, Issue 1. С. 23-29.