Informatics and Applications
2021, Volume 15, Issue 1, pp 23-29
METHODS OF THE CATEGORY THEORY IN DIGITAL DESIGN OF HETEROGENEOUS CYBER-PHYSICAL SYSTEMS
Abstract
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.
[+] References (15)
- Tao, F., Q. Qi, L. Wang, and A. Y.C. Nee. 2019. Digital twins and cyber-physical systems toward smart manufacturing and Industry 4.0: Correlation and comparison. Engineering 5:653-661.
- CAD is a lie: Generative design to the rescue. Available at: https://www.autodesk.com/redshift/generative- design/ (accessed December 9, 2020).
- Baez, J. C., and J. Erbele. 2015. Categories in control. Theor. Appl. Categ. 30(24):836-881.
- Wisnesky, R., S. Breiner, A. Jones, D. I. Spivak, and E. Subrahmanian. 2017. Using category theory to facilitate multiple manufacturing service database integration. J. Comput. Inf. Sci. Eng. 17(2):021011.
- Kovalyov, S. P. 2017. Metody teorii kategoriy v model'no- orientirovannoy sistemnoy inzhenerii [Methods of category theory in model-based systems engineering]. Informatika i ee Primeneniya - Inform. Appl. 11(3):42-50.
- GOST R ISO/IEC/IEEE 42010:2011. 2016. Sistemnaya i programmnaya inzheneriya. Opisanie arkhitektury [System and software engineering. Description of architecture]. Moscow: Standardinform Publs. 32 p.
- Gherghina, G., D. Tutunea, and D. Popa. 2015. About digital mock-up for mechanical products. J. Industrial Design Engineering Graphics 10(2):19-22.
- Rafal'skiy, V. V., L. G. Rafal'skaya, and A.V. Starostina. 2009. Informatsionnaya model' skhemy deleniya [Information model of decomposition scheme]. Avtomatizatsiya protsessov upravleniya [Automation of Control Processes] 3:22-28.
- What is a smart building and how can it benefit you? 2016.
Milford, MA: Comark. Available at: https://comarkcorp.
com/smart-building-can-benefit/ (accessed December 9,
2020).
- GOST 2.053-2013. 2014. Edinaya sistema konstruktorskoy dokumentatsii. Elektronnaya struktura izdeliya.
Obshchie polozheniya [Unified system for design documentation. Electronic structure of the product. General
Provisions]. Moscow: Standardinform Publs. 10 p.
- Kovalyov, S. P. 2017. Algebraicheskoe modelirovanie zhiznennogo tsikla krupnomasshtabnykh geterogennykh sistem v aspektakh [Aspectwise algebraic modeling of large-
scale heterogeneous systems life cycle]. 10th Conference
(International) "Management of Large-Scale Systems Development" Proceedings. Moscow. 2:266-268.
- Mac Lane, S. 1978. Categories for the working mathematician. New York, NY: Springer. 317 p.
- Kovalyov, S. P. 2018. Teoriya kategoriy kak matematicheskaya pragmatika model'no-oriyentirovannoy sistemnoy
inzhenerii [Category theory as a mathematical pragmatics of model-based systems engineering]. Informatika i ee
Primeneniya - Inform. Appl. 12(1):95-104.
- Adamek, J., H. Herrlich, and G.E. Strecker. 1990. Abstract and concrete categories. New York, NY: John Wiley. 507 p.
- Kovalyov, S. P. 2020. Proektirovanie informatsionnogo obespecheniya tsifrovykh dvoynikov energeticheskikh sistem [Information architecture ofthe power system digital twin]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 30(1):66-81.
[+] About this article
Title
METHODS OF THE CATEGORY THEORY IN DIGITAL DESIGN OF HETEROGENEOUS CYBER-PHYSICAL SYSTEMS
Journal
Informatics and Applications
2021, Volume 15, Issue 1, pp 23-29
Cover Date
2021-03-30
DOI
10.14357/19922264210104
Print ISSN
1992-2264
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
cyber-physical system; digital twin; generative design; system of systems; category theory; multicomma category
Authors
S. P. Kovalyov 
Author Affiliations
V. A. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, 65 Profsoyuznaya Str., Moscow 117997, Russian Federation
|