DMCA
VHS Case Study 4 Verification and Control of a Juice Processing Plant Intermediate Report (1999)
BibTeX
@MISC{Fey99vhscase,
author = {Jeroen J. H. Fey and Jan H. van Schuppen and Riedel Drankenindustrie},
title = {VHS Case Study 4 Verification and Control of a Juice Processing Plant Intermediate Report},
year = {1999}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This report is to be extended in the second year of the project. The EU ESPRIT Project Verification of Hybrid Systems (VHS; 26270) is financially supported by the European Commission through the Program Telematics - Long Term Research. The aim of the project is to develop theory and algorithms for verification and control of hybrid systems. The following partners of the project participate in Case Study 4: Verimag, University of Dortmund, University of Nijmegen, and CWI (Coordinator of Case Study 4). As part of the project several case studies of industrial hybrid systems will be carried out. Case Study 4 concerns the production of fruit juices and lemonades. A company where such production takes place is Riedel Drankenindustrie at the town of Ede, The Netherlands. Because the company does not have a research department, it is not a partner in the project. The high performance requirements and the planned expansion of the production necessitate the use of further automation of the production process by formal methods and control algorithms. The contribution of this report to Project VHS consists of the following. A description of the operations of the juice processing plant is provided. This description includes examples of schedules. Problems of the verification of production schedules are detailed. In addition, control problems for the operation of the plant are formulated and an approach is outlined. The plan is that in the remaining life time of Case Study 4 the verification and control problems for this plant are treated. The example schedules can be checked by the verification tools of the computer science teams of Project VHS. The control problems will be treated by the control theorists of the project. An outline of the report follows. Section 2 contains the m...
Keyphrases
case study vhs case study control problem juice processing plant intermediate report project vhs hybrid system project several case study eu esprit project verification juice processing plant formal method european commission research department industrial hybrid system high performance requirement verification tool program telematics long term research production schedule project participate production process second year following partner example schedule riedel drankenindustrie computer science team control algorithm fruit juice life time planned expansion
