Model-based decentralised automatic management of product flow paths in processing plants [Elektronische Ressource] / Gustavo Arturo Quirós Araya

Gustavo Quiros

Informations

• Publié par: rheinisch-westfalischen_technischen_hochschule_-rwth-_aachen
• Publié le: 01 janvier 2011
• Nombre de lectures: 62
• Langue: English
• Poids de l'ouvrage: 2 Mo

Extrait

Model-basedDecentralised
AutomaticManagementof
ProductFlowPathsin
ProcessingPlants
From the Faculty of Georesources and Materials Engineering of the
RWTH Aachen University
submitted by
Gustavo ArturoQuirósAraya,
M.Sc. inComputerScience
from San José, Costa Rica
in respect of the academic degree of
DoctorofNaturalSciences
approvedthesis
Advisors: Univ.-Prof.Dr.-Ing. Ulrich Epple
Univ.-Prof.Dr. Ir.Joost-Pieter Katoen
Date of the oral examination: May3,2010
This thesis is available in electronic format on the university librarywebsite.This research has been partially funded by the DFG
Research Training Group 1298 “Algorithmic synthesis
of reactiveand discrete-continuous systems” (AlgoSyn).FFoorrttsscchhrriitttt--BBeerriicchhttee VVDDII
RReeiihhee 88
Mess-, Steuerungs- M.Sc. Gustavo Quirós,
Aachen
und Regelungstechnik
Nr. 1183
Model-based
Decentralised Automatic
Management of
PPrroodduucctt FFllooww PPaatthhss iinn
Processing Plants
Lehrstuhlfür
Prozessleittechnik
derRWTHAachenQuirós,Gustavo
Model-basedDecentralisedAutomaticManagementofProductFlowPaths
inProcessingPlants
Fortschr.-Ber.VDIReihe8Nr. 1183. Düsseldorf:VDI Verlag2011.
220Seiten,46Bilder,3 Tabellen.
ISBN978-3-18-518308-9,ISSN 0178-9546,
¤ 65,00/VDI-Mitgliederpreis¤ 58,50.
Keywords: Processcontrol–Model-basedsoftwareengineering–Object-orientedsoftware
engineering – Product flow paths – Decentralised systems – Distributed systems – Distributed
algorithms–Distributedcontrol–Systemsynthesis–Safety
This work introduces the model of product flow paths as a formal framework for the correct
execution of product flow operations in processing plants. A product flow path is a software
objectresponsibleforcontrolling,monitoringanddocumentingthemovementofproductsalong
adeterminedrouteintheplant,andrepresentsatemporarilyandspatiallyisolatedareaforthe
safeandcorrecttransportofproducts.Aformalmodelprovidesaguidefortheimplementation
ofdecentralisedobject-orientedproductflowpathmanagementsystems.Amodel-basedsynthesis
techniquereplacestheengineeringofaflowpathsystemforaplantwiththesimpler
taskofcreatingandverifyingamodeloftheplant.Aprototypicalimplementationofthistechno-
logyhasbeendevelopedasaproofofconceptandtestedwithreal-lifeplants,andcanbeseen
asareferenceimplementationforindustrial-strengthflowpathmanagementsystems.
BibliographischeInformationderDeutschenBibliothek
DieDeutscheBibliothekverzeichnetdiesePublikationinderDeutschenNationalbibliographie;
detailliertebibliographischeDatensindimInternetunterhttp://dnb.ddb.deabrufbar.
BibliographicinformationpublishedbytheDeutscheBibliothek
(GermanNationalLibrary)
TheDeutscheBibliothekliststhispublicationintheDeutscheNationalbibliographie
(GermanNationalBibliography);detailedbibliographicdataisavailableviaInternetat
http://dnb.ddb.de.
D82(Diss.RWTH AachenUniversity,2010)
©VDI VerlagGmbH·Düsseldorf2011
AlleRechte,auchdasdesauszugsweisenNachdruckes,derauszugsweisenodervollständigen Wiedergabe
(Fotokopie,Mikrokopie),derSpeicherunginDatenverarbeitungsanlagen,imInternetunddasderÜbersetzung,
vorbehalten.
AlsManuskriptgedruckt.PrintedinGermany.
ISSN 0178-9546
ISBN 978-3-18-518308-9Preface
This thesis is the result of the research thatIconducted at the Chair of Process Control
Engineering of RWTH Aachen University during the period from 2006 to 2009 under the
guidance of Prof.D r.-Ing. Ulrich Epple,and while beingamember and scholarship holder
of the DFG Research Training Group 1298 “Algorithmic synthesis of reactiveand discrete-
continuous systems” (AlgoSyn) under the direction of Prof.D r. Dr.h.c. Wolfgang Thomas.
Furthermore,Prof.Dr. Ir.Joost-Pieter Katoen acted asasecond advisor forthis work.
Iamimmensely grateful to Prof.E pple forhis mentoring, his encouragement and his
supportduring my time asadoctoral student and research assistant at his chair,for having
offered the initial motivation forthis research, forhis precise insight into the formal principles
and practical aspects of the field of process control engineering, and forbeing committed to
offer an amenable working environment that encourages close collaboration and the sharing
ofknowledge.IalsothankProf.Katoensincerelyforacceptingtoactasasecondadvisor,for
his careful revision of this work and forhis keen indications.Furthermore,Iam very grateful
to Prof.Thomas forhis commitment asadirector of AlgoSyn, and to Prof.Dr.-Ing. Wolfgang
Bleckforpresiding over my doctoral examination. Finally,IsincerelythankUrsulaBeyforher
invaluable assistance.
Manypeople have contributed to the research that is presented in this thesis with their
comments and thoughts.F or thisIthank Prof.D r. Alexander Fay, Christina Haus,Holger
Jeromin, Reiner Jorewitz, Dr.Łukasz Kaiser,Dr. Sebastian Klabes,Tina Kraußer,Kai Krün-
ing, Henning Mersch, Martin Mertens,Dr. George Mertzios,Prof.Dr. Martin Polke, Markus
Schlütter,Bernd Schmidt, Dr.Stefan Schmitz, Liyong Yu,and all the members of AlgoSyn.
Ialso thank Ursula Bey, Johannes Gregor,Milena Gueorguieva,David Kampert, Tobias Li-
etke, Adela Marsikova, Martina Ueckerand Khai Vinh Vi fortheir collaboration at the Chair of
Process Control Engineering.
Iameversograteful to my parents Arturo and María, my sister Alicia, my brother Roberto,
my parents-in-lawEdgar and Sonia, and my brother-in-lawEdgar fortheir love and their
unconditional supportinevery possible manner.Ialso thank my family and my friends for
their encouragement and support. Finally,Iam infinitely grateful to Catalina, forwalking the
path of lifewith me.
Gustavo Quirós
Aachen, September 2010
III“You cannot travel the path until youhavebecome the path itself.”
Prince Siddhartha Gautama, the founder of Buddhism (563–483 B.C.)
IVContents
Abstract VIII
Kurzfassung XI
1I ntroduction 1
1.1 Motivation ..................................... 1
1.1.1 Piping Systems .............................. 2
1.1.2 Example:AFilling Station........... 4
1.1.3 The Problem.......................... 5
1.2 An Analogy from Railway Control........... 6
1.3 The Concept of Product FlowPaths ....................... 8
1.4 Goals of this Work.......................... 9
1.5 Structure of this Work............................... 9
2D efinitionofRequirementsand Tasks 10
2.1 Product FlowPath Model ............................. 10
2.1.1 Composition of Product FlowPaths ............ 10
2.1.2 LifeCycle of Product FlowPaths .....................11
2.2 Product FlowPath Management ......................... 13
2.2.1 Product FlowPath Management Tasks..... 13
2.2.2 FlowPaths as Objects ...................... 14
2.2.3 Product FlowPath Object Model...... 16
2.2.4 Assignment of Product FlowPath Management Tasks ......... 19
2.3 Decentralised Product FlowPath Management ................. 20
2.3.1 Advantages of Decentralisation...................... 20
2.3.2 Decentralised Railway Control... 21
2.3.3 Product FlowPath Management Systems ........ 22
2.4 Synthesis of Product FlowPath Management Systems ............. 24
3T heStateoftheArt25
3.1 Process Control Engineering ...........................2
3.1.1 Engineering of Plants and Control Systems ............... 26
3.1.2 Continuous Processes and Batch Processes .............. 29
3.1.3 Decentralised Control Systems............... 30
3.1.4 Control of Material Transport........... 30
3.2 Computer Science.......................... 34
3.2.1F undamental Theories....... 34
3.2.2D ecentralised Systems ............ 39
3.2.3O bject-oriented Software Engineering ..... 39
3.3 Railway Control .................................. 40
VContents
3.3.1 Geographical Railway Control ...................... 41
4F ormalModels 43
4.1 Modelling Approach................................ 43
4.2 Abstract Plant Model ............................... 45
4.3 FlowAllowance .................................. 48
4.3.1 Boolean FlowAllowance ......................... 49
4.3.2 FlowAllowance Settings 50
4.3.3 FlowAllowance Model ............ 53
4.3.4 FlowAllowance States.............. 53
4.4 FlowRoutes ...................... 54
4.4.1T he Structure of FlowRoutes....................... 54
4.4.2 FlowSteps................... 55
4.4.3F lowRoutes .................... 56
4.4.4O pen FlowRoutes............... 59
4.5E nclosed FlowRoutes ........................ 60
4.5.1 Product Leaks and Product Mixtures............ 60
5A lgorithms 66
5.1 Decentralised Component Model......................... 66
5.2 Algorithms ............... 67
5.2.1 Syntax of Algorithms ...........................68
5.2.2 Component Environment ......................... 69
5.2.3F lowPath Analysis .............. 70
5.2.4 FlowPath Monitoring ...........................76
5.2.5 FlowPath Allocation............................ 86
5.2.6E xamples of the Algorithms........................1 11
5.2.7 Termination Properties .......................... 114
5.3 Model-based Synthesis ................ 116
5.3.1 Synthesis Environment ............ 116
5.3.2 Component Synthesis...........................1 17
5.4 Computational Complexity ............................ 118
5.4.1 Complexity of FlowPath Analysis.....................1 19
5.4.2xity of FlowPath Monitoring ................... 1