×

Modeling and programming asynchronous automata networks: the MOCA approach. (English) Zbl 1306.68102

Bandini, Stefania (ed.) et al., Cellular automata. 9th international conference on cellular automata for research and industry, ACRI 2010, Ascoli Piceno, Italy, September 21–24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15978-7/pbk). Lecture Notes in Computer Science 6350, 345-355 (2010).
Summary: This paper introduces a model and a language for the specification and simulation of networks of automata, a generalization of Cellular Automata characterized by a possibly irregular structure, asynchronous cell transition rule activation, heterogeneity and openness to external influences. The model as well as the derived language are discussed in details, and its possible applications are briefly introduced.
For the entire collection see [Zbl 1196.68001].

MSC:

68Q80 Cellular automata (computational aspects)
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] von Neumann, J.: Theory of Self-Reproducting Automata. University of Illinois Press, US (1966)
[2] Weimar, J.R.: Simulation with Cellular Automata. Logos Verlag, Berlin (1997) ISBN 3-89722-026-1
[3] Christley, S., Zhu, X., Newman, S.A., Alber, M.S.: Multiscale Agent-Based Simulation for Chondrogenic Pattern Formation n vitro. Cybernetics and Systems 38(7), 707–727 (2007) · Zbl 1131.92008 · doi:10.1080/01969720701534125
[4] Hegselmann, R., Flache, A.: Understanding Complex Social Dynamics: a Plea for Cellular Automata based modelling. J. Artificial Societies and Social Simulation 1(3) (1998)
[5] Nagel, K.: Cellular Automata Models for Transportation Applications. In: Bandini, S., Chopard, B., Tomassini, M. (eds.) ACRI 2002. LNCS, vol. 2493, pp. 20–31. Springer, Heidelberg (2002) · Zbl 1027.68634 · doi:10.1007/3-540-45830-1_3
[6] Burstedde, C., Kirchner, A., Klauck, K., Schadschneider, A., Zittartz, J.: Cellular Automaton Approach to Pedestrian Dynamics - Applications. In: Pedestrian and Evacuation Dynamics, pp. 87–98. Springer, Heidelberg (2001) · Zbl 0978.90018
[7] Bandini, S., Bonomi, A., Vizzari, G., Acconci, V., DeGraaf, N., Podborseck, J., Clar, J.: A CA-Based Approach to Self-Organized Adaptive Environments: The Case of an Illumination Facility. In: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008, pp. 1–6 (October 2008) · doi:10.1109/SASOW.2008.46
[8] Bandini, S., Mauri, G.: Multilayered Cellular Automata. Theor. Comput. Sci. 217(1), 99–113 (1999) · Zbl 0914.68140 · doi:10.1016/S0304-3975(98)00152-2
[9] Fatès, N., Morvan, M.: An Experimental Study of Robustness to Asynchronism for Elementary cellular automata. Complex Systems 16(1), 1–27 (2005) · Zbl 1167.37307
[10] Bandini, S., Bonomi, A., Vizzari, G., Acconci, V.: A Cellular Automata-based Modular Lighting System. In: Bandini, S., et al. (eds.) ACRI 2010 proceedings, pp. 337–347 (2010) · Zbl 05795576 · doi:10.1007/978-3-642-15979-4_35
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.