Wireless ventilation control for large-scale systems: The mining industrial case

International Journal of Robust and Nonlinear Control

Volumn 20, Issue 2, 2010, Pages 226-251

  Witrant, E ^a   D'Innocenzo, A ^b   Sandou, G ^c   Santucci, F ^b   Di Benedetto, M D ^b   Isaksson, A J ^d   Johansson, K H ^e   Niculescu, S I ^f   Olaru, S ^c   Serra, E ^b   Tennina, S ^b   Tiberi, U ^b  

^a UNIV GRENOBLE ALPES   (France)

^b UNIVERSITY OF L'AQUILA   (Italy)

^c SUPELEC   (France)

^d ABB CORPORATE RESEARCH   (Sweden)

^e ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^f UNIV PARIS SUD   (France)

Author keywords

Distributed flow control; Large scale systems; Network controlled systems; Ventilation control; Wireless sensor Networks

Indexed keywords

ABSTRACTION TECHNIQUES; AUTOMATIC VERIFICATION; CASE DESCRIPTION; COMPLEX DYNAMICS; COMPUTATIONAL CAPABILITY; CONCENTRATION PROFILES; CONTINUOUS OPERATION; CONTROL STRATEGIES; DISTRIBUTED FLOW CONTROL; DISTRIBUTED SENSING; ENERGY CONSUMPTION; ENERGY LOSS; ENERGY MINIMIZATION; ENERGY OPTIMIZATION; GLOBAL SYSTEMS; HYBRID DESCRIPTION; MAIN COMPONENT; MODEL-BASED CONTROL; NETWORK CONTROLLED SYSTEMS; NEW MODEL; NONLINEAR MODEL PREDICTIVE CONTROL; RECEDING HORIZON; SYSTEM DYNAMICS; TRANSMISSION ERROR; UNDERGROUND VENTILATION; VENTILATION CONTROL; WIRELESS CONTROL;

ENERGY DISSIPATION; ENVIRONMENTAL IMPACT; ERROR DETECTION; FANS; FLOW CONTROL; LARGE SCALE SYSTEMS; MINING; MODEL PREDICTIVE CONTROL; OPTIMIZATION; PREDICTIVE CONTROL SYSTEMS; SENSOR NETWORKS; STRATEGIC PLANNING; VENTILATION;

WIRELESS SENSOR NETWORKS;

EID: 75749101387     PISSN: 10498923     EISSN: 10991239     Source Type: Journal    
DOI: 10.1002/rnc.1485     Document Type: Article

References (44)

1. van der Merwe C. Mining industry challenged to cut energy consumption 15% by 2015. Mining Weekly Online 2007.
2. Xenergy Inc. United States industrial electric motor systems market opportunities assessment, Office of energy efficiency and renewable energy. Technical Report, U.S. Department of Energy, 1998.
3. Scheihing PE, Rosenberg M, Olszewski M, Cockrill C, Oliver J. United States industrial motor-driven systems market assessment: charting a roadmap to energy savings for industry. International Workshop on Industrial Energy Efficiency Policies: Understanding Success and Failure, Utrecht, The Netherlands, 1998.
4. Hartman HL, Mutmansky JM, Ramani RV, Wang YJ. Mine Ventilation and Air Conditioning (3rd edn). Wiley: New York, 1997.
5. The Second International Conference on Wireless Communications in Underground and Confined Areas. Val-d'Or, Canada, 2008.
6. Isaksson A, Strand M, Di Benedetto MD, D'Innocenzo A, Santucci F, Serra E, Tennina S, Tiberi U, Bemporad A, Di Cairano S, Maggi F, Synekidou M, D'Angelo M, Johansson KH, Seuret A, Witrant E, Fischione C. Final report on the industrial test case. HYCON Deliverable D4d.5.3, 2008.
7. Pomante L, Santucci F, Rinaldi C, Tennina S, Fischione C. Mining ventilation automation: wireless sensing, communication architecture and advanced services. IEEE CASE, 2008.
8. Witrant E, D'Innocenzo A, Isaksson A, Di Benedetto M, Johansson K, Santucci F, Strand M. Mining ventilation control: a new industrial case for wireless automation. Proceedings of the IEEE Conference on Automation Science and Engineering (CASE 2008), Washington, DC, U.S.A., 2008.
9. Sandou G, Witrant E, Olaru S, Niculescu S. Receding horizon climate control in metal mine extraction rooms IEEE CASE, 2008.
10. Di Benedetto M, D'Innocenzo A, Serra E, Witrant E. Automatic verification of wireless control in a mining ventilation system, IEEE CASE'08, 2008.
11. Tolmachev S, Fainshtein E. Analysis of multi-branch junctions in ventilation networks, regarded as systems with distributed parameters. Journal of Mining Science 1968; 4(2):128-133.
12. Klebanov F, Martynyuk G. A method for experimental determination of the coefficient of longitudinal turbulent diffusion in ventilating currents of mine workings. Journal of Mining Science 1973; 9(4):413-416.
13. Kalabin G, Baklanov A, Amosov P. Calculating the aerogas dynamics of chamber-like mine workings on the basis of mathematical modeling. Journal of Mining Science 1990; 26(1):61-73.
14. Petrov N, Shishkin M, Dnitriev V, Shadrin V. Modeling mine aerology problems. Journal of Mining Science 1992; 28(2):185-191.
15. Petrov N. Methods of solving problems and designing equipment for mine ventilation. Journal of Mining Science 1994; 30(2):195-204.
16. Widzyk-Capehart E, Watson B. Agnew gold mine expansion mine ventilation evaluation using VentSim. Proceedings of the 7th International Mine Ventilation Congress, 2001.
17. Estrin D, Govindan R, Eidemann J, Kumar S. Next century challenges: Scalable coordination in sensor networks. Proceedings of the ACM/IEEE International Conference on Mobile Computing and Networking, 1999.
18. Ribeiro A, Giannakis GB. Bandwidth-constrained distributed estimation for wireless sensor networks-part I and II. IEEE Transaction on Signal Processing 2006; 54.
19. Witrant E, Johansson K. The HynX team. Air flow modeling in deep wells: application to mining ventilation. IEEE CASE, 2008.
20. Schmidt W. Turbulent propagation of a stream of heated air. Zeitschrift f̈ur Angewandte Mathematik and Mechanik 1941; 21:265-278, 351-363.
21. Morton B. Forced plumes. Journal of Fluid Mechanics 1959; 5(1):151-163.
22. Liu Q, Linden P. The fluid dynamics of an underfloor air distribution system. Journal of Fluid Mechanics 2006; 554:323-341.
23. Hirsch C. Numerical Computation of Internal & External Flows: The Fundamentals of Computational Fluid Dynamics. (2nd edn). Butterworth-Heinemann (Elsevier): London, 2007.
24. Park PG. Randomized protocol design in wireless automation. M. Eng. Thesis, Royal Institute of Technology (KTH), Stockholm, Sweden, 2007.
25. Witrant E, Park PG, Johansson M, Johansson K, Fischione C. Control over wireless multi-hop networks. Proceedings of the IEEE Conference on Control Applications, 2007.
26. Lee P, Garimella S, Liu D. Investigation of heat transfer in rectangular microchannels. International Journal of Heat and Mass Transfer 2005; 48:1688-1704.
27. Witrant E, Joffrin E, Brémond S, Giruzzi G, Mazon D, Barana O, Moreau P. A control-oriented model of the current profile in tokamak plasma. Plasma Physics Controlled Fusion 2007; 49:1075-1105.
28. Ljung L. System Identification: Theory for the User (2nd edn). Prentice-Hall PTR: Englewood Cliffs, NJ, 1998.
29. Nerguizian C, Despins C, Affès S. Geolocation in mines with an impulse response fingerprinting technique and neural networks. IEEE Transactions on Wireless Communications 2006; 5(3).
30. Chehri A, Fortier P, Tardif P-M. Frequency domain analysis of UWB channel propagation in underground mines. 64th IEEE Conference on Vehicular Technology, 2006.
31. Krause P. Analysis of Electrical Machinery. McGraw-Hill: New York, 1986.
32. Frey H, Kim K. Comparison of real-world fuel use and emissions for dump trucks fueled with B20 biodiesel versus petroleum diesel. 85th Annual Meeting of the Transportation Research Board, 2006.
33. Maciejowski J. Predictive Control with Constraints. Prentice-Hall: Englewood Cliffs, NJ, 2002.
34. Mayne DQ, Rawlings JB, Rao C, Scokaert P. Constrained model predictive control: stability and optimality. Automatica 2000; 30:789-814. (Pubitemid 30587683)
35. D'Innocenzo A, Julius AA, Pappas GJ, Di Benedetto MD, Di Gennaro S. Verification of temporal properties on hybrid automata by simulation relations. Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, U.S.A., 2007.
36. D'Innocenzo A, Julius A, Di Benedetto M, Pappas G. Approximate timed abstractions of hybrid automata. Proceedings of the 46th IEEE Conference on Decision and Control. New Orleans, Louisiana, U.S.A., 2007.
37. Clarke E, Grumberg O, Peled D. Model Checking. The MIT Press: Cambridge, MA, 2002.
38. Alur R, Courcoubetis C, Dill D, Model-checking in dense real-time. Information and Computation 1993 104(1):2-34.
39. Alur R, Henzinger T, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proccedings of the IEEE 2000; 88(2):971-984.
40. Alur R, Dill D. A theory of timed automata. Theoretical Computer Science 1994; 126:183-235.
41. Alur R, Courcoubetis C, Halbwachs N, Henzinger T, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. The algorithmic analysis of hybrid systems. Theoretical Computer Science 1995; 138:3-34.
42. Yovine S. Kronos: a verification tool for real-time systems. International Journal of Software Tools for Technology Transfer 1997 1(1):123-133.
43. Larsen KG, Pettersson P, Yi W. UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1997; 1(1):134-152.
44. Sandou G, Olaru S. Hybrid systems computation and control. Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems. Lecture Notes in Computer Science, vol.4416. Springer: Berlin, Heidelberg, 2007; 501-514.