{"title":"Simulation-Based Evaluation of Model Sensitivities in Finished Vehicle Logistics","authors":"Kerstin Herrmann, Tilo Weller, S. Risse","doi":"10.23919/ANNSIM52504.2021.9552093","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552093","url":null,"abstract":"The on-time delivery of vehicles and the load factor of factory outbound trucks are influenced by multiple input variables in a production plant of the automotive industry. Since the parameters that are tied to the input variables are statistically distributed, a discrete-event simulation study is conducted. After developing an effect model starting with the assembly, we transfer the model into a simulation environment and run a series of experiments to examine the sensitivity between the input variables and the target values. We vary the most significant input variables order sequence quality, rework, loading restrictions and shipping series. With this approach we are able to derive measures to significantly increase the load factor of trucks, with the overall goal to reduce freight costs and emissions.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"32 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87125716","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Bert Van Acker, Joost Mertens, P. De Meulenaere, J. Denil
{"title":"Validity Frame Supported Digital Twin Design of Complex Cyber-Physical Systems","authors":"Bert Van Acker, Joost Mertens, P. De Meulenaere, J. Denil","doi":"10.23919/ANNSIM52504.2021.9552100","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552100","url":null,"abstract":"Digital twins, that is, system models that track a specific system instance, enable various new possibilities in the domains of industry 4.0 and Cyber-Physical Systems. At their core, they consist of models and large amounts of data. Those models often abstract away or linearize parts of the system. Thus, to correctly interpret the output data of the digital twin, one must reason about the model's valid operation region. This paper introduces an approach based on the Validity Frames concept to support this validity reasoning and ensure valid model use within the digital twins context. A Validity Frame encapsulates additional validity data of a model, and is especially suited for checking model validity, hence the name. Additionally, the approach also enables a partly automated commissioning of the digital twin. We demonstrate the automated commissioning process with an academic case study.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"133 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76826131","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Mohammed Farhan, Caroline C. Krejci, Megan M. Olsen, M. Raunak
{"title":"Metamorphic Testing for Hybrid Simulation Validation","authors":"Mohammed Farhan, Caroline C. Krejci, Megan M. Olsen, M. Raunak","doi":"10.23919/ANNSIM52504.2021.9552058","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552058","url":null,"abstract":"Proper validation of a simulation model is essential for confidence in its accuracy and credibility. However, many of the most effective approaches for simulation validation require access to data that may be unavailable. Metamorphic Testing (MT), an approach from traditional software testing, has been shown to be useful for verification of simulation software in similar situations. Recent research shows that MT can be applied to the validation of agent based and discrete event simulation models as well. In this paper we build on that work and show how MT can be applied to hybrid simulation models. We demonstrate the effectiveness of our approach by applying it on a case study of helping behavior among servers in a restaurant.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"208 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75653420","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Novel Routing Protocol for Wireless Ad Hoc Networks Based on the Behavior of Slime Mold Physarum Polycephalum","authors":"Hudson DeVoe, Nicholas Gilmet, H. ElAarag","doi":"10.23919/ANNSIM52504.2021.9552175","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552175","url":null,"abstract":"In this research, we propose a novel bio-inspired algorithm modeled after the slime mold Physarum Polycephalum. Though Physarum Polycephalum lacks a brain of any kind, it can solve mazes and develop efficient networks through simple, repeated behaviors. To improve the performance of routing algorithms in wireless ad hoc networks, we designed the Optimized Physarum Link State Routing (OPLSR) Protocol. We based the mathematical model of OPLSR on the behavior of Physarum Polycephalum to determine the node's willingness to forward packets sent from neighboring nodes. We tested our novel protocol using NS3 network simulator. We compared OPLSR to the Optimized Link State Routing (OLSR) Protocol, the most used routing protocol in wireless ad hoc networks, and Ad hoc On-Demand Distance Vector Routing (AODV) protocol in multiple network environments. Our exhaustive simulations use six important performance measures to show that OPLSR protocol outperforms OLSR and AODV protocols in various network conditions.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"60 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84518239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Massive Generation of Data with Random Variates","authors":"P. Maurer","doi":"10.23919/ANNSIM52504.2021.9552070","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552070","url":null,"abstract":"The Data Generation Language (DGL) has been widely used to generate random data for simulation and for software testing. Although DGL is highly versatile, its ability to handle different probability distributions was severely limited. The work described here corrects this problem by adding features that can be used to generate variates from a number of different probability distributions. This data can be used directly by a simulator or stored in a file or database table for future use. Variate generation makes use of a basic stream of uniformly distributed random numbers that can be generated by one of 47 different random number generators.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"48 1","pages":"1-11"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84621753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Automatically Combining Conceptual Models Using Semantic and Structural Information","authors":"Alexander J. Freund, P. Giabbanelli","doi":"10.23919/ANNSIM52504.2021.9552157","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552157","url":null,"abstract":"A conceptual model is a necessary precursor to a simulation model. It defines the problem space by listing relevant concepts and it identifies salient mechanisms by specifying which concepts are related. In this paper, we focus on conceptual models expressed as causal or ‘cognitive’ maps, in which concepts form nodes and their relationships are directed, weighted edges specifying causal strengths. When modeling complex social systems, participants may provide their perspectives through individual causal maps. To create a simulation model, these maps need to be aggregated into a coherent conceptual model. Two challenges arise: nodes may have different names although participants ascribed the same meanings (i.e., linguistic variability) and disagreements on causal strengths need to be reconciled. Although other fields have long proposed algorithms to aggregate knowledge bases (e.g., ontology matching), there is a paucity of solutions for causal maps. In this paper, we propose a solution for causal maps that leverages recent advances in graph matching. We demonstrate the feasibility and potential of our approach on a case study with $n=22$ maps.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"5 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73819578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. Bordón-Ruiz, E. Besada-Portas, J. Orozco, J. L. Risco-Martín
{"title":"DEVS-Based Simulation for Search and Rescue Missions Involving Multiple UAVS","authors":"J. Bordón-Ruiz, E. Besada-Portas, J. Orozco, J. L. Risco-Martín","doi":"10.23919/ANNSIM52504.2021.9552142","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552142","url":null,"abstract":"Using Unmanned Aerial Vehicles (UAVs) for searching for targets is a complex problem whose applications range from military operations (e.g. targets localization or border surveillance) to civil missions (e.g. mountain or sea rescue). Simulations of real-world operations play an important role in determining the best search strategies to be used. The high number of elements involved in the problem makes real-time simulations an useful tool for system elements coordination, data handling confluence, etc. Model-Based Systems Engineering (MBSE) principles can also be exploited to define the behavior of the whole system from the behaviors of its elements. This paper presents a Discrete Event System Specification (DEVS) modular and hierarchical architecture for simulating real-world target-search scenarios that enhances the adaptability, reusability and scalability properties of our system. The simulations show the benefits of our architecture, which allows to automatically profile and straightforward evaluate different models to select the best alternative.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"63 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86997755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Modeling Spectrum Dependent Characteristics of Triple Junction Solar Cells for Solar-Powered Aircraft","authors":"Daniel Ackermann, A. Bierig, Nies Reininghaus","doi":"10.23919/ANNSIM52504.2021.9552139","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552139","url":null,"abstract":"To build a high-altitude solar-powered aircraft with persistent flight capabilities, an energetic analysis during development is essential. The German Aerospace Center (DLR) is currently developing its own demonstrator aircraft. To investigate the power income of the aircraft's triple junction solar cells, a simulation model is necessary. Most important different spectral irradiance influences shall be considered for calculating electrical characteristics. Besides analyses the solar cells shall be simulated for a hardware-in-the-loop (HIL) testbed too which leads to real-time requirements. Because simulation models of solar cells with the listed capabilities were not existing, a new approach had to be developed. The external quantum efficiency (EQE) and a pre-measured current-voltage (I-V) curve are the key tools to calculate the cells' new I-V curve to a given spectrum. First validation results attest accurate results at different spectra conditions and a consistent runtime of less than $20 mumathrm{s}$ on the target hardware.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"64 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74539329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards Applications of the “Surgical GPS” on Spinal Procedures","authors":"Austin Tapp, M. Audette, Ava Maghouli","doi":"10.23919/ANNSIM52504.2021.9552048","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552048","url":null,"abstract":"Surgical data science (SDS) and computer-assisted surgery (CAS) are becoming increasingly conventional as more physicians incorporate surgical navigation systems into their workflows. Consequently, the necessity for enhanced anatomical structure depictions during intraoperative surgical guidance is also increasing. Anatomically accurate musculoskeletal representations are particularly necessary for orthopedic operations, especially spinal procedures. Additionally, CAS system recognition of clinically relevant structures along surgical corridors is of equal importance; such recognition permits intraoperative guidance when procedures are supervised by surgical process models (SPMs). Therefore, this study outlines a comprehensive solution, termed the “Surgical GPS”, which merges patient-specific, ligamentoskeletal models and physician-designated landmarks and ontologies, to expand spinal anatomy representations and demonstrate SPM applications toward several spine procedures. Patient models are validated with Dice similarity coefficient and Hausdorff distance metrics. Anatomical landmarks are queried from SPMs using pertinent search engines and are highlighted on the patient models, potentially enhancing successful surgical outcomes through context-aware, “GPS” guided CAS.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"19 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84023065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exploring a Digital Shadow Design Workflow by Means of a Line Following Robot Use-Case","authors":"Randy Paredis, H. Vangheluwe","doi":"10.23919/ANNSIM52504.2021.9552143","DOIUrl":"https://doi.org/10.23919/ANNSIM52504.2021.9552143","url":null,"abstract":"Digital Twins (DTs) (including Digital Shadows) are simulation models running in parallel with a realworld system while being fed the same input stimuli as that system. They can be used to analyze, optimize and adapt complicated engineered systems. This paper proposes a generic workflow to construct a Digital Shadow of a simple line-following robot using a Formalism Transformation Graph + Process Model ($text{FTG}+text{PM}$). Causal-Block Diagrams (CBD) were used to model both the physical dynamics and the control logic of the robot. The robot's logic is deployed using MicroPython, running on a LEGO Mindstorms EV3 kit. This study is to be used as a exemplar for future research on Digital Twin architectures and workflows.","PeriodicalId":6782,"journal":{"name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","volume":"30 2 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82645215","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}