تقرير
Compositional Thinking in Cyberphysical Systems Theory
العنوان: | Compositional Thinking in Cyberphysical Systems Theory |
---|---|
المؤلفون: | Bakirtzis, Georgios, Subrahmanian, Eswaran, Fleming, Cody H. |
سنة النشر: | 2021 |
المجموعة: | Computer Science Mathematics |
مصطلحات موضوعية: | Electrical Engineering and Systems Science - Systems and Control, Computer Science - Logic in Computer Science, Mathematics - Category Theory |
الوصف: | Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras. We posit that verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyber-physical systems theory, which can assist in the modeling and analysis of safety-critical cyber-physical systems. |
نوع الوثيقة: | Working Paper |
DOI: | 10.1109/MC.2021.3085532 |
URL الوصول: | http://arxiv.org/abs/2105.12911 |
رقم الأكسشن: | edsarx.2105.12911 |
قاعدة البيانات: | arXiv |
DOI: | 10.1109/MC.2021.3085532 |
---|