Model-based reasoning and control of process plants

Dissertation

Heikki Välisuo

Research output: ThesisDissertationMonograph

Abstract

In addition to stabilizing feedback control, safe and economic operation of industrial process plants requires discrete-event type logic control, for example automatic control sequences, interlocking and protections. A lot of complex routine reasoning is involved in the design and verification & validation (V&V) of such automatics. Similar reasoning is required in planning and scheduling plant operations, action planning and fault diagnosis. Much of the required reasoning is so straightforward that it could be accomplished by a computer if only there were plant models which allow versatile mechanised problem solving. Such plant models and related inference algorithms are the main subject of this report. Applying model-based reasoning in the design and V\&V of plant automatics and in action planning during plant operation is discussed. A prototype tool called ISIR (Interval SImulation and Reasoning) for model-based reasoning is presented. The approach is based on the principles of QSIM, an algorithm for qualitative simulation, and it is implemented in constraint logic programming language CLP(R). ISIR is applied to the verification and synthesis of a simple discrete-event control strategy of a continuous process, to a power plant feed-water system and to various standard examples from the qualitative simulation literature. The emphasis of the report is on presenting the principles of the approach, and on demonstrating its potential applications. Because constraint logic programming and the programming techniques developed in this work may be utilized as such, programming examples and most of the ISIR-algorithm are discussed in detail. The results are well-defined principles, a prototype implementation, some demonstrations and ideas for the specification of a general-purpose tool.
Original languageEnglish
QualificationDoctor Degree
Awarding Institution
  • Helsinki University of Technology
Supervisors/Advisors
  • Uronen, Paavo, Supervisor, External person
Award date26 May 1994
Place of PublicationEspoo
Publisher
Print ISBNs951-38-4416-1
Publication statusPublished - 1994
MoE publication typeG4 Doctoral dissertation (monograph)

Fingerprint

Logic programming
Planning
Computer programming
Computer programming languages
Feedback control
Failure analysis
Power plants
Demonstrations
Scheduling
Specifications
Economics
Water

Keywords

  • chemical industry
  • industrial plants
  • power plants
  • reasoning
  • control
  • modelling
  • constraints
  • algorithms
  • reactors
  • QSIM

Cite this

Välisuo, H. (1994). Model-based reasoning and control of process plants: Dissertation. Espoo: VTT Technical Research Centre of Finland.
Välisuo, Heikki. / Model-based reasoning and control of process plants : Dissertation. Espoo : VTT Technical Research Centre of Finland, 1994. 172 p.
@phdthesis{190ddc49a17349e1a7bb57284f131a82,
title = "Model-based reasoning and control of process plants: Dissertation",
abstract = "In addition to stabilizing feedback control, safe and economic operation of industrial process plants requires discrete-event type logic control, for example automatic control sequences, interlocking and protections. A lot of complex routine reasoning is involved in the design and verification & validation (V&V) of such automatics. Similar reasoning is required in planning and scheduling plant operations, action planning and fault diagnosis. Much of the required reasoning is so straightforward that it could be accomplished by a computer if only there were plant models which allow versatile mechanised problem solving. Such plant models and related inference algorithms are the main subject of this report. Applying model-based reasoning in the design and V\&V of plant automatics and in action planning during plant operation is discussed. A prototype tool called ISIR (Interval SImulation and Reasoning) for model-based reasoning is presented. The approach is based on the principles of QSIM, an algorithm for qualitative simulation, and it is implemented in constraint logic programming language CLP(R). ISIR is applied to the verification and synthesis of a simple discrete-event control strategy of a continuous process, to a power plant feed-water system and to various standard examples from the qualitative simulation literature. The emphasis of the report is on presenting the principles of the approach, and on demonstrating its potential applications. Because constraint logic programming and the programming techniques developed in this work may be utilized as such, programming examples and most of the ISIR-algorithm are discussed in detail. The results are well-defined principles, a prototype implementation, some demonstrations and ideas for the specification of a general-purpose tool.",
keywords = "chemical industry, industrial plants, power plants, reasoning, control, modelling, constraints, algorithms, reactors, QSIM",
author = "Heikki V{\"a}lisuo",
note = "Project code: AUT4215",
year = "1994",
language = "English",
isbn = "951-38-4416-1",
series = "VTT Publications",
publisher = "VTT Technical Research Centre of Finland",
number = "178",
address = "Finland",
school = "Helsinki University of Technology",

}

Välisuo, H 1994, 'Model-based reasoning and control of process plants: Dissertation', Doctor Degree, Helsinki University of Technology, Espoo.

Model-based reasoning and control of process plants : Dissertation. / Välisuo, Heikki.

Espoo : VTT Technical Research Centre of Finland, 1994. 172 p.

Research output: ThesisDissertationMonograph

TY - THES

T1 - Model-based reasoning and control of process plants

T2 - Dissertation

AU - Välisuo, Heikki

N1 - Project code: AUT4215

PY - 1994

Y1 - 1994

N2 - In addition to stabilizing feedback control, safe and economic operation of industrial process plants requires discrete-event type logic control, for example automatic control sequences, interlocking and protections. A lot of complex routine reasoning is involved in the design and verification & validation (V&V) of such automatics. Similar reasoning is required in planning and scheduling plant operations, action planning and fault diagnosis. Much of the required reasoning is so straightforward that it could be accomplished by a computer if only there were plant models which allow versatile mechanised problem solving. Such plant models and related inference algorithms are the main subject of this report. Applying model-based reasoning in the design and V\&V of plant automatics and in action planning during plant operation is discussed. A prototype tool called ISIR (Interval SImulation and Reasoning) for model-based reasoning is presented. The approach is based on the principles of QSIM, an algorithm for qualitative simulation, and it is implemented in constraint logic programming language CLP(R). ISIR is applied to the verification and synthesis of a simple discrete-event control strategy of a continuous process, to a power plant feed-water system and to various standard examples from the qualitative simulation literature. The emphasis of the report is on presenting the principles of the approach, and on demonstrating its potential applications. Because constraint logic programming and the programming techniques developed in this work may be utilized as such, programming examples and most of the ISIR-algorithm are discussed in detail. The results are well-defined principles, a prototype implementation, some demonstrations and ideas for the specification of a general-purpose tool.

AB - In addition to stabilizing feedback control, safe and economic operation of industrial process plants requires discrete-event type logic control, for example automatic control sequences, interlocking and protections. A lot of complex routine reasoning is involved in the design and verification & validation (V&V) of such automatics. Similar reasoning is required in planning and scheduling plant operations, action planning and fault diagnosis. Much of the required reasoning is so straightforward that it could be accomplished by a computer if only there were plant models which allow versatile mechanised problem solving. Such plant models and related inference algorithms are the main subject of this report. Applying model-based reasoning in the design and V\&V of plant automatics and in action planning during plant operation is discussed. A prototype tool called ISIR (Interval SImulation and Reasoning) for model-based reasoning is presented. The approach is based on the principles of QSIM, an algorithm for qualitative simulation, and it is implemented in constraint logic programming language CLP(R). ISIR is applied to the verification and synthesis of a simple discrete-event control strategy of a continuous process, to a power plant feed-water system and to various standard examples from the qualitative simulation literature. The emphasis of the report is on presenting the principles of the approach, and on demonstrating its potential applications. Because constraint logic programming and the programming techniques developed in this work may be utilized as such, programming examples and most of the ISIR-algorithm are discussed in detail. The results are well-defined principles, a prototype implementation, some demonstrations and ideas for the specification of a general-purpose tool.

KW - chemical industry

KW - industrial plants

KW - power plants

KW - reasoning

KW - control

KW - modelling

KW - constraints

KW - algorithms

KW - reactors

KW - QSIM

M3 - Dissertation

SN - 951-38-4416-1

T3 - VTT Publications

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Välisuo H. Model-based reasoning and control of process plants: Dissertation. Espoo: VTT Technical Research Centre of Finland, 1994. 172 p.