Meny

Javascript verkar inte påslaget? - Vissa delar av Lunds universitets webbplats fungerar inte optimalt utan javascript, kontrollera din webbläsares inställningar.
Du är här

A Graphical Language for Batch Control

Författare:
Publiceringsår: 1999
Språk: Engelska
Sidor:
Publikation/Tidskrift/Serie: PhD Theses
Volym: TFRT-1051
Dokumenttyp: Doktorsavhandling
Förlag: Department of Automatic Control, Lund Institute of Technology (LTH)

Sammanfattning

Popular Abstract in Swedish

Denna avhandling presenterar ett grafiskt programmeringsspråk och dess användning vid styrning av satsvisa processer.



Arbetet i avhandlingen kan delas upp i två delar:



- utveckling av ett grafiskt programmeringspråk ämnat för implementering av styrsystem för sekventiella processer. Detta språk har fått namnet Grafchart.



- uppvisa hur recept-baserad styrning av satsvisa processer kan representeras och implementeras i Grafchart.



Grafiska programmeringspråk har många fördelar jämfört med textbaserade språk. De grafiska språken tillåter att programmet skriv i en form som likar den som människor använder vid modellering av problem. Ytterligare en fördel är möjligheten att utnyttja färger och animering för att ge en klar och intuitiv bild av vad som sker då programmet exekverar. Grafchart bygger på Grafcet och Petri nät samt ideer vanligt förekommande i objekt-orienterad programmering. Detta har gett språket en intuitiv syntax och möjlighet till formell analys. Grafchart har definierats formellt samt implementerats i G2, en industriell objekt-orienterad plattform.



Det hittills främsta användningsområdet för Grafchart är strukturering av recept för styrning av satsvisa processer (satsvisa processer tillhör gruppen av sekventiella processer). Satsvisa processer är vanligt förekommande inom kemi-, livsmedels- och läkemedelsindustrin. Instruktionerna för hur processen ska styras kallas för recept. Ett flertal olika exempel på hur recepten kan struktureras presenteras i avhanlingen. Denna del av arbetet har noggrant följt de riktlinjer som finns i den nya internationella standarden för satsvisa processer. I avhandlingen presenteras även en metod som kan användas för att analysera recepten med avseende på låssituationer (blockeringar). Låssituationer kan uppkomma om utrusningen i anläggningen bokats på ett felaktigt sätt.
In this thesis a graphical language for sequential control is presented and its application to batch control is examined and discussed. The name of the language is Grafchart. Its main feature is that it makes it possible to express complicated control problems in a compact and intuitive manner.



Grafchart exists in two versions; a basic version and a high-level version. The basic version was available when the work presented in this thesis started. The basic version of Grafchart is mainly based on Grafcet, i.e., it has a clear and intuitive syntax. In addition to this it has support for parameterization and methods and message passing as well as extended facilities for exception handling. The high-level version of Grafchart takes the concepts of the basic version one step further. The concepts of object tokens and multi-dimensional charts are introduced. These features are inspired by high-level Petri nets and constructs from object-oriented programming languages.



The main application area of Grafchart is batch control. In the thesis it is shown how Grafchart can be used for recipe structuring and recipe analysis. By using the features of Grafchart in various ways, recipes can be given different structures with different advantages and disadvantages. All structures comply with the international batch standard IEC 61512 (also refered to as ISA S88.01). To test and evaluate the different recipe structures, a real-time batch plant simulation platform was used. The batch recipe structures can be combined with resource allocation and a visualization of the allocation is thereby achieved. By transforming the recipes into an equivalent Petri net structure, formal analysis methods that exist for Petri nets can be used to look for possible deadlock situations.



Several commercial batch control systems exist today. They all have a similar approach to recipe structuring, resource allocation and user presentation. The advantages of using Grafchart compared to some of these systems, regarding these features are presented in the thesis. A toolbox implementation of Grafchart exists. It is implemented in G2, an object-oriented programming environment. G2 is also an industrial environment, this makes the toolbox and the results of this thesis directly usable in industry.

Disputation

1999-03-25
10:15
Room M:E, M-building, Lund Institute of Technology
  • Sebastian Engell (Professor Dr.-Ing.)

Nyckelord

  • Control Engineering
  • Automation
  • Batch Recipes
  • Batch Processes
  • Sequential Control
  • Grafcet
  • Petri nets
  • robotics
  • control engineering
  • Automatiska system
  • robotteknik
  • reglerteknik

Övriga

Published
  • ISSN: 0280-5316

Box 117, 221 00 LUND
Telefon 046-222 00 00 (växel)
Telefax 046-222 47 20
lu [at] lu.se

Fakturaadress: Box 188, 221 00 LUND
Organisationsnummer: 202100-3211
Om webbplatsen