Abstract
The intention of this article is to present a general, uniform and concise mathematical framework for modelling of systems, especially discrete systems. As basic structures families and relations, defined as families of families represented in parameterized form, are used, which allows the representation of dual and polymorphic relations. On these structures structors are applied to obtain higher level structures, parts of these, and lower level structures from higher level structures. Considered are the π-product, selection of sub structures by properties, concatenations of relations subject to constraints. Treated are structures on index sets, topological structures, valuated structures, in particular fuzzy sets, sets of times as complete atomic boolean lattices with ordered atoms and induced orderings on the times, coarsenings of a time set, processes and their interactions, refinement and coarsenings of processes, and variables with their assignment operators. Most of our definitions are more general than those in literature. Relationships between various systems in applications are pointed out and illustrated by examples.
Keywords
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Albrecht, R. F.: Some Basic Concepts of Object Oriented Databases. System Science 20, No. 1, Wroclaw, (1994)
Albrecht, R. F.: Modelling of Computer Architecures. Proc. Conf. on Massively Parallel Computing Systems, IEEE Computer Society Press, Los Alamitos California (1994)
Albrecht, R. F.: Modelling of Discret Systems. Proceedings of the 1994 Human Interaction with Complex Systems Symposium, Greensboro (1994)
Allen, J. F.: Towards a General Theory of Actions and Time. Artificial Intelligence 23 (1984), 123–154
Birkhoff, G.: Lattice Theory. American Mathematical Society Colloquium Publications, Vol. XXV, Providence, Rhode Island (1973)
Bourbaki, N.: Théorie des Ensembles. In: Hermann & Cde. (eds.), Paris (1954)
Bourbaki, N.: Topologie Général. In: Hermann & Cde. (eds.), Paris (1951)
Fenton, N. E., Hill, G. A. F.: Systems Construction and Analysis: Mathematical and Logical Framework. London: McGraw-Hill 1993
Klir, G. J., Folger, T. A.: Fuzzy Sets, Uncertainty, and Information. State University of New York (1988)
Mesarovic, M. D., Takahara, Y.: Abstract Systems Theory: Berlin, Heidelberg: Springer 1989
Nauck, D., Klawonn, F., Kruse, R.: Neuronale Netze und Fuzzy-Systeme. Braunschweig: Vieweg 1994
Nöbeling, G.: Grundlagen der Analytischen Topologie. Berlin, Göttingen, Heidelberg: Springer 1954
Tremblay, J.-P., Manohar, R.: Discrete Mathematical Structures with Applications to Computer Science, McGraw-Hill 1975
Wille, R.: Bedeutungen von Begriffsverbänden. In: Ganter, B., Wille, R., Wolf, K. E. (eds.): Beiträge zur Begriffsanalyse. Mannheim, Wien, Zürich: B.I.-Wisschenschaftsverlag 1987, 161–211
Zeigler, B. P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press Inc., London (1984)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Albrecht, R.F. (1996). On the structure of discrete systems. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034746
Download citation
DOI: https://doi.org/10.1007/BFb0034746
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive