Abstract: This concept paper presents the preliminary work on the application of formal method to verify the correctness of software-hardware co-design.
A model checking tool called UPPAAL is used to check the fault-tolerance of the system design. The paper briefly describes the hardware platform, a fleet of ...
A model checking tool called UPPAAL is used to check the fault-tolerance of the system design. The paper briefly describes the hardware platform, a fleet of ...
Jan 18, 2018 · UPPAAL, Fault Tolerant Design. I. INTRODUCTION. Intensive testing to ... AUVs need to serve simultaneously with one underwater. In model-checking ...
This paper proposes an adaptive multi-population particle swarm optimization (AMP-PSO). In AMP-PSO, we design a grouping strategy of multi-population.
Missing: Checking | Show results with:Checking
Oct 15, 2023 · This note examines the distributed free-will arbitrary time (FwAT) fault-tolerant formation control for heterogeneous multiple autonomous underwater vehicles ( ...
A fault-tolerant system comprises of three modules: fault detection, fault isolation and fault accommodation. There are two major methods for fault detection.
Missing: Collaborative | Show results with:Collaborative
The system is designed to switches between the collaborative mode and the adaptive mode ... Model Checking for the Fault Tolerance of Collaborative AUVs.
This algorithm adapts the vehicle's dynamical model to take into account the faulty thruster. The approach is applied to a fully-actuated vehicle where one of ...
AUVs deployment is that the cooperative algorithms must be fault tolerant and achieve complete area coverage with minimal overlap. This issue of fault ...
Missing: Checking Collaborative