Operads for complex system design specification, analysis and synthesis

JD Foley, S Breiner… - Proceedings of the …, 2021 - royalsocietypublishing.org
As the complexity and heterogeneity of a system grows, the challenge of specifying,
documenting and synthesizing correct, machine-readable designs increases dramatically …

A mathematical model of verification strategies

A Salado, H Kannan - Systems Engineering, 2018 - Wiley Online Library
The field of systems engineering has recently experienced a new push for unveiling its
scientific foundations and using them to inform better practice. The majority of the research …

Category-theoretic formulation of the model-based systems architecting cognitive-computational cycle

Y Mordecai, JP Fairbanks, EF Crawley - Applied Sciences, 2021 - mdpi.com
Simple Summary This paper introduces a holistic framework, underpinned by Category
Theory, for the process of conceptual modeling of complex engineered systems, generically …

Lambda+, the renewal of the lambda architecture: category theory to the rescue

A Gillet, É Leclercq, N Cullot - International Conference on Advanced …, 2021 - Springer
Designing software architectures for Big Data is a complex task that has to take into
consideration multiple parameters, such as the expected functionalities, the properties that …

Distributed energy resources management: from digital twin to digital platform

SP Kovalyov - IFAC-PapersOnLine, 2022 - Elsevier
The paper presents an approach to the development of a distributed energy resources
management platform based on the digital twin (DT). The platform employs advanced …

Knowledge capitalization in mechatronic collaborative design

M Fradi, R Gaha, F Mhenni, A Mlika… - Concurrent …, 2022 - journals.sagepub.com
In mechatronic collaborative design, there is a synergic integration of several expert
domains, where heterogeneous knowledge needs to be shared. To address this challenge …

Application of agile model-based systems engineering in aircraft conceptual design

GP Krupa - The Aeronautical Journal, 2019 - cambridge.org
One of the challenges of modern engineering design is the amount of data that designers
must keep track while performing system analysis and synthesis. This task is particularly …

Conjoining Wymore's systems theoretic framework and the DEVS modeling formalism: Toward scientific foundations for MBSE

P Wach, BP Zeigler, A Salado - Applied Sciences, 2021 - mdpi.com
Featured Application This research contributes toward the theoretical foundations of model-
based systems engineering (MBSE) through combining the mathematical, system theoretic …

Design and development of a power system digital twin: A model-based approach

SP Kovalyov - 2021 3rd International Conference on Control …, 2021 - ieeexplore.ieee.org
The paper presents an approach to facilitate integration and coherent operation of
numerous disparate models that constitute a power system digital twin. We employ …

Combining dimensional analysis with model based systems engineering

JA Martínez‐Rojas… - Systems …, 2023 - Wiley Online Library
The model based systems engineering (MBSE) approach describes a system using
consistent views to provide a holistic model as complete as possible. MBSE methodologies …