SPIN is a tool for the simulation and veri cation of protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. The tool and the language are in the public domain and therefore widely used. The "SteamBoiler Control Speci cation Problem" consists of an informal speci cation of a steam boiler system in a nuclear p...

This paper deals with the application of state space neural network models to fault detection of the boiler unit. The work describes problems such us selecting the proper threshold for compromising both fault sensitivity and early fault detection, designing proper neural network structure or calculating performance indexes. All the simulation data used in experiments are collected from the simu...

This work presents a new method for controlling fuel and air fed boiler of thermal power plant using Fuzzy logic. The control strategy is based on supervisor level using Fuzzy logic that is required to determine automatically the optimal process set points of regulations level. Besides, this paper describes thermal power plant simulator developed by Matlab-Simulink. Key-Words: Thermal power pla...

Ferric oxide, hematite, "red rust" , it has a lot of names but there is no argument that it is undesirable. It is a loosely adhering oxide layer which has poor heat transfer capabilities. It also tends to deposit elsewhere in the system. It can deposit in the coil, in steam traps and piping downstream, and can eventually reach the boiler. In the boiler it can form further deposits, which in tur...

This paper deals with the application of state space neural network models to fault detection and accommodation of the boiler unit. The work describes two aspects. First one is the fault detection and in this paper to diagnose the fault the three methods are described and compared: simple and adaptive threshold and more robust method which is model error modelling. The second part of the paper ...

This paper presents a model predictive control (MPC) strategy based on genetic algorithm to solve the boiler–turbine control problem. First, a Takagi–Sugeno (TS) fuzzy model based on gap values is established to approximate the behavior of the boiler–turbine system, then a specially designed genetic algorithm (GA) is employed to solve the resulting constrained MPC problem. A terminal cost is ad...