skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.
Attention:The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 7:00 AM ET to 7:30 AM ET on Friday, April 24 due to maintenance. We apologize for the inconvenience.


Title: Testing and Verification of Connected and Autonomous Vehicles: A Review
Connected and Autonomous Vehicles (CAVs) have the potential to revolutionize transportation by addressing critical challenges such as safety, energy efficiency, traffic congestion, and environmental impact. Realizing these benefits, however, requires the development of a rigorous testing and verification framework to enable the safe, efficient, and reliable deployment of CAVs across diverse operational scenarios. Despite the growing body of research, there remains a significant gap in review papers that comprehensively summarize recent studies related to the testing and verification of CAVs while identifying current challenges and highlighting future research directions. This paper seeks to address this gap by presenting a comprehensive review of the existing testing and verification frameworks for CAVs and identifying their associated challenges. Key topics covered include scenario generation, verification cost functions, assertion values, and security considerations. Furthermore, the paper highlights limitations within current frameworks, emphasizing the gaps that hinder systematic and comprehensive evaluations.  more » « less
Award ID(s):
2241718
PAR ID:
10633974
Author(s) / Creator(s):
;
Publisher / Repository:
MDPI, Electronics Journal
Date Published:
Journal Name:
Electronics
Volume:
14
Issue:
3
ISSN:
2079-9292
Page Range / eLocation ID:
600
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Connected autonomous vehicles (CAVs) have emerged as a promising solution for enhancing transportation efficiency. However, the increased adoption of CAVs is expected to lead to a rise in transportation demand and, subsequently, higher energy consumption. In this context, electric CAVs (E-CAVs) present a significant opportunity to shape the future of efficient transportation systems. While conventional CAVs possess the potential to reduce fuel consumption, E-CAVs offer similar prospects but through distinct approaches. Notably, the control of acceleration and regenerative brakes in E-CAVs stands out as an area of immense potential for increasing efficiency, leveraging various control methods in conjunction with the cooperative and perception capabilities inherent in CAVs. To bridge this knowledge gap, this paper conducts a comprehensive survey of energy efficiency methods employed in conventional CAVs while also exploring energy efficiency strategies specifically tailored for E-CAVs. 
    more » « less
  2. Abstract In April 2023, the National Institute of Diabetes and Digestive and Kidney Diseases (NIDDK), in partnership with the National Institute of Child Health and Human Development, the National Institute on Aging, and the Office of Behavioral and Social Sciences Research, hosted a 2‐day online workshop to discuss neural plasticity in energy homeostasis and obesity. The goal was to provide a broad view of current knowledge while identifying research questions and challenges regarding neural systems that control food intake and energy balance. This review includes highlights from the meeting and is intended both to introduce unfamiliar audiences with concepts central to energy homeostasis, feeding, and obesity and to highlight up‐and‐coming research in these areas that may be of special interest to those with a background in these fields. The overarching theme of this review addresses plasticity within the central and peripheral nervous systems that regulates and influences eating, emphasizing distinctions between healthy and disease states. This is by no means a comprehensive review because this is a broad and rapidly developing area. However, we have pointed out relevant reviews and primary articles throughout, as well as gaps in current understanding and opportunities for developments in the field. 
    more » « less
  3. The global transition toward electrification has accelerated the need for high-performance, sustainable electric machine designs. Emerging manufacturing techniques, particularly additive manufacturing, have enabled the development of complex and unconventional machine topologies. Designing novel machine topologies often relies on data-driven methods and topology optimization, which can be computationally intensive. Semi-analytic modeling offers an effective middle ground by balancing computational efficiency with modeling accuracy—positioned between fully analytical formulations and resource-intensive numerical simulations. While its advantages are recognized, the current literature lacks a unified overview of semi-analytic approaches applied across coupled multiphysics domains, including electromagnetic, thermal, and structural analyses. This paper addresses that gap by presenting a comprehensive review of recent semi-analytic modeling techniques relevant to electric machine design. The goal is to establish a foundational reference for researchers aiming to incorporate these models into advanced topology optimization frameworks. 
    more » « less
  4. Blockchain has emerged as a solution for ensuring accurate and truthful environmental variable monitoring needed for the management of pollutants and natural resources. The immutability property of blockchain helps protect the measured data on pollution and natural resources to enable truthful reporting and effective management and control of polluting agents. However, specifics on what to measure, how to use blockchain, and highlighting which blockchain frameworks have been adopted need to be explored to fill the research gaps. Therefore, we review existing works on the use of blockchain for monitoring and managing environmental variables in this paper. Specifically, we examine existing blockchain applications on greenhouse gas emissions, solid and plastic waste, food waste, food security, water usage, and the circular economy and identify what motivates the adoption of blockchain, features sought, used blockchain frameworks and consensus algorithms, and the adopted supporting technologies to complement data sensing and reporting. We conclude the review by identifying practical works that provide implementation details for rapid adoption and remaining challenges that merit future research. 
    more » « less
  5. Scientific discovery is a complex cognitive process that has driven human knowledge and technological progress for centuries. While artificial intelligence (AI) has made significant advances in automating aspects of scientific reasoning, simulation, and experimentation, we still lack integrated AI systems capable of performing autonomous long-term scientific research and discovery. This paper examines the current state of AI for scientific discovery, highlighting recent progress in large language models and other AI techniques applied to scientific tasks. We then outline key challenges and promising research directions toward developing more comprehensive AI systems for scientific discovery, including the need for science-focused AI agents, improved benchmarks and evaluation metrics, multimodal scientific representations, and unified frameworks combining reasoning, theorem proving, and data-driven modeling. Addressing these challenges could lead to transformative AI tools to accelerate progress across disciplines towards scientific discovery. 
    more » « less