Robot-based forest fire detection and extinguishing model

No abstract is available for this paper.

• Publication year

  2016

• Venue

  International Conference on Robotics and Artificial Intelligence

• Publication date

  2016-11-01

• Fields of study

  Computer Science, Engineering, Environmental Science

• Identifiers
  DOI 10.1109/ICRAI.2016.7791238
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal specification and analysis of take-off procedure using VDM-SL

  2016cited by this paper
• Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications

  2015cited by this paper
• Formal modeling and algorithm of subnet-based backup assigning in WSAN

  2015cited by this paper
• Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL

  2015cited by this paper
• Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL

  2015cited by this paper
• Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks

  2015cited by this paper
• Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs

  2014cited by this paper
• Formal Verification and Validation of Aircraft Departure Process in Air Traffic Control System Using VDM

  2012cited by this paper
• Towards the safety properties of moving block railway interlocking system

  2012cited by this paper
• Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks

  2012cited by this paper
• Extending promotion to operate controller based on train's operation

  2011cited by this paper
• Detection and Extinguishing Forest Fires using Wireless Sensor and Actor Networks

  2011cited by this paper
• Forest Fire Modeling and Early Detection using Wireless Sensor Networks

  2009cited by this paper
• Formal specification and validation of railway network components using Z notation

  2009cited by this paper
• Requirements Analysis of Air Traffic Control System Using Formal Methods

  2007cited by this paper
• Formal model for moving block railway interlocking system based on un-directed topology

  2006cited by this paper
• Real-time forest fire detection with wireless sensor networks

  2005cited by this paper
• Wireless sensors for wildfire monitoring

  2005cited by this paper
• An Enhanced Contextual Fire Detection Algorithm for MODIS

  2003cited by this paper
• Satellite-based detection of Canadian boreal forest fires: Development and application of the algorithm

  2000cited by this paper

• Optimal Placement of Fire Detection Sensors for Reduced Interference in Wireless Sensor Networks

  2025cites this paper
• An Intelligent Path Planning Mechanism for Firefighting in Wireless Sensor and Actor Networks

  2023cites this paper
• Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL

  2022cites this paper
• Prolonging Network Lifetime by Optimizing Actuators Deployment with Probabilistic Mutation Multi-layer Particle Swarm Optimization

  2021cites this paper
• Teaching–Learning-Based Optimization Algorithm for Path Planning and Task Allocation in Multi-robot Plant Inspection System

  2021cites this paper
• A survey paper on-Techniques used for ANTI- POACHING OF TREES

  2021cites this paper
• Electromechanical stand for the process of throwing soil with a cutter-thrower

  2021cites this paper
• Optimizing Actuators Deployment for WSAN Using Hierarchical Intermittent Communication Particle Swarm Optimization

  2021cites this paper
• Chapter 5 Robotics as an Enabler of Resiliency to Disasters: Promises and Pitfalls

  2021cites this paper
• Identifying Technological Alternatives Focused on Early Alert or Detection of Forest Fires: Results Derived from an Empirical Study

  2021cites this paper
• Forest fire extinguishing: theoretical study of the screw drum parameter influence on the efficiency of a forest fire soil-sweeping machine

  2020cites this paper
• Mathematical Model of Forest Fire Soil-thrower Movement

  2020cites this paper
• Forest fire-fighting soil-thrower: improving the efficiency of the work processes

  2019cites this paper
• Research and development of the method of soil formation and delivery in the form of a concentrated flow to the edge of moving ground forest fire

  2019cites this paper
• Automated UML-based Formal Model of E-Health System

  2019cites this paper
• STUDY OF EFFICIENCY OF SOIL-THROWER AND FIRE-BREAK MAJER ON THE BASIS OF MATHEMATIC SIMULATION

  2018cites this paper
• Modern Designs of Forest Fires Machines for Soil Extinguishment of Fire

  2018cites this paper
• Temperature Monitoring and Forecast System in Remote Areas with 4.0G LTE Mobile Technologies

  2018cites this paper
• Advancing Early Forest Fire Detection Utilizing Smart Wireless Sensor Networks

  2018cites this paper
• Tracking Mobile Intruders in an Art Gallery: Guard Deployment Strategies, Fundamental Limitations, and Performance Guarantees

  2018cites this paper
• UML based Formal Model of Smart Transformer Power System

  2017cites this paper
• Formalism of security properties for battlefield surveillance system

  2017cites this paper
• Formal model of earthquake disaster mitigation and management system

  2017cites this paper
• Modeling of IoT-based border protection system

  2017cites this paper
• Analysis and Formal Model of RFID-Based Patient Registration System

  2017cites this paper
• How to minimize the consumption of resources and processing cost in WSAN ?

  2017cites this paper