Automatic verification of wireless control in a mining ventilation system - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Automatic verification of wireless control in a mining ventilation system


We address a wireless networked control problem for a mine ventilation system. Ventilation control is essential for the control of the operation of a mine for safety and energy optimization. The main control objective is to guarantee safety of the closed loop system. This test-case is simple enough to be computationally tractable, and yet it exposes the main difficulties encountered when using wireless networked systems for safety-critical applications. The focus of this paper is the formal verification of the operation of a closed loop control system for the so called secondary ventilation system that ensures air flow in the chambers of the mine where extraction takes place. The secondary ventilation system is modeled conservatively in the sense that if the formal verification process provides a positive answer then the system is guaranteed to work correctly while the converse is not necessarily true. For control, we use a simple threshold scheme. The overall closed-loop system is described by a hybrid model that takes into account the effects of time-delay, transmission errors and allows the precise formulation of the safety constraints. To ensure that the formal verification process is computationally tractable, we reason in the framework of temporal logics, and apply abstraction techniques and model checking tools that we developed previously.
Fichier principal
Vignette du fichier
CASE08_0237_FI.pdf (774.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00340446 , version 1 (21-11-2008)


  • HAL Id : hal-00340446 , version 1


Maria Domenica Di Benedetto, Alessandro d'Innocenzo, Emmanuele Serra, Emmanuel Witrant. Automatic verification of wireless control in a mining ventilation system. CASE 2008 - IEEE Conference on Automation Science and Engineering, Aug 2008, Washington, DC, United States. ⟨hal-00340446⟩
180 View
137 Download


Gmail Facebook X LinkedIn More