Structural and Behavioral Models of the Steam-Boiler Control System
نویسندگان
چکیده
This paper presents a system specification of the steam boiler control system described in [?]: To manage complexity and to foster separation of concerns the design model is divided into three views: The architectural view specified with object and class diagrams, the reactive view specified with statecharts, and the functional view specified with Z. A systematic relationship between the reactive and the functional view entails proof obligations to guarantee semantic compatibility.
منابع مشابه
Control Reconfiguration of a Boiler-Turbine Unit After Actuator Faults
Boiler-turbines are one of the most important parts in power generation plants. The safety problem in such systems has always been a special concern. This paper discusses the application of control reconfig uration by fault-hiding approach for a boiler-turbine unit. In Fault-hiding approach, after occurrence of a fault, nominal controller of the system remains unchanged; instead, a reconfigurat...
متن کاملNonlinear Modelling of Kerman Combined Cycle Power Plant Drum-Boiler and Drum Level control especially in trip conditions
There are various methods of power generation such as combined cycle power plants. There are many variables in a power plant boiler unit, but the most important variables are Pressure and specially drum level that control system should be put it in the safe range. The purpose of this article is, modifying the oscillatory behavior of the drum level of Kerman combined cycle power plant and especi...
متن کاملModeling and Control of Water Level in Boiler Drum for Nassiriyah Thermal Power Plant
The boiler drum process is a nonlinear, complex and multivariable process which includes significant time delay. Therefore, the control on the water level in the drum is not easy and ideal. The first objective of this paper is to model the drum water level referring to 210 MW power unit for Nassiriyah thermal power plant. The second objective is to study the water level controller operation wit...
متن کاملUsing HyTech to Synthesize Control Parameters for a Steam Boiler
We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we de ne and verify a controller that maintains the safe operation of the boiler. The less abstract model permits the design of a more e cient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize con...
متن کاملMonitoring and Controlling of Boiler Drum Parameters Using Lab View
The boiler drum level control unit is one of the main parameter in the thermal power station. Currently the boiler drum parameters are monitored only by using MATLAB software. There is no automatic control available. In the proposed system the boiler drum parameters such as temperature level, pressure level, water level and Droplet identifier are measured and controlled by using embedded proces...
متن کامل