An experimental batch plant as a test case for the verification of hybrid systems

作     者：Kowalewski, S Stursberg, O Bauer, N 

作者机构：Univ Dortmund Dept Chem Engn Proc Control Lab D-44221 Dortmund Germany 

出 版 物：《EUROPEAN JOURNAL OF CONTROL》 (欧洲控制杂志)

年 卷 期：2001年第7卷第4期

页      面：366-381页

核心收录：

学科分类：0711[理学-系统科学] 07[理学] 08[工学] 070105[理学-运筹学与控制论] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 0701[理学-数学] 071101[理学-系统理论] 

基　　金：European Commission  EC  (26270) 

主　　题：batch processes hybrid systems programmable logic controllers safety analysis verification scheduling 

摘      要：A laboratory batch process is presented as an example for case studies in the verification of hybrid systems. In the process, sodium-chloride solution is first mixed with water and then reduced to the original sodium-chloride concentration by evaporation. The paper describes the plant layout, the main process specifications, and the implementation of a particular control scheme. The problem formulation is divided into three parts. First, an abstraction level is considered on which an appropriate production schedule shall be found. Second, the control code as it is really implemented on the Programmable Logic Controller (PLC) is gh,en such that its correctness can be analyzed. Finally, a particular sub-problem is derived from the original formulation which makes it necessary to consider the continuous plant dynamics in more detail. Simulation results are provided to illustrate the specific difficulties of the case example.