论文信息 - A compositional process control model and its application to biochemical processes

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.

Catholijn M. Jonker | Jan Treur

[1] Nicholas R. Jennings,et al. Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[2] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .

[3] John F. Sowa,et al. Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[4] Ira Rudowsky,et al. Intelligent Agents , 2004, Commun. Assoc. Inf. Syst..

[5] Manfred Broy,et al. Specification and Development of Interactive Systems , 2001, Monographs in Computer Science.

[6] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[7] Catholijn M. Jonker,et al. Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning , 1997, EUROVAV.

[8] Munindar P. Singh,et al. Formal Methods in CIS: Multiagent Systems - Guest Editors' Introduction , 1997, Int. J. Cooperative Inf. Syst..

[9] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.

[10] Nicholas R. Jennings,et al. Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[11] Frances M. T. Brazier,et al. Principles of Compositional Multi-Agent System Development , 1997 .