English
Related papers

Related papers: DECISIVE Test Methods Handbook: Test Methods for E…

200 papers

The North Carolina Agriculture and Technical State University (NC A&T) in collaboration with Georgia Tech Research Institute (GTRI) has developed methodologies for creating simulation-based technology tools that are capable of inferring the…

Software Engineering · Computer Science 2021-11-23 Abdollah Homaifar , Ali Karimoddini , Mike Heiges , Mubbashar A. Khan , Berat A. Erol , Shabnam Nazmi

The underwater world remains largely unexplored, with Autonomous Underwater Vehicles (AUVs) playing a crucial role in sub-sea explorations. However, continuous monitoring of underwater environments using AUVs can generate a significant…

As autonomous robotic systems become increasingly mature, users will want to specify missions at the level of intent rather than in low-level detail. Language is an expressive and intuitive medium for such mission specification. However,…

This paper details four principal challenges encountered with machine learning (ML) damage assessment using small uncrewed aerial systems (sUAS) at Hurricanes Debby and Helene that prevented, degraded, or delayed the delivery of data…

Robotics · Computer Science 2025-06-23 Thomas Manzini , Priyankari Perali , Robin R. Murphy , David Merrick

This paper studies a heterogeneous Unmanned Aerial Vehicles (UAVs) cooperative search approach suitable for complex environments. In the application, a fixed-wing UAV drops rotor UAVs to deploy the cluster rapidly. Meanwhile, the fixed-wing…

Systems and Control · Electrical Eng. & Systems 2024-09-10 Zhenchang Liu , Mingrui Hao

Context: Competitions for self-driving cars facilitated the development and research in the domain of autonomous vehicles towards potential solutions for the future mobility. Objective: Miniature vehicles can bridge the gap between…

Robotics · Computer Science 2014-07-02 Christian Berger

The possible applications and benefits of autonomous Unmanned Aerial Vehicle (UAV) use in urban areas are gaining considerable attention. Before these possibilities can be realized, it is essential that UAVs be able to navigate reliably and…

Robotics · Computer Science 2021-10-05 Amanda J. Strate , Randall Christensen

Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications where their behaviour may cause harm, such as when used for…

Software Engineering · Computer Science 2022-08-02 Richard Hawkins , Matt Osborne , Mike Parsons , Mark Nicholson , John McDermid , Ibrahim Habli

The inconsistency issue in the Visual-Inertial Navigation System (VINS) is a long-standing and fundamental challenge. While existing studies primarily attribute the inconsistency to observability mismatch, these analyses are often based on…

Robotics · Computer Science 2025-11-25 Chungeng Tian , Fenghua He , Ning Hao

Testing of autonomous systems is extremely important as many of them are both safety-critical and security-critical. The architecture and mechanism of such systems are fundamentally different from traditional control software, which appears…

Software Engineering · Computer Science 2021-03-15 Qunying Song , Emelie Engström , Per Runeson

In the last decade, the rapid growth of Unmanned Aircraft Systems (UAS) and Unmanned Aircraft Vehicles (UAV) in communication, defense, and transportation has increased. The application of UAS will continue to increase rapidly. This has led…

A control system structure for the underwater docking procedure of an Autonomous Underwater Helicopter (AUH) is proposed in this paper, which utilizes acoustic-inertial-optical guidance. Unlike conventional Autonomous Underwater Vehicles…

Robotics · Computer Science 2024-10-10 Haoda Li , Xinyu An , Rendong Feng , Zhenwei Rong , Zhuoyu Zhang , Zhipeng Li , Liming Zhao , Ying Chen

Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, taking into account the fact that autopilots make decisions…

Software Engineering · Computer Science 2024-05-28 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

Despite extensive research, the testing of autonomous driving systems (ADS) landscape remains fragmented, and there is currently no basis for an informed technical assessment of the importance and contribution of the current state of the…

Software Engineering · Computer Science 2025-07-29 Changwen Li , Joseph Sifakis , Rongjie Yan , Jian Zhang

Autonomous driving systems face the formidable challenge of navigating intricate and dynamic environments with uncertainty. This study presents a unified prediction and planning framework that concurrently models short-term aleatoric…

Robotics · Computer Science 2024-03-05 Wenbo Shao , Jiahui Xu , Zhong Cao , Hong Wang , Jun Li

This paper describes the design of a miniature uncrewed underwater vehicle (MiniUUV) and related instrumentation for indoor experimentation. The MiniUUV was developed using 3D printed components and low-cost, off-the-shelf electronics. The…

Robotics · Computer Science 2024-02-22 Jacob Herbert , Artur Wolek

Semi or completely autonomous unmanned vehicles, remotely driven or controlled through artificial intelligence, are instrumental to foster space exploration. One of the most essential tasks of a rover is terrain traversing which requires…

Robotics · Computer Science 2016-08-26 Karan Vaish , Shah Mihir Rajesh , K. Pasupatheeswaran , Anubha Parashar , Jyoti Chaturvedi

The algorithms developed for Maritime Autonomous Surface Ships (MASS) are often challenging to test on actual vessels due to high operational costs and safety considerations. Simulations offer a cost-effective alternative and eliminate…

The Smart Driving Skill Evaluation (SDSE) System presented in this paper expedite the testing of candidates aspiring for a driving license in a more efficient and transparent manner, as compared to the present manual testing procedure…

Computers and Society · Computer Science 2013-08-19 Mohit John , Arun JosephPalai

This comprehensive survey paper provides an in-depth analysis of Dynamic Software Updating (DSU) techniques in the Internet of Things (IoT). This study critically examines eight significant research papers that employ diverse methodologies…

Software Engineering · Computer Science 2024-12-04 Madhav Neupane