Experiences of using formal methods for chemical process control specification

Control Engineering Practice ◽

10.1016/s0967-0661(99)00138-0 ◽

2000 ◽

Vol 8 (1) ◽

pp. 71-79 ◽

Author(s):

K Lano ◽

J Bicarregui ◽

P Kan

Keyword(s):

Process Control ◽

Formal Methods ◽

Chemical Process ◽

Chemical Process Control

Download Full-text

Experiences of Using Formal Methods for Chemical Process Control Specification

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)40544-1 ◽

1998 ◽

Vol 31 (15) ◽

pp. 147-151

Author(s):

K. Lano ◽

J. Bicarregui ◽

P. Kan

Keyword(s):

Process Control ◽

Formal Methods ◽

Chemical Process ◽

Chemical Process Control

Download Full-text

The Use of A Pneumatic Simulator In Determining The Dynamic Behaviour of Chemical Process Control Systems

International Journal of Modelling and Simulation ◽

10.1080/02286203.1981.11759759 ◽

1981 ◽

Vol 1 (4) ◽

pp. 324-326

Author(s):

N.G. Koumoutsos ◽

G. Bafas ◽

J.J. de Kramer

Keyword(s):

Process Control ◽

Control Systems ◽

Chemical Process ◽

Dynamic Behaviour ◽

Process Control Systems ◽

Chemical Process Control

Download Full-text

Decentralized Microprocessor-Based Chemical-Process Control System "Rakurs": Design Philosophy

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)55304-5 ◽

1987 ◽

Vol 20 (5) ◽

pp. 123-127

Author(s):

E.L. Itskovich ◽

Yu. B. Lyubimov ◽

I.V. Prangishvili ◽

G.G. Stetsyura ◽

V.M. Beley ◽

...

Keyword(s):

Control System ◽

Process Control ◽

Chemical Process ◽

Process Control System ◽

Design Philosophy ◽

Chemical Process Control

Download Full-text

Quality Management in Chemical Process Control Expert Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)46722-x ◽

1995 ◽

Vol 28 (21) ◽

pp. 181-186

Author(s):

Peter Szczurko ◽

Kai Finke ◽

Dorothee Hoberg

Keyword(s):

Quality Management ◽

Process Control ◽

Expert Systems ◽

Chemical Process ◽

Chemical Process Control

Download Full-text

A PROCEDURE FOR THE DELIMITATION OF TASKS IN CHEMICAL PROCESS CONTROL HIERARCHIES

Design Methods of Control Systems ◽

10.1016/b978-0-08-041902-2.50088-x ◽

1992 ◽

pp. 493-498

Author(s):

M. Mulholland ◽

G. Hartley ◽

R. Moonsamy

Keyword(s):

Process Control ◽

Chemical Process ◽

Chemical Process Control

Download Full-text

Linear and bilinear matrix inequalities in chemical process control

1999 European Control Conference (ECC) ◽

10.23919/ecc.1999.7099831 ◽

1999 ◽

Author(s):

Jeremy G. Van Antwerp ◽

Richard D. Braatz

Keyword(s):

Process Control ◽

Chemical Process ◽

Matrix Inequalities ◽

Bilinear Matrix Inequalities ◽

Chemical Process Control

Download Full-text

Chemical process control—CPC III

Chemical Engineering and Processing - Process Intensification ◽

10.1016/0255-2701(87)80045-4 ◽

1987 ◽

Vol 22 (3) ◽

pp. 181

Author(s):

M. Wurst

Keyword(s):

Process Control ◽

Chemical Process ◽

Chemical Process Control

Download Full-text

Miniaturized photothermal sensors as analytical tools for detection of very small volumes in chemical process control

Optical Engineering ◽

10.1117/1.601218 ◽

1997 ◽

Vol 36 (2) ◽

pp. 469 ◽

Author(s):

Bernd S. Seidel

Keyword(s):

Process Control ◽

Chemical Process ◽

Analytical Tools ◽

Chemical Process Control

Download Full-text

The Hierarchy of Models in Chemical Process Control

10.23919/acc.1986.4789112 ◽

1986 ◽

Author(s):

Ronald K. Pearson

Keyword(s):

Process Control ◽

Chemical Process ◽

Chemical Process Control ◽

Hierarchy Of Models

Download Full-text

5112215 Apparatus for combustion, pollution and chemical process control

Environment International ◽

10.1016/0160-4120(93)90034-f ◽

1993 ◽

Vol 19 (1) ◽

pp. II

Author(s):

Michael Frish ◽

Joseph Morency ◽

Stephen A. Johnson ◽

Arthur Boni

Keyword(s):

Process Control ◽

Chemical Process ◽

Chemical Process Control

Download Full-text