Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R., Treur, J.: Formal specification of Multi-Agent Systems: a real-world case. In: Lesser, V. (ed.) Proceedings of the First International Conference on Multi-Agent Systems, ICMAS-1995, pp. 25–32. MIT Press, Cambridge (1995); Extended version in: Huhns, M., Singh, M. (eds.): International Journal of Cooperative Information Systems. Special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67–94 (1997)
Brazier, F.M.T., Jonker, C.M., Treur, J.: Principles of Compositional Multi-agent System Development. In: Cuena, J. (ed.) Proceedings of the 15th IFIP World Computer Congress, WCC 1998, Conference on Information Technology and Knowledge Systems, IT&KNOWS 1998, pp. 347–360 (1998)
Cornelissen, F., Jonker, C.M., Treur, J.: Compositional verification of knowledge-based systems: a case study in diagnostic reasoning. In: Plaza, E., Benjamins, R. (eds.) EKAW 1997. LNCS(LNAI), vol. 1319, pp. 65–80. Springer, Heidelberg (1997)
Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 350–380. Springer, Heidelberg (1998)
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Berlin (1995)
Wooldridge, M.J., Jennings, N.R. (eds.): ECAI 1994 and ATAL 1994. LNCS (LNAI), vol. 890. Springer, Heidelberg (1995)
Wooldridge, M., Jennings, N.R.: Agent theories, architectures, and languages: a survey. In: [6], pp. 1–39 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jonker, C.M., Treur, J. (1999). A Compositional Process Control Model and Its Application to Biochemical Processes. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive