Abstract: In applying machine learning to battery system fault detection, current methods encounter some challenges. Inadequate extraction of discriminative features and data imbalance notably hinder ...

Abstract: We’ve developed and evaluated a new method called ESBMC-Arduino that combines the ESBMC model checker with the Arduino hardware platform. This verification method helps ensure the safety and ...

A comprehensive mobile application system that detects trucks and performs license plate recognition for automated gate control. The system consists of a Flutter mobile app, Flask AI server, and ESP32 ...