Our solution to the speciication problem in the speciication language TLA+ is based on a model of operation where several components proceed synchronously. Our rst speciication concerns a simpliied controller and abstracts from many details given in the informal problem description. We successively add modules to build a model of the state of the steam boiler, detect failures, and model message...

Our solution to the speci cation problem in the speci cation language TLA is based on a model of operation where several compo nents proceed synchronously Our rst speci cation concerns a simpli ed controller and abstracts from many details given in the informal problem description We successively add modules to build a model of the state of the steam boiler detect failures and model message tra...

The title of the paper purports to discuss the feasibility of 100% RDF firing for power generation. It is implied that it is possible to fire 100% RDF in a single boiler. However, for the case study cited, the author suggests a much more elaborate system for a 16 MW system. The flow sheet suggests 80% heat input from RDF and 20% from coal. He also suggests that three boilers handle the RDF. Thi...

Article history: Received October 15, 2011 Accepted 10 March 2012 Available online 12 March 2012 The recent development of world is being adversely affected by the scarcity of power and energy. To survive in the next generation, it is thus necessary to explore the non-conventional energy sources and efficiently consume the available sources. For efficient exploitation of the existing energy sou...

There is an increasing need to operate power plants at low load for longer periods of time. When a once-through boiler operates at a sufficiently low load, recirculation is introduced, significantly altering the control structure. This paper illustrates the possibilities for using constrained control to obtain optimal load gradients in the recirculation mode. A model predictive controller is de...

Abstrac t . In this paper an object-oriented algebraic solution of the steam-boiler specification problem is presented. The solution is written in Timed Maude. Timed Maude is a specification language under development where the static parts of the specified system are described by equational specifications, whereas the behaviour of a process is described by timed term rewriting. Timed Maude is ...

Boiler-turbine units are multivariable nonlinear systems. The control of such systems is not easy considering the practical tuning, implementing and maintaining problems. In this paper, the design of a linear controller for the Dalate No.4 unit is reported. Based on a nonlinear model of the unit, we analyze the nonlinearity of the unit and propose to choose the appropriate operating points so t...

A hybrid classical/fuzzy control methodology is presented to integrate low-level machine control and high-level supervision for the steam temperature and water level processes of the power plant boiler. The coupling between two spraying systems can be reduced using hybrid coarse-fine intelligent control with qualitative decoupling strategy. A hierarchical fuzzy system is used for the water leve...

Automatic Generation Control (AGC); Boiler dynamics; Generation Rate Constraint (GRC); Governor dead band; Proportional Integral Derivative (PID) controller; Differential Evolution (DE) algorithm Abstract This paper presents the design and performance analysis of Differential Evolution (DE) algorithm based Proportional–Integral (PI) and Proportional–Integral–Derivative (PID) controllers for Aut...