Haijing Ning , Herong Zhu , Yisheng An , Naiqi Wu , Yupeng Cao , Xiangmo Zhao
{"title":"Modeling and functional verification of autonomous emergency braking systems based on extended colored hybrid petri nets","authors":"Haijing Ning , Herong Zhu , Yisheng An , Naiqi Wu , Yupeng Cao , Xiangmo Zhao","doi":"10.1016/j.simpat.2025.103149","DOIUrl":"10.1016/j.simpat.2025.103149","url":null,"abstract":"<div><div>The autonomous emergency braking (AEB) system constitutes a critical safety function within advanced driver assistance systems (ADAS). Verifying its functionality is essential to ensure its operational correctness and reliability. Currently, AEB systems developed by different vendors employ diverse algorithms and lack a unified simulation, verification, and fault-detection framework. To bridge these gaps, this paper proposes a comprehensive modeling and functional verification framework for AEB systems. First, we establish a basic model using extended colored hybrid Petri nets (ECHPN). Next, we enhance this model by incorporating fault observation points to form an FD-ECHPN, thereby enabling fault detection and localization. Furthermore, this paper develops a universal simulation and testing approach to verify the functionality of AEB systems from various vendors by transforming the FD-ECHPN model into a Simulink/Stateflow model. The simulation results demonstrate that the proposed method can accurately assess the functionality of an AEB system and effectively identify and localize faults during model execution. Finally, we examine the state evolution and formal properties of the FD-ECHPN model to verify its correctness.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103149"},"PeriodicalIF":3.5,"publicationDate":"2025-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144517221","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A data-driven friction coefficient model and its application in meshing efficiency prediction of heavy-duty gears","authors":"Ningwei Xia , Changjiang Zhou , Shengwen Hou , Fa Zhang","doi":"10.1016/j.simpat.2025.103173","DOIUrl":"10.1016/j.simpat.2025.103173","url":null,"abstract":"<div><div>Heavy-duty gears are extensively utilized in high-power equipment such as helicopters, ships, and commercial vehicles, often leading to significant frictional power losses. Accurate friction prediction is essential for designing energy-efficient transmission systems. This study proposes a data-driven model to predict the friction coefficient and applies it to estimate the meshing efficiency of heavy-duty gears. By training on friction test data under various lubrication conditions, an extreme gradient boosting (XGBoost) model is developed to predict the friction coefficient, with hyperparameters optimized through grid search and cross-validation. The model’s decision mechanism is interpreted using Shapley additive explanations, highlighting the influence of speed, load, surface roughness, and lubricant viscosity on the friction coefficient. When applied to predict meshing efficiency, the model is experimentally validated, achieving a maximum prediction error of 0.211 % and an average error of 0.108 %. The effects of major operating and geometrical parameters are analyzed, showing that meshing efficiency increases with higher speeds, torque, pressure angles, tip relief length, and lower addendum coefficients. The results indicate that proper parameter optimization and the use of high-viscosity lubricants can enhance the energy efficiency of heavy-duty gears.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103173"},"PeriodicalIF":3.5,"publicationDate":"2025-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144510757","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Simulating optimal flood evacuation using heuristic algorithms and path-choice behaviors","authors":"Housseyn Chebika , Guoqiang Shen , Haoying Han , Mahmoud Mabrouk , Brahim Nouibat","doi":"10.1016/j.simpat.2025.103167","DOIUrl":"10.1016/j.simpat.2025.103167","url":null,"abstract":"<div><div>Effective path planning in flooding emergency rescue scenarios is essential for ensuring timely evacuation while minimizing safety risks. Conventional path-planning algorithms often prioritize the shortest or most cost-efficient routes, potentially neglecting safety considerations. To address this limitation, this study introduces an improved path-planning method using a behavior-based A-star (A*) algorithm designed for evacuation scenarios. A cellular automata (CA) environment is applied to address common challenges associated with traditional A* algorithms, including path inefficiencies, longer distances, and difficulties in handling dynamic flood environments. The key innovation of this study is the optimization of a heuristic function by integrating depth sensitivity perception (DSP), which directly influences evacuation behavior by prioritizing safer paths based on real-time water depth assessments during path selection. Experimental results across diverse flood scenarios demonstrate that the optimized A* algorithm significantly outperforms traditional A-star and Dijkstra’s algorithms, achieving reductions in explored nodes by 90.06 % and 93.13 %, lowering safety risks, and shortening computational times by 87.65 % and 88.06 %, respectively. These findings validate the efficacy of the depth-sensitive heuristic in enhancing evacuation pathfinding within complex flood environments.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103167"},"PeriodicalIF":3.5,"publicationDate":"2025-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596951","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ioannis Kleitsiotis , George Tsirogiannis , Spiridon Likothanassis
{"title":"Efficient prior specification in procedural 3D modelling","authors":"Ioannis Kleitsiotis , George Tsirogiannis , Spiridon Likothanassis","doi":"10.1016/j.simpat.2025.103165","DOIUrl":"10.1016/j.simpat.2025.103165","url":null,"abstract":"<div><div>Procedural modelling programs can be used to generate 3D scenes of infinite variety, alleviating the need for manual repetitive tasks in 3D modelling. We utilize a probabilistic programming interpretation of controlled procedural modelling programs, and address the issue of prior misspecification, which can hinder the accurate representation of 3D models. We are interested in cases where prior knowledge is available as probabilistic tail bounds on global, high-level features of the 3D scene. In general, specifying the prior parameters satisfying the aforementioned high-level prior knowledge requires a parameter space search. However, programs with a large number of random variables, 3D scenes described by multiple procedural modelling programs and the need for repeated prior predictive checks might necessitate a prolonged prior parameter search. We reduce the time complexity of prior parameter search, and thus improve the process of modelling 3D scenes, by replacing computationally expensive computations of tail bounds constraints with the lower bounds provided by Selberg’s inequality. We present the theoretical underpinnings of our method and a detailed feasibility problem formulation that can be solved numerically. We compare our method to related approaches in the literature, and finally, we demonstrate its application in the procedural generation of 3D scenes in the agricultural domain.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103165"},"PeriodicalIF":3.5,"publicationDate":"2025-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144472339","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"MBMRF: A modified bidirectional IPv6 multicast protocol with mixed upward and downward forwarding for TSCH-enabled WSANs","authors":"Eden Teshome Hunde , Shereen Ismail","doi":"10.1016/j.simpat.2025.103172","DOIUrl":"10.1016/j.simpat.2025.103172","url":null,"abstract":"<div><div>Wireless Sensor and Actuator Networks (WSANs) consist of numerous embedded devices that collaborate to perform complex tasks, surpassing the capabilities of traditional wired networks. This collaboration is efficiently enabled through multicast protocols. While multicast protocols offer significant advantages for WSANs, many fail to meet certain performance requirements. To address these challenges, we propose the Modified Bidirectional Multicast RPL Forwarding (MBMRF) protocol.</div><div>This study tackles limitations in existing Internet Protocol version 6 (IPv6) multicast protocols, including the Routing Protocol for Low Power and Lossy Networks (RPL) and Bidirectional Multicast RPL Forwarding (BMRF). The proposed MBMRF protocol introduces a novel mixed upward and downward multicast packet forwarding mechanism optimized for multi-channel Time Slotted Channel Hopping (TSCH) networks. Furthermore, to ensure sufficient timeslot allocation for scheduling mixed up-and-down packet transmissions, the protocol incorporates a modified version of the Orchestra scheduling algorithm.</div><div>The proposed MBMRF protocol was implemented and simulated on Zolertia (Z1) motes using the Contiki operating system and evaluated against existing IPv6 multicast protocols, including Stateless Multicast RPL Forwarding (SMRF), Enhanced Stateless Multicast RPL Forwarding (ESMRF), and BMRF. Results show that MBMRF significantly reduces buffer overflow and network-wide energy consumption compared to SMRF, ESMRF, and BMRF, with only a marginal increase in memory usage.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103172"},"PeriodicalIF":3.5,"publicationDate":"2025-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144482452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Analysis and optimizations of PMI and rank selection algorithms for 5G NR","authors":"Gabriel Carvalho, Sandra Lagén","doi":"10.1016/j.simpat.2025.103162","DOIUrl":"10.1016/j.simpat.2025.103162","url":null,"abstract":"<div><div>Multiple-Input Multiple-Output (MIMO) is crucial for enhancing spectral efficiency, channel capacity, coverage, and robustness. However, it requires significant computations to determine a precoding matrix for transmitted data streams. In closed-loop MIMO, as adopted in 3GPP 5G NR, these computations occur on the user side. To avoid transmitting large matrices, 3GPP defined codebooks with pre-defined precoding matrices indexed by the Precoding Matrix Indicator (PMI). The User Equipment (UE) selects a PMI and a Rank Indicator (RI) to report to the Next Generation Node Base (gNB) as part of the Channel State Information (CSI) feedback. PMI/RI selection can be done via exhaustive search or more efficient techniques, which are crucial for real UE implementations due to their impact on computational complexity and energy consumption. This paper analyzes various PMI/RI selection techniques using the open-source ns-3 5G-LENA simulator. We have implemented state-of-the-art techniques in the system-level simulator and carried out extensive simulation campaigns. Also, we propose new PMI/RI selection methods by focusing on performance versus computational complexity trade-offs. Our proposed techniques show a superior simulation speedup (3.71x to 1.119x) with minimal throughput degradation (3% to 3.3%) compared to exhaustive search, depending on sub-band downsampling settings. Other state-of-the-art techniques implemented exhibit greater throughput losses (up to 8.3%) for a lower speedup (up to 3.54x) or similar losses with smaller speedups and potential slowdowns.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103162"},"PeriodicalIF":3.5,"publicationDate":"2025-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144338635","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Maryam Shamsoddini, Ali Ghaffari, Masoud Kargar, Nahideh Derakhshanfard
{"title":"RCPFH: Reliable controller placement in software-defined networks using fuzzy systems and a modified walrus optimization algorithm","authors":"Maryam Shamsoddini, Ali Ghaffari, Masoud Kargar, Nahideh Derakhshanfard","doi":"10.1016/j.simpat.2025.103171","DOIUrl":"10.1016/j.simpat.2025.103171","url":null,"abstract":"<div><div>Software-Defined Networking (SDN) is a novel network architecture that separates the control plane from the data plane, enabling centralized and programmable management of network resources. One of the key challenges in SDN is determining the optimal number and locations of controllers, called the Controller Placement Problem (CPP), to ensure balanced load distribution, minimal latency, and high network reliability. This paper introduces a novel three-phase approach called Reliable Controller Placement using Fuzzy Logic and Metaheuristic Algorithms (RCPFH), which efficiently optimizes controller placement in SDN environments. In the first phase, the approach employs a fuzzy logic system guided by Levy Flight parameters to estimate the optimal number of controllers by evaluating critical factors such as energy consumption, congestion levels, and load variance across the network. The second phase utilizes a Modified Walrus Optimization Algorithm to identify the most suitable controller positions, considering path reliability, processing capacity, and propagation delay. Finally, in the third phase, backup controllers are selected to enhance system reliability in the event of controller failure. The proposed RCPFH framework is evaluated using four real-world network topologies from the ZOO Topology dataset. Comparative experiments with state-of-the-art approaches demonstrate significant performance improvements: up to a 38 % reduction in energy consumption, an 11 % decrease in load variance, a 36 % increase in network availability, a 17 % reduction in average latency, and a 15 % decrease in link failure rate. These results validate the effectiveness of RCPFH in optimizing SDN performance while maintaining robustness and operational efficiency.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103171"},"PeriodicalIF":3.5,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144472338","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"JaGW: A hybrid meta-heuristic algorithm for IoT workflow placement in fog computing environment","authors":"Hemant Kumar Apat , Bibhudatta Sahoo","doi":"10.1016/j.simpat.2025.103163","DOIUrl":"10.1016/j.simpat.2025.103163","url":null,"abstract":"<div><div>In recent years, applications of the Internet of Things (IoT) have experienced rapid growth, driven by the widespread adoption of IoT devices in various sectors. However, these devices are typically resource-constrained in terms of computing power and storage capacity. As a result, they often offload the generated data and tasks to nearby edge devices or fog computing layers for further processing and execution. The fog computing layer is located in close vicinity of the IoT devices and comprises a set of heterogeneous fog computing nodes to supplement the capacities of resource-constrained IoT devices. The fog computing nodes often pose computational challenges for various computation-intensive tasks such as image processing application, comprises various machine learning and artificial intelligence enabled tasks. In such a scenario, finding the effective task placement for dynamic and heterogeneous applications is computationally hard. In this work, we formulate the IoT application workflow placement problem as a multi-objective optimization problem formulated as Integer Linear Programming (ILP) model with the objective of minimizing the makespan, cost of execution, and energy consumption. A hybrid metaheuristic approach is proposed that combines the strengths of the Jaya algorithm (JA) and Grey Wolf Optimization (GWO) named as JaGW to derive a sub-optimal solution. The proposed JaGW is compared with conventional GWO and other state of the art algorithms such as Ant Colony Optimization (ACO) and Particle Swarm Optimization (PSO) using the Montage scientific workflow dataset. The simulation results demonstrate that the proposed algorithm achieves an average reduction in energy consumption of 24.84% compared to JAYA, 14.67% compared to ACO, 14.65% compared to PSO, and 8.78% compared to GWO, thereby exemplifying its superior performance over other metaheuristic algorithms.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103163"},"PeriodicalIF":3.5,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144314121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Chuanxiang Ren , Li Lu , Xiang Liu , Fangfang Fu , Lin Cheng
{"title":"Multi-intersection platoon ecological speed planning strategy and method for autonomous driving simulation testing","authors":"Chuanxiang Ren , Li Lu , Xiang Liu , Fangfang Fu , Lin Cheng","doi":"10.1016/j.simpat.2025.103166","DOIUrl":"10.1016/j.simpat.2025.103166","url":null,"abstract":"<div><div>With the rapid development of Internet of Vehicles (IoV) technology, ecological speed planning has become a critical challenge in eco-driving, particularly in reducing energy consumption and improving the efficiency of autonomous vehicles. A key research focus is how to achieve energy savings and emission reductions by optimizing driving speed under various complex conditions, while simultaneously ensuring driving comfort and traffic efficiency. In view of this, a multi-intersection ecological speed planning strategy and method for autonomous platoon is proposed, aiming to reduce speed fluctuations and energy consumption of autonomous platoon in multiple driving scenarios. Firstly, the scenarios of platoon passing through the current intersection and its downstream intersection are analyzed, and then, the strategies for the platoon to pass through the current and its downstream intersections are proposed, including constant speed strategy (CSS) and segmented speed strategy (SSS). Moreover, the platoon ecological speed planning method is presented, which includes the calculation of the passage period, the capacity in the passage period of the intersections, and the platoon ecological speed. Finally, different simulation situations are designed in view of different ecological speed strategies, and compared with the single intersection platoon speed strategy (SIPSS) and the no speed strategy (NSS). The results indicate that the CSS and the SSS can mitigate the speed fluctuations of the platoon through intersections, reduce the fuel consumption and delay time, and outperform the SIPSS and NSS. Especially in the current intersection with a queuing platoon, the proposed strategy reduces fuel consumption and delay time by up to 67.21 % and 2.74 %, respectively.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"144 ","pages":"Article 103166"},"PeriodicalIF":3.5,"publicationDate":"2025-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144297683","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Optimizing IoMT network performance using gateway placement","authors":"R. Mahalakshmi, N. Lalithamani","doi":"10.1016/j.simpat.2025.103164","DOIUrl":"10.1016/j.simpat.2025.103164","url":null,"abstract":"<div><div>Gateway Device placement for processing patient data, plays a pivotal role in providing accurate and critical care for patient monitoring and assistance in a connected healthcare system. Long Range Wide Area Network (LoRaWAN) is a wide area network protocol used in providing low-power, seamless communication between the patient health sensors, monitors and the health assistance services in a healthcare network using gateway devices. Objective of the research work is to achieve optimization in the gateway by an adaptive device placement strategy using LoRaWAN thereby improving the network performance. The strategy is a multi-objective optimization, which includes Coverage Maximization, connectivity Optimization, and Energy Minimization for improving the network performance. The gateway placement strategy is verified with the simulation results obtained from Omnet++ Framework for LoRa (FLoRa). The network performance improvement is verified with key metric results observed based on the gateway placement strategy, resulted in Average Energy Consumption being 4.44 mJ, Packet Delivery Ratio (PDR) at 69 %, and Throughput reaching to 481 bps.</div></div>","PeriodicalId":49518,"journal":{"name":"Simulation Modelling Practice and Theory","volume":"143 ","pages":"Article 103164"},"PeriodicalIF":3.5,"publicationDate":"2025-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144262387","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}