Blockchain verification and validation: Techniques, challenges, and research directions

As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their...

Benchmarking Flexible Electric Loads Scheduling Algorithms

Due to increasing numbers of intermittent and distributed generators in power systems, there is an increasing need for demand responses to maintain the balance between electricity generation and use at all times. For example, the electrification of transportation significantly adds to the amount of flexible electricity demand. Several methods...

Performance benchmark of state-of-the-art lateral path-following controllers

Although extensive research has been conducted to design path-following algorithms for automated vehicles, the cross comparison between different path-following controllers is still weakly-analyzed. Therefore, we benchmarked five path-following algorithms to evaluate their performance according to various disturbances like gust wind, drop of...