Martin Potier
Olivier Michel
ABSTRACT
Most of the frameworks and languages available in the field of modeling and simulation of dynamical systems focus on the specification of the state of the system and its transition function. Although we believe that this task has been elegantly solved by the design of the rule-based topological programming language MGS, an interesting challenge remains in the computation of the activity, and its topology, exhibited by their discrete event simulation. This additional information can help in optimizing, analyzing and modeling complex systems.
- U. Axen. Topological Analysis Using Morse Theory and Auditory Display. PhD thesis, University of Illinois at Urbana-Champaign, Champaign, IL, USA, 1998. Google Scholar
Digital Library
- V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine. Rule-based modelling, symmetries, refinements. Formal Methods in Systems Biology, pages 103--122, 2008. Google ScholarDigital Library
- J.-L. Giavitto, C. Godin, O. Michel, and P. Prusinkiewicz. Modelling and Simulation of biological processes in the context of genomics, chapter "Computational Models for Integrative and Developmental Biology". Hermes, July 2002.Google Scholar
- J.-L. Giavitto, O. Michel, and J.-P. Sansonnet. Group based fields. In I. Takayasu, R. H. J. Halstead, and C. Queinnec, editors, PSLS'95, volume 1068 of LNCS, pages 209--215, Beaune (France), 2-4 Oct. 1995. Springer Verlag. Google ScholarDigital Library
- M. A. Gibson and J. Bruck. Efficient exact stochastic simulation of chemical systems with many species and many channels. The journal of physical chemistry A, 104(9):1876--1889, 2000.Google Scholar
- X. Hu, Y. Sun, and L. Ntaimo. DEVS-FIRE: design and application of formal discrete event wildfire spread and suppression models. SIMULATION, 88(3):259--279, Oct. 2011. Google ScholarDigital Library
- M. John, C. Lhoussaine, J. Niehren, and C. Versari. Biochemical reaction rules with constraints. Programming Languages and Systems, pages 338--357, 2011. Google ScholarDigital Library
- I. Karafyllidis and A. Thanailakis. A model for predicting forest fire spreading using cellular automata. Ecological Modelling, 99(1):87 -- 97, 1997.Google ScholarCross Ref
- J. Munkres. Elements of Algebraic Topology. Addison-Wesley, 1984.Google Scholar
- A. Muzy, L. Touraille, H. Vangheluwe, O. Michel, M. Kaba Traore, and D. R.C. Hill. Activity Regions for the Specification of Discrete Event Systems. In DEVS'10, 2010. Google ScholarDigital Library
- A. Muzy, F. Varenne, B. P. Zeigler, J. Caux, P. Coquillard, L. Touraille, D. Prunetti, P. Caillou, O. Michel, and D. R. Hill. Refounding of activity concept? Towards a federative paradigm for modeling and simulation. SIMULATION, 89(2):156--177, 2012. Google ScholarDigital Library
- J. J. Shi. Activity-based construction (ABC) modeling and simulation method. Journal of Construction Engineering and Management, 1999.Google Scholar
- A. Spicher, O. Michel, and J.-L. Giavitto. Declarative mesh subdivision using topological rewriting in mgs. In Int. Conf. on Graph Transformations (ICGT) 2010, volume 6372 of LNCS, pages 298--313, Sept. 2010. Google ScholarDigital Library
Index Terms
- Topological computation of activity regions
Recommendations
Countability axioms in I-fuzzy topological spaces
In this paper, we introduce the concepts of first countability, second countability, density, separability, and Lindelof property for I-fuzzy topological spaces, and study their properties and the relationships between them. Furthermore, we give the ...
I-fuzzy topological groups
In this paper, the concept of I-fuzzy topological groups is introduced and some of its properties are discussed. Considering Jin-ming Fang's notion of I-fuzzy quasi-coincident neighborhood system [Fuzzy Sets and Systems 147 (2004) 317-325], we obtained ...
Move2Play: an innovative approach to encouraging people to be more physically active
IHI '12: Proceedings of the 2nd ACM SIGHIT International Health Informatics SymposiumThroughout the last decade, there has been an alarming decrease in daily physical activity among both children and adults. Medical experts agree that physical activity is critical to maintaining fitness, reducing weight and improving health. Yet so many ...
Comments