A compositional process control model and its application to biochemical processes

摘要

A compositional generic process control model is presented which has been applied to control enzymatic biochemical processes.The model has been designed at a conceptual and formal level using the compositional development method DESIRE, and includes processes for analysis, planning and simulation.It integrates qualitative and quantitative techniques.Its application to enzymatic chemical processes is described.Process control is a task that has many application domains, like production processes in industry (e.g. , chemical industry, car industry), any automated process that uses a conveyor belt or assembly line, but also in hospitals (e.g., brain scanners, intensive care) and remote robot control (e.g., space shuttles, the docking of spacecraft, nuclear reactors, deep-sea exploratory vessels) for environments that are hostile for human beings or for situations in which humans are not capable of receiving and interpreting sensory information quickly enough to make the right decisions.Applications for process control often are developed in an ad hoc manner, with no explicit speci cation at a conceptual level or built in facilities for reuse or veri cation.In this paper, a reusable model for process control is described which has been designed using the compositional development method DESIRE; see Brazier, Jonker and Treur (1998) for the underlying principles, and Brazier et al. (1995) for an extensiveThe authors have learned a lot about process control of enzymatic reactions from the domain expert