Simulation Model Continuity for Efficient Development of Embedded Controllers in Cyber‐Physical Systems

Castro, Rodrigo; Marcosig, Ezequiel Pecker; Giribet, Juan I.

doi:10.1002/9781119552482.ch8

Cited by 7 publications

(8 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, advanced M&S technologies and methods have become the key enabler driving the operation of system engineering cycles. M&S is beneficial to help to connect the stages of MBSE [7].…”

Section: Model-based Paradigmmentioning

confidence: 99%

“…In the M&S environment supporting by MPM, we will go beyond the limitations of the traditional computational models to acquire a full capability needed to investigate emergent behavior of complex systems, which known as Live-Virtual-Constructive (L-V-C) simulation, including live simulation where the model is involved humans interacting; virtual simulation where the model is simulated by a hybrid of humans and computer-generated experiences; and constructive simulations where the model is entirely implemented in a digital computer and even have the high-level of abstraction [7].…”

Section: Digital Twins In L-v-c Platformmentioning

confidence: 99%

“…There's a reasonable prospect that the intelligence of a system should not only be formed from an abstract symbolic system in advance of its operations, such as automatic reasoning based on logic. However, the intelligent behavior of a system should emerge as a composition of simpler agents structured in a certain way and acting their interactions with others and with the environment [7].…”

Section: Multi-agent-based Mands For Cpsmentioning

confidence: 99%

See 2 more Smart Citations

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

Gao¹,

Xiao²,

Xie³

et al. 2023

Preprint

View full text Add to dashboard Cite

For the emerging autonomous swarm technology, from the perspective of systems science and systems engineering, there must be some novel elements and methods to aggregate multiple systems into a group, which distinguish with the general components with specific functions, and we expect to provide the presentation of their existence in the swarm development processes. The inspiration of our methodology origins from the integration of swarm ontology, multi-paradigm modeling, multi-agent system, cyber-physical system, etc. Therefore, we choose the model-driven technology as a framework to acquire an approach of model representation across the multiple levels of abstraction and composition. The autonomous strategic mechanism is defined and formed in parallel with ConOps analysis and systems design, so as to effectively solve the cognitive problem of emergence caused by the nonlinear causation among individual and whole behaviors. This approach highlights to use the MBSE processes and their artifacts to embed the meso mechanism to integrate the operational and the functional, and which means to connect the macro and micro aspects in formalism and so to become a whole with its expected goals, and then to verify and validate within a L-V-C simulation environment.

show abstract

Section: Model-based Paradigmmentioning

confidence: 99%

Section: Digital Twins In L-v-c Platformmentioning

confidence: 99%

Section: Multi-agent-based Mands For Cpsmentioning

confidence: 99%

See 1 more Smart Citation

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

Gao¹,

Xiao²,

Xie³

et al. 2023

Preprint

View full text Add to dashboard Cite

show abstract

“…A generic DEVS modeling and simulation addressing hybrid system simulation. The environment enables the creation of increasingly sophisticated systems by specifying atomic DEVS models in the C++ language, which can then be visually connected in hierarchical block diagrams Cyber physical systems [225], energy modeling [226] Salabim An object-oriented DES open-source python based library. It uses the process description technique in the likeness of Simula.…”

Section: Powerdevsmentioning

confidence: 99%

Simulation of Sustainable Manufacturing Solutions: Tools for Enabling Circular Economy

Khan

Abonyi

2022

Sustainability

View full text Add to dashboard Cite

At the current worrisome rate of global consumption, the linear economy model of producing goods, using them, and then disposing of them with no thought of the environmental, social, or economic consequences, is unsustainable and points to a deeply flawed manufacturing framework. Circular economy (CE) is presented as an alternative framework to address the management of emissions, scarcity of resources, and economic sustainability such that the resources are kept ‘in the loop’. In the context of manufacturing supply chains (SCs), the 6R’s of rethink, refuse, reduce, reuse, repair, and recycle have been proposed in line with the achievement of targeted net-zero emissions. In order to bring that about, the required changes in the framework for assessing the state of manufacturing SCs with regard to sustainability are indispensable. Verifiable and empirical model-based approaches such as modeling and simulation (M&S) techniques find pronounced use in realizing the ideal of CE. The simulation models find extensive use across various aspects of SCs, including analysis of the impacts, and support for optimal re-design and operation. Using the PRISMA framework to sift through published research, as gathered from SCOPUS, this review is based on 202 research papers spanning from 2015 to the present. This review provides an overview of the simulation tools being put to use in the context of sustainability in the manufacturing SCs, such that various aspects and contours of the collected research articles spanning from 2015 to the present, are highlighted. This article focuses on the three major simulation techniques in the literature, namely, Discrete Event Simulation (DES), Agent-Based Simulation (ABS), and System Dynamics (SD). With regards to their application in manufacturing SCs, each modeling technique has its pros and its cons which are evinced in case of data requirement, model magnification, model resolution, and environment interaction, among others. These limitations are remedied through use of hybrids wherein two or more than two modeling techniques are applied for the desired results. The article also indicates various open-source software solutions that are being employed in research and the industry. This article, in essence, has three objectives. First to present to the prospective researchers, the current state of research, the concerns that have been presented in the field of sustainability modeling, and how they have been resolved. Secondly, it serves as a comprehensive bibliography of peer-reviewed research published from 2015–2022 and, finally, indicating the limitations of the techniques with regards to sustainability assessment. The article also indicates the necessity of a new M&S framework and its prerequisites.

show abstract

“…MDD is also advocated in the simulation domain, e.g. [2,3] where models are uniformly exploited and transformed during all the phases of the system development life cycle.…”

Section: Introductionmentioning

confidence: 99%

Performance Prediction of Scalable Multi-agent Systems Using Parallel Theatre

Nigro

Cicirelli

2021

Intelligent Sustainable Systems

View full text Add to dashboard Cite

This paper proposes an approach to modelling and performance prediction of large multi-agent systems, based on the theatre actor system. The approach rests on Uppaal for formal modelling, graphical reasoning and preliminary property checking, and on Java for enabling large model sizes and execution benefits on a multi-core machine. As a significant case study, the minority game (MG) binary game often used in economics, natural and social sciences is chosen for modelling and analysis. In MG, a population of agents/players compete, without explicit interactions, in the use of a shared and scarce resource. At each step, each player has to decide if to use or not the resource, and by understanding that when the majority of agents decides to exploit the resource, an inevitable congestion would arise. In classic MG, although each player learns from the experience, it is unable to improve its behaviour/performance. A genetic variant of MG is then considered which by using crossover and mutation on local strategies allows a bad-performing player to possibly improve its attitude. The paper shows an MG formal actor model, which is then transformed into Java for parallel execution. Experimental results confirm good execution speedup when the size of the model is scaled to large values, as required by practical applications.

show abstract

Simulation Model Continuity for Efficient Development of Embedded Controllers in Cyber‐Physical Systems

Cited by 7 publications

References 20 publications

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

The Framework of Modeling and Simulation based-on Swarm Ontology for Autonomous Unmanned Systems

Simulation of Sustainable Manufacturing Solutions: Tools for Enabling Circular Economy

Performance Prediction of Scalable Multi-agent Systems Using Parallel Theatre

Contact Info

Product

Resources

About