首页 > 最新文献

IEEE Open Journal of Vehicular Technology最新文献

英文 中文
Deep Learning in the Fast Lane: A Survey on Advanced Intrusion Detection Systems for Intelligent Vehicle Networks 快车道上的深度学习:智能车联网高级入侵检测系统概览
IF 5.3 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-07-02 DOI: 10.1109/OJVT.2024.3422253
Mohammed Almehdhar;Abdullatif Albaseer;Muhammad Asif Khan;Mohamed Abdallah;Hamid Menouar;Saif Al-Kuwari;Ala Al-Fuqaha
The rapid evolution of modern automobiles into intelligent and interconnected entities presents new challenges in cybersecurity, particularly in Intrusion Detection Systems (IDS) for In-Vehicle Networks (IVNs). This survey paper offers an in-depth examination of advanced machine learning (ML) and deep learning (DL) approaches employed in developing sophisticated IDS for safeguarding IVNs against potential cyber-attacks. Specifically, we focus on the Controller Area Network (CAN) protocol, which is prevalent in in-vehicle communication systems, yet exhibits inherent security vulnerabilities. We propose a novel taxonomy categorizing IDS techniques into conventional ML, DL, and hybrid models, highlighting their applicability in detecting and mitigating various cyber threats, including spoofing, eavesdropping, and denial-of-service attacks. We highlight the transition from traditional signature-based to anomaly-based detection methods, emphasizing the significant advantages of AI-driven approaches in identifying novel and sophisticated intrusions. Our systematic review covers a range of AI algorithms, including traditional ML, and advanced neural network models, such as Transformers, illustrating their effectiveness in IDS applications within IVNs. Additionally, we explore emerging technologies, such as Federated Learning (FL) and Transfer Learning, to enhance the robustness and adaptability of IDS solutions. Based on our thorough analysis, we identify key limitations in current methodologies and propose potential paths for future research, focusing on integrating real-time data analysis, cross-layer security measures, and collaborative IDS frameworks.
现代汽车迅速发展成为智能互联实体,给网络安全带来了新的挑战,尤其是车载网络(IVN)的入侵检测系统(IDS)。本调查报告深入探讨了先进的机器学习(ML)和深度学习(DL)方法,这些方法用于开发先进的 IDS,以保护 IVN 免受潜在的网络攻击。具体而言,我们将重点放在控制器局域网(CAN)协议上,该协议在车载通信系统中非常普遍,但却存在固有的安全漏洞。我们提出了一种新的分类法,将 IDS 技术分为传统的 ML、DL 和混合模型,强调它们在检测和缓解各种网络威胁(包括欺骗、窃听和拒绝服务攻击)方面的适用性。我们重点介绍了从传统的基于签名的检测方法到基于异常的检测方法的转变,强调了人工智能驱动的方法在识别新型和复杂入侵方面的显著优势。我们的系统性综述涵盖了一系列人工智能算法,包括传统的 ML 和高级神经网络模型(如 Transformers),说明了它们在 IVN 内 IDS 应用中的有效性。此外,我们还探索了联邦学习(FL)和迁移学习等新兴技术,以增强 IDS 解决方案的鲁棒性和适应性。在全面分析的基础上,我们确定了当前方法的主要局限性,并提出了未来研究的潜在路径,重点是整合实时数据分析、跨层安全措施和协作式 IDS 框架。
{"title":"Deep Learning in the Fast Lane: A Survey on Advanced Intrusion Detection Systems for Intelligent Vehicle Networks","authors":"Mohammed Almehdhar;Abdullatif Albaseer;Muhammad Asif Khan;Mohamed Abdallah;Hamid Menouar;Saif Al-Kuwari;Ala Al-Fuqaha","doi":"10.1109/OJVT.2024.3422253","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3422253","url":null,"abstract":"The rapid evolution of modern automobiles into intelligent and interconnected entities presents new challenges in cybersecurity, particularly in Intrusion Detection Systems (IDS) for In-Vehicle Networks (IVNs). This survey paper offers an in-depth examination of advanced machine learning (ML) and deep learning (DL) approaches employed in developing sophisticated IDS for safeguarding IVNs against potential cyber-attacks. Specifically, we focus on the Controller Area Network (CAN) protocol, which is prevalent in in-vehicle communication systems, yet exhibits inherent security vulnerabilities. We propose a novel taxonomy categorizing IDS techniques into conventional ML, DL, and hybrid models, highlighting their applicability in detecting and mitigating various cyber threats, including spoofing, eavesdropping, and denial-of-service attacks. We highlight the transition from traditional signature-based to anomaly-based detection methods, emphasizing the significant advantages of AI-driven approaches in identifying novel and sophisticated intrusions. Our systematic review covers a range of AI algorithms, including traditional ML, and advanced neural network models, such as Transformers, illustrating their effectiveness in IDS applications within IVNs. Additionally, we explore emerging technologies, such as Federated Learning (FL) and Transfer Learning, to enhance the robustness and adaptability of IDS solutions. Based on our thorough analysis, we identify key limitations in current methodologies and propose potential paths for future research, focusing on integrating real-time data analysis, cross-layer security measures, and collaborative IDS frameworks.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"869-906"},"PeriodicalIF":5.3,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10582439","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141965266","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimization Techniques in Electric Vehicle Charging Scheduling, Routing and Spatio-Temporal Demand Coordination: A Systematic Review 电动汽车充电调度、路由和时空需求协调中的优化技术:系统综述
IF 5.3 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-06-28 DOI: 10.1109/OJVT.2024.3420244
Eiman Elghanam;Akmal Abdelfatah;Mohamed S. Hassan;Ahmed H. Osman
The growing penetration of electric vehicles (EVs) and the increasing EV energy demand pose several challenges to the power grid, the power distribution networks and the transportation networks. This growing demand drives the need for effective demand management and energy coordination strategies to maximize the demand covered by the EV charging stations, ensure EV users' satisfaction and prevent grid-side overload. As a result, several optimization problems are formulated and solved in the literature to provide optimal EV charging schedules (i.e. temporal coordination) as well as optimal EV-to-charging-station assignments and routing plans (i.e. spatial coordination). This paper presents a review of the state-of-the-art literature on the utilization of different deterministic optimization techniques to develop optimal EV charging coordination strategies. In particular, these works are reviewed according to their domains of operation (i.e. time-based scheduling, spatial coordination, and spatio-temporal charging coordination), their respective objectives (user-, grid- and operator-related objectives), and the solution algorithms adopted to provide the corresponding optimal coordination plans. This helps in identifying key research gaps and provide recommendations for future research directions to develop comprehensive and computationally efficient charging coordination models.
电动汽车(EV)的日益普及和电动汽车能源需求的不断增长给电网、配电网络和交通网络带来了诸多挑战。日益增长的需求促使人们需要有效的需求管理和能源协调策略,以最大限度地满足电动汽车充电站的需求,确保电动汽车用户的满意度,并防止电网侧过载。因此,文献中提出并解决了多个优化问题,以提供最佳电动汽车充电时间表(即时间协调)以及最佳电动汽车充电站分配和路由计划(即空间协调)。本文综述了利用不同确定性优化技术开发最佳电动汽车充电协调策略的最新文献。特别是,本文根据其运行领域(即基于时间的调度、空间协调和时空充电协调)、各自的目标(与用户、电网和运营商相关的目标)以及为提供相应的最优协调计划而采用的解决算法,对这些文献进行了综述。这有助于确定关键的研究差距,并为未来的研究方向提供建议,以开发全面且计算效率高的充电协调模型。
{"title":"Optimization Techniques in Electric Vehicle Charging Scheduling, Routing and Spatio-Temporal Demand Coordination: A Systematic Review","authors":"Eiman Elghanam;Akmal Abdelfatah;Mohamed S. Hassan;Ahmed H. Osman","doi":"10.1109/OJVT.2024.3420244","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3420244","url":null,"abstract":"The growing penetration of electric vehicles (EVs) and the increasing EV energy demand pose several challenges to the power grid, the power distribution networks and the transportation networks. This growing demand drives the need for effective demand management and energy coordination strategies to maximize the demand covered by the EV charging stations, ensure EV users' satisfaction and prevent grid-side overload. As a result, several optimization problems are formulated and solved in the literature to provide optimal EV charging schedules (i.e. temporal coordination) as well as optimal EV-to-charging-station assignments and routing plans (i.e. spatial coordination). This paper presents a review of the state-of-the-art literature on the utilization of different deterministic optimization techniques to develop optimal EV charging coordination strategies. In particular, these works are reviewed according to their domains of operation (i.e. time-based scheduling, spatial coordination, and spatio-temporal charging coordination), their respective objectives (user-, grid- and operator-related objectives), and the solution algorithms adopted to provide the corresponding optimal coordination plans. This helps in identifying key research gaps and provide recommendations for future research directions to develop comprehensive and computationally efficient charging coordination models.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"1294-1313"},"PeriodicalIF":5.3,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10577180","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274846","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Data-Oriented Analysis of Uplink Transmission in Massive IoT System With Limited Channel Information 对信道信息有限的大规模物联网系统中上行链路传输的数据导向分析
IF 5.3 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-06-28 DOI: 10.1109/OJVT.2024.3420224
Jyri Hämäläinen;Rui Dinis;Mehmet C. Ilter
Recently, the paradigm of massive ultra-reliable low-latency Internet of Things (IoT) communications (URLLC-IoT) has gained growing interest. Reliable delay-critical uplink transmission in vehicular IoT is a challenging task since low-complex devices typically do not support multiple antennas or demanding signal processing tasks. However, in many IoT services, the data volumes are small and deployments may include massive number of devices. For this kind of setup, we consider on a clustered uplink transmission with two cooperation approaches: First, we focus on scenario where location-based channel knowledge map (CKM) is applied to enable cooperation. Second, we consider a scenario where scarce channel side-information is applied inuplink transmission. In both scenarios we also model and analyse the impact of erroneous channel information. As being different from the existing literature, in the performance evaluation, we apply the recently introduced data-oriented approach in the context of short-packet transmissions over vehicular IoT networks. Specifically, it introduces a transient performance metric for small data transmissions the so-called delay outage rate (DOR), where the amount of data and available bandwidth play crucial roles. Results show that cooperation between clustered IoT devices may provide notable benefits in terms of increased range. It is noticed that the performance is heavily depending on the strength of the static channel component in the CKM-based cooperation. Also, it is shown that the channel side-information based cooperation is robust against changes in the radio environment but sensitive to possible errors in the channel side-information. Even with large IoT device clusters, side-information errors may set a limit for the use of services assuming high-reliability and low-latency where DOR is the relevant metric. The analytical derivations are validated through corresponding Monte Carlo numerical simulations, with only minor differences at low probability values.
最近,大规模超可靠低延迟物联网(IoT)通信(URLLC-IoT)范例越来越受到关注。车载物联网中可靠的延迟关键上行链路传输是一项具有挑战性的任务,因为低复杂度设备通常不支持多天线或苛刻的信号处理任务。然而,在许多物联网服务中,数据量较小,部署可能包括大量设备。针对这种设置,我们考虑采用两种合作方式进行集群上行链路传输:首先,我们将重点放在应用基于位置的信道知识图(CKM)来实现合作的场景上。其次,我们考虑在上行链路传输中应用稀缺信道侧信息的情况。在这两种情况下,我们还对错误信道信息的影响进行了建模和分析。与现有文献不同的是,在性能评估中,我们将最近推出的面向数据的方法应用于车辆物联网网络的短数据包传输。具体来说,它为小数据传输引入了一个瞬态性能指标,即所谓的延迟中断率(DOR),其中数据量和可用带宽起着至关重要的作用。结果表明,集群物联网设备之间的合作可在增加范围方面带来显著优势。我们注意到,在基于 CKM 的合作中,性能在很大程度上取决于静态信道组件的强度。此外,研究还表明,基于信道侧信息的合作对无线电环境的变化具有鲁棒性,但对信道侧信息中可能存在的错误非常敏感。即使在大型物联网设备集群中,侧信息错误也可能对假设高可靠性和低延迟(DOR 是相关指标)的服务使用设置限制。分析推导通过相应的蒙特卡罗数值模拟进行了验证,仅在低概率值时存在微小差异。
{"title":"Data-Oriented Analysis of Uplink Transmission in Massive IoT System With Limited Channel Information","authors":"Jyri Hämäläinen;Rui Dinis;Mehmet C. Ilter","doi":"10.1109/OJVT.2024.3420224","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3420224","url":null,"abstract":"Recently, the paradigm of massive ultra-reliable low-latency Internet of Things (IoT) communications (URLLC-IoT) has gained growing interest. Reliable delay-critical uplink transmission in vehicular IoT is a challenging task since low-complex devices typically do not support multiple antennas or demanding signal processing tasks. However, in many IoT services, the data volumes are small and deployments may include massive number of devices. For this kind of setup, we consider on a clustered uplink transmission with two cooperation approaches: First, we focus on scenario where location-based channel knowledge map (CKM) is applied to enable cooperation. Second, we consider a scenario where scarce channel side-information is applied inuplink transmission. In both scenarios we also model and analyse the impact of erroneous channel information. As being different from the existing literature, in the performance evaluation, we apply the recently introduced data-oriented approach in the context of short-packet transmissions over vehicular IoT networks. Specifically, it introduces a transient performance metric for small data transmissions the so-called delay outage rate (DOR), where the amount of data and available bandwidth play crucial roles. Results show that cooperation between clustered IoT devices may provide notable benefits in terms of increased range. It is noticed that the performance is heavily depending on the strength of the static channel component in the CKM-based cooperation. Also, it is shown that the channel side-information based cooperation is robust against changes in the radio environment but sensitive to possible errors in the channel side-information. Even with large IoT device clusters, side-information errors may set a limit for the use of services assuming high-reliability and low-latency where DOR is the relevant metric. The analytical derivations are validated through corresponding Monte Carlo numerical simulations, with only minor differences at low probability values.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"855-868"},"PeriodicalIF":5.3,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10577226","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141729886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
EV Charging Management and Security for Multi-Charging Stations Environment 多充电站环境下的电动汽车充电管理与安全
IF 5.3 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-06-24 DOI: 10.1109/OJVT.2024.3418201
Safa Hamdare;David J. Brown;Yue Cao;Mohammad Aljaidi;Omprakash Kaiwartya;Rahul Yadav;Pratik Vyas;Manish Jugran
The widespread adoption of Electric Vehicles (EV) has emphasized the urgent need for efficient and secure charging infrastructure. While existing research in EV charging infrastructure has primarily concentrated on minimizing charging time at charging stations (CSs), neglecting security-centric charging optimization, particularly with scaled charging infrastructure considering multiple CSs. To address this gap, this paper presents an enhanced Hybrid-Electric Vehicle Charging Management and Security (H-EVCMS) framework. The H-EVCMS framework is meticulously designed to optimize charging price, manage load balancing, and provide security across multiple CS by leveraging the Open Charge Point Protocol (OCPP). The proposed framework's performance is evaluated by examining various charging scenarios and analyzing the booking and power consumption patterns of each CS. The results demonstrate the advantages of the hybrid approach used by the proposed H-EVCMS over traditional charging infrastructure management, showcasing its potential to address the challenges of scaling EV charging infrastructure while ensuring security and efficiency.
电动汽车(EV)的广泛应用凸显了对高效、安全充电基础设施的迫切需求。现有的电动汽车充电基础设施研究主要集中在最大限度地缩短充电站(CS)的充电时间,而忽视了以安全为中心的充电优化,特别是在考虑多个 CS 的规模化充电基础设施中。为弥补这一不足,本文提出了一个增强型混合动力电动汽车充电管理与安全(H-EVCMS)框架。H-EVCMS 框架经过精心设计,可优化充电价格、管理负载平衡,并利用开放充电点协议 (OCPP) 为多个 CS 提供安全性。通过研究各种充电场景和分析每个 CS 的预订和功耗模式,对所提出框架的性能进行了评估。结果表明,与传统的充电基础设施管理相比,拟议的 H-EVCMS 采用的混合方法具有优势,展示了其在确保安全和效率的同时应对电动汽车充电基础设施扩展挑战的潜力。
{"title":"EV Charging Management and Security for Multi-Charging Stations Environment","authors":"Safa Hamdare;David J. Brown;Yue Cao;Mohammad Aljaidi;Omprakash Kaiwartya;Rahul Yadav;Pratik Vyas;Manish Jugran","doi":"10.1109/OJVT.2024.3418201","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3418201","url":null,"abstract":"The widespread adoption of Electric Vehicles (EV) has emphasized the urgent need for efficient and secure charging infrastructure. While existing research in EV charging infrastructure has primarily concentrated on minimizing charging time at charging stations (CSs), neglecting security-centric charging optimization, particularly with scaled charging infrastructure considering multiple CSs. To address this gap, this paper presents an enhanced Hybrid-Electric Vehicle Charging Management and Security (H-EVCMS) framework. The H-EVCMS framework is meticulously designed to optimize charging price, manage load balancing, and provide security across multiple CS by leveraging the Open Charge Point Protocol (OCPP). The proposed framework's performance is evaluated by examining various charging scenarios and analyzing the booking and power consumption patterns of each CS. The results demonstrate the advantages of the hybrid approach used by the proposed H-EVCMS over traditional charging infrastructure management, showcasing its potential to address the challenges of scaling EV charging infrastructure while ensuring security and efficiency.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"807-824"},"PeriodicalIF":5.3,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10569090","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141583486","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Dynamic Conjugate Gradient Unfolding for Symbol Detection in Time-Varying Massive MIMO 时变大规模多输入多输出(MIMO)中动态共轭梯度展开的符号检测
IF 5.3 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-06-06 DOI: 10.1109/OJVT.2024.3410834
Toluwaleke Olutayo;Benoit Champagne
This article addresses the problem of symbol detection in time-varying Massive Multiple-Input Multiple-Output (M-MIMO) systems. While conventional detection techniques either exhibit subpar performance or impose excessive computational burdens in such systems, learning-based methods which have shown great potential in stationary scenarios, struggle to adapt to non-stationary conditions. To address these challenges, we introduce innovative extensions to the Learned Conjugate Gradient Network (LcgNet) M-MIMO detector. Firstly, we expound Preconditioned LcgNet (PrLcgNet), which incorporates a preconditioner during training to enhance the uplink M-MIMO detector's filter matrix. This modification enables the detector to achieve faster convergence with fewer layers compared to the original approach. Secondly, we introduce an adaptation of PrLcgNet referred to as Dynamic Conjugate Gradient Network (DyCoGNet), specifically designed for time-varying environments. DyCoGNet leverages self-supervised learning with Forward Error Correction (FEC), enabling autonomous adaptation without the need for explicit labeled data. It also employs meta-learning, facilitating rapid adaptation to unforeseen channel conditions. Our simulation results demonstrate that in stationary scenarios, PrLcgNet achieves faster convergence than LCgNet, which can be leveraged to reduce system complexity or improve Symbol Error Rate (SER) performance. Furthermore, in non-stationary scenarios, DyCoGNet exhibits rapid and efficient adaptation, achieving significant SER performance gains compared to baseline cases without meta-learning and a recent benchmark using self-supervised learning.
本文探讨了时变大规模多输入多输出(M-MIMO)系统中的符号检测问题。传统检测技术在此类系统中要么表现不佳,要么造成过重的计算负担,而基于学习的方法虽然在静态情况下显示出巨大潜力,却难以适应非静态条件。为了应对这些挑战,我们对学习共轭梯度网络(LcgNet)M-MIMO 检测器进行了创新性扩展。首先,我们阐述了预处理 LcgNet (PrLcgNet),它在训练过程中加入了一个预处理器,以增强上行链路 M-MIMO 检测器的滤波器矩阵。与原始方法相比,这种修改使检测器能以更少的层数实现更快的收敛。其次,我们引入了一种对 PrLcgNet 的改进,称为动态共轭梯度网络(DyCoGNet),专门针对时变环境而设计。DyCoGNet 利用带有前向纠错功能(FEC)的自监督学习,无需明确的标记数据即可实现自主适应。它还采用了元学习技术,便于快速适应不可预见的信道条件。我们的仿真结果表明,在静止场景中,PrLcgNet 比 LCgNet 的收敛速度更快,可用于降低系统复杂性或提高符号错误率 (SER) 性能。此外,在非稳态场景中,DyCoGNet 表现出快速高效的适应性,与没有元学习的基线案例和最近使用自监督学习的基准相比,SER 性能显著提高。
{"title":"Dynamic Conjugate Gradient Unfolding for Symbol Detection in Time-Varying Massive MIMO","authors":"Toluwaleke Olutayo;Benoit Champagne","doi":"10.1109/OJVT.2024.3410834","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3410834","url":null,"abstract":"This article addresses the problem of symbol detection in time-varying Massive Multiple-Input Multiple-Output (M-MIMO) systems. While conventional detection techniques either exhibit subpar performance or impose excessive computational burdens in such systems, learning-based methods which have shown great potential in stationary scenarios, struggle to adapt to non-stationary conditions. To address these challenges, we introduce innovative extensions to the Learned Conjugate Gradient Network (LcgNet) M-MIMO detector. Firstly, we expound Preconditioned LcgNet (PrLcgNet), which incorporates a preconditioner during training to enhance the uplink M-MIMO detector's filter matrix. This modification enables the detector to achieve faster convergence with fewer layers compared to the original approach. Secondly, we introduce an adaptation of PrLcgNet referred to as Dynamic Conjugate Gradient Network (DyCoGNet), specifically designed for time-varying environments. DyCoGNet leverages self-supervised learning with Forward Error Correction (FEC), enabling autonomous adaptation without the need for explicit labeled data. It also employs meta-learning, facilitating rapid adaptation to unforeseen channel conditions. Our simulation results demonstrate that in stationary scenarios, PrLcgNet achieves faster convergence than LCgNet, which can be leveraged to reduce system complexity or improve Symbol Error Rate (SER) performance. Furthermore, in non-stationary scenarios, DyCoGNet exhibits rapid and efficient adaptation, achieving significant SER performance gains compared to baseline cases without meta-learning and a recent benchmark using self-supervised learning.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"792-806"},"PeriodicalIF":5.3,"publicationDate":"2024-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10551475","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141439460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Relay-Aided Uplink NOMA Under Non-Orthogonal CCI and Imperfect SIC in 6G Networks 6G 网络中非全交 CCI 和不完美 SIC 下的中继辅助上行链路 NOMA
IF 6.4 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-04-24 DOI: 10.1109/OJVT.2024.3392951
Volkan Özduran;Nikolaos Nomikos;Ehsan Soleimani-Nasab;Imran Shafique Ansari;Panagiotis Trakadas
Sixth generation (6G) networks must guarantee radio-resource availability for coexisting users and machines. Here, non-orthogonal multiple access (NOMA) can address resource limitations by serving multiple devices on the same spectral and temporal resources. Meanwhile, cooperative relays can mitigate the impact with excessive large- and small-scale fading and interference. Still, to unlock the full potential of NOMA in 6G deployments, its performance must be analyzed under interference-limited scenarios with NOMA communications occuring across multiple cells. In this paper, the detrimental effect of co-channel interference (CCI) from nearby NOMA transmissions on a relay-aided NOMA network is examined. More specifically, randomly deployed CCI terminals communicate using NOMA and degrade the uplink communication. Network performance is thoroughly analyzed for various metrics, considering independent and identically distributed non-orthogonal CCI. Furthermore, for improved performance, transmit power, power allocation, and relay location optimization is presented. This scenario can correspond to Industry 4.0 settings, relying on private networks that can adjust the transmit power of interferers within the network. Our analytical findings are verified through Monte-Carlo simulations, revealing that non-orthogonal CCI degrades the system performance, causing system coding gain losses. Nonetheless, the proposed optimization framework can mitigate the impact of non-orthogonal CCI and ensure improved uplink performance.
第六代(6G)网络必须保证共存用户和机器的无线电资源可用性。在这方面,非正交多址接入(NOMA)可以通过在相同的频谱和时间资源上为多个设备提供服务来解决资源限制问题。同时,合作中继可减轻大、小范围过度衰落和干扰的影响。不过,要在 6G 部署中释放 NOMA 的全部潜力,必须分析其在干扰受限场景下的性能,即 NOMA 通信跨越多个小区。本文研究了来自附近 NOMA 传输的同信道干扰(CCI)对中继辅助 NOMA 网络的不利影响。更具体地说,随机部署的 CCI 终端使用 NOMA 进行通信,会降低上行链路通信性能。考虑到独立且同分布的非正交 CCI,针对各种指标对网络性能进行了全面分析。此外,为了提高性能,还介绍了发射功率、功率分配和中继位置优化。这种情况可以对应工业 4.0 的设置,依赖于可以调整网络内干扰者发射功率的专用网络。通过蒙特卡洛模拟验证了我们的分析结果,发现非正交 CCI 会降低系统性能,造成系统编码增益损失。然而,所提出的优化框架可以减轻非正交 CCI 的影响,确保改善上行链路性能。
{"title":"Relay-Aided Uplink NOMA Under Non-Orthogonal CCI and Imperfect SIC in 6G Networks","authors":"Volkan Özduran;Nikolaos Nomikos;Ehsan Soleimani-Nasab;Imran Shafique Ansari;Panagiotis Trakadas","doi":"10.1109/OJVT.2024.3392951","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3392951","url":null,"abstract":"Sixth generation (6G) networks must guarantee radio-resource availability for coexisting users and machines. Here, non-orthogonal multiple access (NOMA) can address resource limitations by serving multiple devices on the same spectral and temporal resources. Meanwhile, cooperative relays can mitigate the impact with excessive large- and small-scale fading and interference. Still, to unlock the full potential of NOMA in 6G deployments, its performance must be analyzed under interference-limited scenarios with NOMA communications occuring across multiple cells. In this paper, the detrimental effect of co-channel interference (CCI) from nearby NOMA transmissions on a relay-aided NOMA network is examined. More specifically, randomly deployed CCI terminals communicate using NOMA and degrade the uplink communication. Network performance is thoroughly analyzed for various metrics, considering independent and identically distributed non-orthogonal CCI. Furthermore, for improved performance, transmit power, power allocation, and relay location optimization is presented. This scenario can correspond to Industry 4.0 settings, relying on private networks that can adjust the transmit power of interferers within the network. Our analytical findings are verified through Monte-Carlo simulations, revealing that non-orthogonal CCI degrades the system performance, causing system coding gain losses. Nonetheless, the proposed optimization framework can mitigate the impact of non-orthogonal CCI and ensure improved uplink performance.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"658-680"},"PeriodicalIF":6.4,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10508052","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140950957","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Fast-Convergent Hyperbolic Tangent PSO Algorithm for UAVs Path Planning 用于无人飞行器路径规划的快速收敛双曲切线 PSO 算法
IF 6.4 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-04-19 DOI: 10.1109/OJVT.2024.3391380
Muhammad Haris;Dost Muhammad Saqib Bhatti;Haewoon Nam
Particle Swarm Optimization (PSO) stands as a cornerstone among population-based swarm intelligence algorithms, serving as a versatile tool to tackle diverse scientific and engineering optimization challenges due to its straightforward implementation and promising optimization capabilities. Nonetheless, PSO has its limitations, notably its propensity for slow convergence. Traditionally, PSO operates by guiding swarms through positions determined by their initial velocities and acceleration components, encompassing cognitive and social information. In pursuit of expedited convergence, we introduce a novel approach: the Cognitive and Social Information-Based Hyperbolic Tangent Particle Swarm Optimization (HT-PSO) algorithm. This innovation draws inspiration from the activation functions employed in neural networks, with the singular aim of accelerating convergence. To combat the issue of slow convergence, we reengineer the cognitive and social acceleration coefficients of the PSO algorithm, leveraging the power of the hyperbolic tangent function. This strategic adjustment fosters a dynamic balance between exploration and exploitation, unleashing PSO's full potential. Our experimental trials encompass thirteen benchmark functions spanning unimodal and multimodal landscapes. Besides that, the proposed algorithm is also applied to different UAV path planning scenarios, underscoring its real-world relevance. The outcomes underscore the prowess of HT-PSO, showcasing significantly better convergence rates compared to the state-of-the-art.
粒子群优化(PSO)是基于种群的群集智能算法的基石,由于其简单易行和极具潜力的优化能力,它已成为应对各种科学和工程优化挑战的通用工具。然而,PSO 也有其局限性,尤其是收敛速度较慢。传统上,PSO 的运行方式是引导蜂群通过由其初始速度和加速分量决定的位置,其中包括认知信息和社会信息。为了加快收敛速度,我们引入了一种新方法:基于认知和社会信息的双曲切线粒子群优化算法(HT-PSO)。这一创新从神经网络中使用的激活函数中汲取灵感,其唯一目的就是加快收敛速度。为了解决收敛速度慢的问题,我们利用双曲正切函数的力量,重新设计了 PSO 算法的认知和社会加速系数。这一战略性调整促进了探索和利用之间的动态平衡,充分释放了 PSO 的潜力。我们的实验测试涵盖了 13 个基准函数,跨越了单模态和多模态景观。此外,我们还将所提出的算法应用于不同的无人飞行器路径规划场景,以强调其与现实世界的相关性。结果表明,HT-PSO 的收敛率明显优于最先进的算法。
{"title":"A Fast-Convergent Hyperbolic Tangent PSO Algorithm for UAVs Path Planning","authors":"Muhammad Haris;Dost Muhammad Saqib Bhatti;Haewoon Nam","doi":"10.1109/OJVT.2024.3391380","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3391380","url":null,"abstract":"Particle Swarm Optimization (PSO) stands as a cornerstone among population-based swarm intelligence algorithms, serving as a versatile tool to tackle diverse scientific and engineering optimization challenges due to its straightforward implementation and promising optimization capabilities. Nonetheless, PSO has its limitations, notably its propensity for slow convergence. Traditionally, PSO operates by guiding swarms through positions determined by their initial velocities and acceleration components, encompassing cognitive and social information. In pursuit of expedited convergence, we introduce a novel approach: the Cognitive and Social Information-Based Hyperbolic Tangent Particle Swarm Optimization (HT-PSO) algorithm. This innovation draws inspiration from the activation functions employed in neural networks, with the singular aim of accelerating convergence. To combat the issue of slow convergence, we reengineer the cognitive and social acceleration coefficients of the PSO algorithm, leveraging the power of the hyperbolic tangent function. This strategic adjustment fosters a dynamic balance between exploration and exploitation, unleashing PSO's full potential. Our experimental trials encompass thirteen benchmark functions spanning unimodal and multimodal landscapes. Besides that, the proposed algorithm is also applied to different UAV path planning scenarios, underscoring its real-world relevance. The outcomes underscore the prowess of HT-PSO, showcasing significantly better convergence rates compared to the state-of-the-art.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"681-694"},"PeriodicalIF":6.4,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10505768","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141096361","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Novel Three-Dimensional Direction-of-Arrival Estimation Approach Using a Deep Convolutional Neural Network 使用深度卷积神经网络的新型三维到达方向估计方法
IF 6.4 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-04-18 DOI: 10.1109/OJVT.2024.3390833
Constantinos M. Mylonakis;Zaharias D. Zaharis
This article aims to constitute a noteworthy contribution to the domain of direction-of-arrival (DoA) estimation through the application of deep learning algorithms. We approach the DoA estimation challenge as a binary classification task, employing a novel grid in the output layer and a deep convolutional neural network (DCNN) as the classifier. The input of the DCNN is the correlation matrix of signals received by a $4 times 4$ uniformly spaced patch antenna array. The proposed model's performance is evaluated based on its capacity to predict angles of arrival from any direction in a three-dimensional space, encompassing azimuth angles within the interval $[0^circ, 360^circ)$ and polar angles within $[0^circ, 60^circ ]$. We aim to optimize the utilization of spatial information and create a robust, precise, and efficient DoA estimator. To address this, we conduct comprehensive testing in diverse scenarios, encompassing the simultaneous reception of multiple signals across a wide range of signal-to-noise ratio values. Both mean absolute error and root mean squared error are calculated to assess the performance of the DCNN. Rigorous comparison with conventional and state-of-the-art endeavors emphasizes the proposed model's efficacy.
本文旨在通过应用深度学习算法,为到达方向(DoA)估计领域做出值得一提的贡献。我们将到达方向估计挑战作为一项二元分类任务来处理,在输出层中采用了一种新型网格,并将深度卷积神经网络(DCNN)作为分类器。DCNN 的输入是 4 美元乘以 4 美元的均匀间距贴片天线阵列接收到的信号的相关矩阵。所提模型的性能评估基于其预测来自三维空间任意方向的到达角的能力,包括区间 $[0^circ, 360^circ)$ 内的方位角和 $[0^circ, 60^circ ]$ 内的极角。我们的目标是优化空间信息的利用,创建一个稳健、精确、高效的 DoA 估算器。为此,我们在不同场景下进行了全面测试,包括在广泛的信噪比值范围内同时接收多个信号。我们计算了平均绝对误差和均方根误差,以评估 DCNN 的性能。与传统和最先进技术的严格比较强调了所提出模型的功效。
{"title":"A Novel Three-Dimensional Direction-of-Arrival Estimation Approach Using a Deep Convolutional Neural Network","authors":"Constantinos M. Mylonakis;Zaharias D. Zaharis","doi":"10.1109/OJVT.2024.3390833","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3390833","url":null,"abstract":"This article aims to constitute a noteworthy contribution to the domain of direction-of-arrival (DoA) estimation through the application of deep learning algorithms. We approach the DoA estimation challenge as a binary classification task, employing a novel grid in the output layer and a deep convolutional neural network (DCNN) as the classifier. The input of the DCNN is the correlation matrix of signals received by a \u0000<inline-formula><tex-math>$4 times 4$</tex-math></inline-formula>\u0000 uniformly spaced patch antenna array. The proposed model's performance is evaluated based on its capacity to predict angles of arrival from any direction in a three-dimensional space, encompassing azimuth angles within the interval \u0000<inline-formula><tex-math>$[0^circ, 360^circ)$</tex-math></inline-formula>\u0000 and polar angles within \u0000<inline-formula><tex-math>$[0^circ, 60^circ ]$</tex-math></inline-formula>\u0000. We aim to optimize the utilization of spatial information and create a robust, precise, and efficient DoA estimator. To address this, we conduct comprehensive testing in diverse scenarios, encompassing the simultaneous reception of multiple signals across a wide range of signal-to-noise ratio values. Both mean absolute error and root mean squared error are calculated to assess the performance of the DCNN. Rigorous comparison with conventional and state-of-the-art endeavors emphasizes the proposed model's efficacy.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"643-657"},"PeriodicalIF":6.4,"publicationDate":"2024-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10504989","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140906933","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Receiver Design for OFDM Schemes With Low-Resolution ADCs 使用低分辨率 ADC 的 OFDM 方案接收器设计
IF 6.4 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-04-17 DOI: 10.1109/OJVT.2024.3390204
João Madeira;Zahra Mokhtari;João Guerreiro;Rui Dinis
Is is widely known that the power consumption of Analog-to-Digital Converters (ADCs) is strongly related with the number of bits of resolution. Using smaller resolutions can greatly reduce the power consumption of the RX frontend. However, the use of low-resolution ADCs introduces significant nonlinear distortion, especially when Orthogonal Frequency Division Multiplexing (OFDM) signals are employed, which might severely degrade performance. In this work, we consider nonlinear effects at the receiver side, associated with quantization and saturation of low-resolution ADCs, and we propose a Generalized Approximate Message Passing (GAMP) receiver that is specially designed to cope with nonlinear effects at the OFDM receiver. We show that our receiver can significantly mitigate the distortion that arises from low-resolution ADCs, allowing larger M-ary Quadrature Amplitude Modulation (M-QAM) constellations to be employed. The proposed receiver is shown to be robust to strong channel fading effects, as well as errors during the channel estimation process.
众所周知,模数转换器(ADC)的功耗与分辨率的位数密切相关。使用较小的分辨率可以大大降低 RX 前端的功耗。然而,使用低分辨率模数转换器会带来显著的非线性失真,尤其是在使用正交频分复用(OFDM)信号时,可能会严重降低性能。在这项工作中,我们考虑了接收器端的非线性效应,这与低分辨率 ADC 的量化和饱和有关,我们还提出了一种广义近似信息传递(GAMP)接收器,这种接收器是专门为应对 OFDM 接收器的非线性效应而设计的。我们的研究表明,我们的接收器能显著减轻低分辨率 ADC 产生的失真,从而允许采用更大的 Mary Quadrature Amplitude Modulation (M-QAM) 星群。研究表明,所提出的接收器对强信道衰落效应以及信道估计过程中的误差具有鲁棒性。
{"title":"Receiver Design for OFDM Schemes With Low-Resolution ADCs","authors":"João Madeira;Zahra Mokhtari;João Guerreiro;Rui Dinis","doi":"10.1109/OJVT.2024.3390204","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3390204","url":null,"abstract":"Is is widely known that the power consumption of Analog-to-Digital Converters (ADCs) is strongly related with the number of bits of resolution. Using smaller resolutions can greatly reduce the power consumption of the RX frontend. However, the use of low-resolution ADCs introduces significant nonlinear distortion, especially when Orthogonal Frequency Division Multiplexing (OFDM) signals are employed, which might severely degrade performance. In this work, we consider nonlinear effects at the receiver side, associated with quantization and saturation of low-resolution ADCs, and we propose a Generalized Approximate Message Passing (GAMP) receiver that is specially designed to cope with nonlinear effects at the OFDM receiver. We show that our receiver can significantly mitigate the distortion that arises from low-resolution ADCs, allowing larger M-ary Quadrature Amplitude Modulation (M-QAM) constellations to be employed. The proposed receiver is shown to be robust to strong channel fading effects, as well as errors during the channel estimation process.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"632-642"},"PeriodicalIF":6.4,"publicationDate":"2024-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10504423","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140818773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques 利用交通冲突技术进行道路安全评估的正式方法
IF 6.4 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2024-04-12 DOI: 10.1109/OJVT.2024.3387414
Oumaima Barhoumi;Mohamed H. Zaki;Sofiéné Tahar
Traffic conflict techniques enable a comprehensive assessment of traffic safety analysis. Formal methods allow the identification of factors that contribute to traffic safety issues and provide evidence of potential safety degradation. As such, formal methods provide a novel way to model traffic rules and verify road users' compliance. The paper proposes formalizing a traffic safety rule in differential dynamic logic and using KeYmaera theorem prover for verification. This rule considers time-to-collision (TTC), space headway (SHW), and shockwave speed (SWV). To validate the effectiveness of this rule in realistic traffic scenarios, we conducted a study using calibrated microsimulation data from the SR528 highway in Orlando, Florida. Our analysis examined the TTC, SHW, and SWV values for vehicle platoons on the highway and demonstrated how smaller TTC and SHW values indicate shockwaves and subsequent conflicts. Furthermore, we observed that shockwave speed could contribute to traffic conflicts by enabling evasive actions such as sudden braking or lane changes as the risk of collisions increases. By highlighting these findings, we aim to provide valuable insights into the real-world applicability of formal methods for traffic safety and their potential in promoting safer driving practices that can help create reliable autonomous vehicle control systems.
交通冲突技术可对交通安全分析进行全面评估。通过正规方法,可以确定导致交通安全问题的因素,并提供潜在安全下降的证据。因此,形式化方法为交通规则建模和验证道路使用者的遵守情况提供了一种新方法。本文提出用微分动态逻辑形式化交通安全规则,并使用 KeYmaera 定理验证器进行验证。该规则考虑了碰撞时间(TTC)、空间距离(SHW)和冲击波速度(SWV)。为了验证该规则在现实交通场景中的有效性,我们使用佛罗里达州奥兰多市 SR528 高速公路的校准微观模拟数据进行了一项研究。我们的分析检查了高速公路上车辆排数的 TTC、SHW 和 SWV 值,并证明了较小的 TTC 和 SHW 值预示着冲击波和随后的冲突。此外,我们还观察到,随着碰撞风险的增加,冲击波速度可促成突然制动或变道等规避行为,从而加剧交通冲突。通过强调这些发现,我们旨在为正式方法在交通安全领域的实际应用及其在促进更安全驾驶实践方面的潜力提供有价值的见解,从而有助于创建可靠的自动驾驶汽车控制系统。
{"title":"A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques","authors":"Oumaima Barhoumi;Mohamed H. Zaki;Sofiéné Tahar","doi":"10.1109/OJVT.2024.3387414","DOIUrl":"https://doi.org/10.1109/OJVT.2024.3387414","url":null,"abstract":"Traffic conflict techniques enable a comprehensive assessment of traffic safety analysis. Formal methods allow the identification of factors that contribute to traffic safety issues and provide evidence of potential safety degradation. As such, formal methods provide a novel way to model traffic rules and verify road users' compliance. The paper proposes formalizing a traffic safety rule in differential dynamic logic and using KeYmaera theorem prover for verification. This rule considers time-to-collision (TTC), space headway (SHW), and shockwave speed (SWV). To validate the effectiveness of this rule in realistic traffic scenarios, we conducted a study using calibrated microsimulation data from the SR528 highway in Orlando, Florida. Our analysis examined the TTC, SHW, and SWV values for vehicle platoons on the highway and demonstrated how smaller TTC and SHW values indicate shockwaves and subsequent conflicts. Furthermore, we observed that shockwave speed could contribute to traffic conflicts by enabling evasive actions such as sudden braking or lane changes as the risk of collisions increases. By highlighting these findings, we aim to provide valuable insights into the real-world applicability of formal methods for traffic safety and their potential in promoting safer driving practices that can help create reliable autonomous vehicle control systems.","PeriodicalId":34270,"journal":{"name":"IEEE Open Journal of Vehicular Technology","volume":"5 ","pages":"606-619"},"PeriodicalIF":6.4,"publicationDate":"2024-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10496854","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140648045","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
IEEE Open Journal of Vehicular Technology
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1