OPTIMIZATION-BASED SAFETY ANALYSIS OF AN INDUSTRIAL-SCALE EVAPORATION SYSTEM WITH HYBRID DYNAMICS

While current approaches for the safety verification of hybrid systems yield rigorous proofs for system safety, their applicability is restricted to relatively small systems. In this paper, the safety properties of a large-scale industrial processing system with hybrid dynamics are investigated using two optimization-based approaches. While the first approach regards the hybrid system as a black box (i.e. only considers the inputoutput behavior) and attempts to determine worst-case scenarios by embedded hybrid simulation, the second approach additionally takes the internal structure of the system into account and employs theorem proving techniques to rigorously show certain properties of the system.