STEAM BOILER CONTROL SYSTEM USING TENSOR ANALYSIS METHODS

Control System Simulator for Steam Boiler Parameters

Abstract: The paper presents the research results related to control of the steam boiler parameters: drum level, furnace pressure and steam pressure. It was developed the mathematical model of the water-steam system and furnace part of the boiler. Also, the paper presents the algorithm for real time detection of model parameter variations. In this context a correction method, validate through s...

A Steam - Boiler Control

An Algebraic Specification of the Steam-Boiler Control System

In Formal methods for industrial applications: specifying and programming the steam boiler control,

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 reacti...

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...