An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems

https://doi.org/10.3166/ejc.7.361-381Get rights and content

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 appro- priate production schedule shall be found. Second, the control code as it is really implemented on the Programmable Logic Controller (PLC) is given 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.

References (7)

There are more references available in the full text version of this article.

Cited by (15)

  • Virtual engineering of cyber-physical automation systems: The case of control logic

    2019, Advanced Engineering Informatics
    Citation Excerpt :

    A special emphasis is made in this work to discuss the needs related to the engineering of control logic in industrial automation systems in the context of Cyber-Physical Systems (CPS) as a potential for synergies between these research areas exist. We study the implications of our approach by deploying it in a case study related to the engineering of a real world, laboratory scale CPAS originating from the process engineering domain [21]. The methodology relies on the semantic integration of heterogeneous data formats from engineering tool chains into one common semantic layer by means of ontology [22].

  • Safe controllers design for industrial automation systems

    2011, Computers and Industrial Engineering
    Citation Excerpt :

    In this section, a benchmark example is used to illustrate the application of our approach. This plant is a modified version of the benchmark example for an evaporator system, presented by Kowalewski, Stursberg, and Bauer (2001) and Huuck, Lukoschus, and Lakhnech (2001). The plant (Fig. 5) consists of two tanks (tank 1 is heated and mixed), a condenser, level sensors and on–off valves (Vi).

  • A new plant modelling approach for formal verification purposes

    2007, IFAC Proceedings Volumes (IFAC-PapersOnline)
View all citing articles on Scopus
1

Author is now with Robert Bosch GmbH, Frankfurt, Germany

View full text