Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models.

Abstract

Cotton, the backbone of global textile production, demands sustainable agricultural practices to ensure fiber, food, and environmental security. Cotton crop play an essential role in farming economies; however, production is sometimes affected by various diseases that harm production. We proposed a methodology that uses formal modeling and verification for requirements confirmation to improve the monitoring and detection of cotton crop diseases. The correct information and requirements about disease symptoms can improve disease monitoring and prediction. The Temporal Logic of Action (TLA+) is used to construct a mathematical model to verify requirements by providing disease symptoms and then model checking to ensure correctness properties. Using model checking in TLA + ensures the reliability and correctness of disease symptom detection. We consequently used deep learning models to predict cotton diseases, i.e., Aphids, Armyworms, Bacterial Blight, Powdery Mildew, Target Spot, and Healthy leaf. Our results show that the Convolutional Neural Network (CNN) model achieved an overall accuracy of 98.7% with class-specific accuracy ranging from with F1-scores across all classes (e.g., 0.90 for Powdery Mildew and 0.87 for Army Worm).

Plant phenotyping relevance

綿花葉の病徴を画像から深層学習で分類・検出する手法が研究の中心であり、植物の病害状態を推定するため、植物フェノタイピング手法として収録対象。

Code and data availability

保存済みの本文根拠を更新済みルールで再検証し、公開資産1件を確認しました。