Model-based System Engineering (MBSE) of the Internet of Things (IoT) literature is broad,
and analysis of this literature enables the identification of themes and potential future study …

In response to the challenges introduced by global warming and increased eutrophication,
this paper presents an innovative modeling and simulation (M&S)-driven model for …

With the increasing intensity of ship missions, the mission reliability requirements of various
ship systems are getting higher. Especially the new reconfigurable ship electronic …

Abstract The Twinning paradigm–subsuming Digital Models, Digital Shadows and Digital
Twins–is a powerful enabler for analyzing, verifying, deploying and maintaining complex …

The Discrete EVent system Specification (DEVS) formalism is a modular discrete-event
modeling formalism. It has a formal specification in terms of systems theory and is supported …

Aiming at the development trend of scale and complexity of digital twin system, this paper
proposes a general digital twin modeling and simulation platform framework from the …

ABSTRACT The Discrete EVent system Specification (DEVS) formalism is a modular
discrete-event modeling formalism. It has a formal specification in terms of systems theory …