Premium
Modeling and safety verification of discrete/continuous processing systems
Author(s) -
Dimitriadis V. D.,
Shah N.,
Pantelides C. C.
Publication year - 1997
Publication title -
aiche journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.958
H-Index - 167
eISSN - 1547-5905
pISSN - 0001-1541
DOI - 10.1002/aic.690430418
Subject(s) - operability , computer science , process (computing) , domain (mathematical analysis) , simple (philosophy) , set (abstract data type) , integer (computer science) , identification (biology) , point (geometry) , scale (ratio) , mathematical optimization , mathematics , mathematical analysis , philosophy , botany , geometry , software engineering , physics , epistemology , quantum mechanics , biology , programming language , operating system
A quantitative, model‐based approach to the safety verification problem for general processing systems operating in the discrete time domain is presented. It is recognized that the operation of most of these systems involves both discrete and continuous characteristics. Therefore, an appropriate modeling framework is proposed, within which models of purely discrete, purely continuous and hybrid systems of arbitrary complexity can be constructed consistently. The models developed can then be incorporated into a safety verification formulation, which allows the identification of potential hazards that may occur while operating such systems, together with the combinations of events that lead to them. Apart from the dynamic process model, the data required for carrying out the analysis include the space of possible disturbances and the set of operating regimes that are considered to be unsafe or undesirable from the operability point of view. The formulation results in a mixed‐integer optimization problem. A number of simple example problems presented illustrate the main ideas of the proposed technique, and the solution of an industrial‐scale case study demonstrates its applicability.