Formal modelling of autonomous systems

ABSTRACT

This work investigates the application of Category Theory to Autonomous Systems. The study arose from a need to provide a mechanism for systems to interact in an autonomous environment. It is observed that many of the difficulties with intercommunicating systems arise from the lack of a well developed formal definition mechanism and that Category Theory offers a possible solution.This work provides a framework for a categorical abstract model of an Autonomous System and outlines a categorical specification language for such a system.

REFERENCES

• Arbi 74: Arbib, M. A. and Manes, E. G., "Machines in a Category : An Expository Introduction", SIAM Review, Vol. 16, 2. April 1974, pp 163-191.
• Arbi 75: Arbib, M. A. and Manes, E. G., "Arrows, Structures, and Functors - The Categorical Imperative", Academic Press 1975, 185 pages.
• Berg 85: Bergstra, J. A., Klop, J. W., "Algebra of Communicating Processes with Abstraction", Theoretical Computer Science, Vol. 37, 1985, pp 77-121.
• Burs 80: Rod M. Burstall, Electronic Category Theory, Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, p.22-39, September 01-05, 1980
• Cole 86: Cole, R., "An Introduction to Research in Autonomous Systems - Autonomous Systems Task Force", UCL Internal Note 1957, May 1986, pp 1-6.
• Cham 85: "Chambers 20th Century Dictionary", Edited by E.M. Kirkpatrick, 1985.
• Ehri 81: Ehrig, H., Kreowski H-J., Maggiolo-Schettini, A., Rosen, B. K., Winkowski, J., "Transformations of Structures: an Algebraic Approach", Maths. Systems Theory 14, 305-334.
• Gogu 84: Goguen, J. A. and Burstall, R. M., "Some Fundamental Algebraic Tools for the Semantics of Computation", J. Theoretical Computer Science, Vol. 31 pp 263-295.
• Lee 88: Lee, W. M., "Categorical Abstraction of Autonomous Systems", Thesis in preparation, 1988.
• Lips 81: Lipson, J. D., "Elements of Algebra and Algebraic Computing", Addison-Wesley Publishing Company, 1981.
• Mane 75: Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control, February 1974
• Wink 82: Winkowski, J., "An Algebraic Description of System Behaviours", Theoretical Computer Science, Vol. 21, 1982, pp 315-340.