veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System

• URL: http://arxiv.org/abs/2212.03287v1
• Date: Tue, 6 Dec 2022 19:41:08 GMT
• Title: veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
• Abstract summary: We present our work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliability of a real-world, safety-critical system. We describe the system and its properties of interest, and discuss our attempts to verify the system's consistency. We regard this work as a step towards the incorporation of academic-oriented verification tools into real-world systems of interest.
• Score: 0.14680035572775532
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliability of a real-world, safety-critical system. The system we target is an airborne platform for wildfire detection, which incorporates two deep neural networks. We describe the system and its properties of interest, and discuss our attempts to verify the system's consistency, i.e., its ability to continue and correctly classify a given input, even if the wildfire it describes increases in intensity. We regard this work as a step towards the incorporation of academic-oriented verification tools into real-world systems of interest.

Related papers

• veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System [4.688090702715578]
  We present an end-to-end methodology for verifying textitconsistency properties in a system.<n>Our approach encodes application-grounded requirements into solver-compatible queries for existing neural network verifiers.<n>Results demonstrate that meaningful, domain-specific guarantees can be obtained for industrial systems.
  arXiv  Detail & Related papers  (2026-06-02T18:32:03Z)
• CLAIRE: Compressed Latent Autoencoder for Industrial Representation and Evaluation -- A Deep Learning Framework for Smart Manufacturing [51.56484100374058]
  CLAIRE is a hybrid end-to-end learning framework that integrates unsupervised deep representation learning with supervised classification for intelligent quality control in smart manufacturing systems.<n>It employs an optimized deep autoencoder to transform raw input into a compact latent space, effectively capturing the intrinsic data structure while suppressing irrelevant or noisy features.<n>The proposed framework highlights the potential of integrating explainable AI with feature-aware regularization for robust fault detection.
  arXiv  Detail & Related papers  (2026-03-06T15:11:58Z)
• One-Class Intrusion Detection with Dynamic Graphs [46.453758431767724]
  Machine learning-based intrusion detection constitutes a promising approach for improving security.<n>We propose a novel intrusion detection method, TGN-SVDD, which builds upon modern dynamic graph modelling and deep anomaly detection.<n>We demonstrate its superiority over several baselines for realistic intrusion detection data and suggest a more challenging variant of the latter.
  arXiv  Detail & Related papers  (2025-08-18T12:36:55Z)
• FetFIDS: A Feature Embedding Attention based Federated Network Intrusion Detection Algorithm [10.662159185662796]
  Intrusion Detection Systems (IDS) have an increasingly important role in preventing exploitation of network vulnerabilities by malicious actors.<n>Recent deep learning based developments have resulted in significant improvements in the performance of IDS systems.<n>We present FetFIDS, where we explore the employment of feature embedding instead of positional embedding to improve intrusion detection performance.
  arXiv  Detail & Related papers  (2025-08-12T16:16:29Z)
• From Objects to Events: Unlocking Complex Visual Understanding in Object Detectors via LLM-guided Symbolic Reasoning [71.41062111470414]
  The proposed plug-and-play framework interfaces with any open-vocabulary detector. At its core, our approach combines (i) a symbolic regression mechanism exploring relationship patterns among detected entities. We compared our training-free framework against specialized event recognition systems across diverse application domains.
  arXiv  Detail & Related papers  (2025-02-09T10:30:54Z)
• Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study [4.2751988244805466]
  In this paper, we use automata learning to derive state machines from network-traffic data. We apply our approach to a commercial network intrusion detection system developed by our industry partner, RabbitRun Technologies. Our approach results in an average 67.5% reduction in the number of states and transitions of the learned state machines.
  arXiv  Detail & Related papers  (2024-05-18T02:10:41Z)
• A comprehensive survey of research towards AI-enabled unmanned aerial systems in pre-, active-, and post-wildfire management [6.043705525669726]
  Wildfires have emerged as one of the most destructive natural disasters worldwide, causing catastrophic losses in both human lives and forest wildlife. Recently, the use of Artificial Intelligence (AI) in wildfires, propelled by the integration of Unmanned Aerial Vehicles (UAVs) and deep learning models, has created an unprecedented momentum to implement and develop more effective wildfire management.
  arXiv  Detail & Related papers  (2024-01-04T05:09:35Z)
• Image-Based Fire Detection in Industrial Environments with YOLOv4 [53.180678723280145]
  This work looks into the potential of AI to detect and recognize fires and reduce detection time using object detection on an image stream. To our end, we collected and labeled appropriate data from several public sources, which have been used to train and evaluate several models based on the popular YOLOv4 object detector.
  arXiv  Detail & Related papers  (2022-12-09T11:32:36Z)
• Distinctive Self-Similar Object Detection [0.8488455943441636]
  We propose that the distinctive fractal feature of self-similar in fire and smoke can relieve us from struggling with their various shapes. We design a semi-supervised method that use Hausdorff distance to describe the resemblance between instances. Our experiments have been conducted on publicly available fire and smoke detection datasets.
  arXiv  Detail & Related papers  (2022-11-20T15:15:57Z)
• GowFed -- A novel Federated Network Intrusion Detection System [0.15469452301122172]
  This work presents GowFed, a novel network threat detection system that combines the usage of Gower Dissimilarity matrices and Federated averaging. Different approaches of GowFed have been developed based on state-of the-art knowledge: (1) a vanilla version; and (2) a version instrumented with an attention mechanism. Overall, GowFed intends to be the first stepping stone towards the combined usage of Federated Learning and Gower Dissimilarity matrices to detect network threats in industrial-level networks.
  arXiv  Detail & Related papers  (2022-10-28T23:53:37Z)
• Federated Stochastic Gradient Descent Begets Self-Induced Momentum [151.4322255230084]
  Federated learning (FL) is an emerging machine learning method that can be applied in mobile edge systems. We show that running to the gradient descent (SGD) in such a setting can be viewed as adding a momentum-like term to the global aggregation process.
  arXiv  Detail & Related papers  (2022-02-17T02:01:37Z)
• Triggering Failures: Out-Of-Distribution detection by learning from local adversarial attacks in Semantic Segmentation [76.2621758731288]
  We tackle the detection of out-of-distribution (OOD) objects in semantic segmentation. Our main contribution is a new OOD detection architecture called ObsNet associated with a dedicated training scheme based on Local Adversarial Attacks (LAA) We show it obtains top performances both in speed and accuracy when compared to ten recent methods of the literature on three different datasets.
  arXiv  Detail & Related papers  (2021-08-03T17:09:56Z)
• Machine Learning Based Early Fire Detection System using a Low-Cost Drone [0.5161531917413706]
  This paper proposes a new machine learning based system for forest fire earlier detection in a low-cost and accurate manner. The microcontroller in the system has been programmed by training with deep learning methods. The unmanned aerial vehicle has been given the ability to recognize the smoke, the earliest sign of fire detection.
  arXiv  Detail & Related papers  (2021-01-21T16:18:42Z)
• No Need to Know Physics: Resilience of Process-based Model-free Anomaly Detection for Industrial Control Systems [95.54151664013011]
  We present a novel framework to generate adversarial spoofing signals that violate physical properties of the system. We analyze four anomaly detectors published at top security conferences.
  arXiv  Detail & Related papers  (2020-12-07T11:02:44Z)
• Dynamic Community Detection into Analyzing of Wildfires Events [55.72431452586636]
  We investigate the information that dynamic community structures reveal about the dynamics of wildfires. Experiments with the MODIS dataset of fire events in the Amazon basing were conducted. Our results show that the dynamic communities can reveal wildfire patterns observed throughout the year.
  arXiv  Detail & Related papers  (2020-11-02T17:31:47Z)
• Survey of Network Intrusion Detection Methods from the Perspective of the Knowledge Discovery in Databases Process [63.75363908696257]
  We review the methods that have been applied to network data with the purpose of developing an intrusion detector. We discuss the techniques used for the capture, preparation and transformation of the data, as well as, the data mining and evaluation methods. As a result of this literature review, we investigate some open issues which will need to be considered for further research in the area of network security.
  arXiv  Detail & Related papers  (2020-01-27T11:21:05Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.