VERIFIED DETERMINATION OF SINGULARITIES IN CHEMICAL PROCESSES
|
Abstract:
Abstract Understanding and controlling the behavior of chemical processes are important issues, for safety as well as economical reasons. Some processes can have multiple steady states and even switch between them in a complex way, the reasons for the multiplicity not always being well understood. A singularity theory approach for investigating such behavior leads to nonlinear systems whose solutions correspond to speci c singular states of the process. In order to exclude certain types of singularities, rigorous methods must be used to check the solvability of the matching systems. As these systems are highly structured, our solution method combines a symbolic preprocessing phase (term manipulation for utilizing the structure) with a branch{and{bound type rigorous interval-based solver. We report on our experience with this approach for small{to{medium sized example problems. 1.
