Continuous Stirred Tank Reactors: Modeling and Simulation for CPS Security Assessment

The Continuous Stirred Tank Reactor (CSTR) is an essential process component in a variety of industries. Accurate modeling and simulation of the CSTR is crucial for efficient control and safety system design. In this paper, we present a novel hybrid dynamical model for the CSTR that supports accurate model-based design for CSTR safety and security systems. We first derive the system model then show how both the safety and security systems could be formally designed from the hybrid automaton. Finally, we discuss the generalization of the approach to other cyber physical systems.