An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems
References (7)
- et al.
Verification of logic controllers for continuous plants using timed condition/event-system models
Automatica
(1999) - et al.
Timestamp Petri-Nets in technical applications
- IEC. Intern. Standard 1131 A: Programmable Logic Controllers, Part3: Programming Languages,...
Cited by (15)
Observer design for Linear Hybrid Systems with unknown inputs and Petri-net discrete dynamics
2020, Nonlinear Analysis: Hybrid SystemsVirtual engineering of cyber-physical automation systems: The case of control logic
2019, Advanced Engineering InformaticsCitation 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].
Observer synthesis for Linear Hybrid Systems with constrained discrete dynamics
2017, Nonlinear Analysis: Hybrid SystemsSafe controllers design for industrial automation systems
2011, Computers and Industrial EngineeringCitation 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)
- 1
Author is now with Robert Bosch GmbH, Frankfurt, Germany