Topological computation of activity regions

Authors:
Martin Potier;Antoine Spicher;Olivier Michel
Affiliations:
U-PEC - LACL, Paris, France;U-PEC - LACL, Paris, France;U-PEC - LACL, Paris, France
Venue:
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Year:
2013

Citing 8
Cited 0

Group-Based Fields

PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems
Topological analysis using morse theory and auditory display

Topological analysis using morse theory and auditory display
Rule-Based Modelling, Symmetries, Refinements

FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Activity regions for the specification of discrete event systems

SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Declarative mesh subdivision using topological rewriting in MGS

ICGT'10 Proceedings of the 5th international conference on Graph transformations
Biochemical reaction rules with constraints

ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
DEVS-FIRE: design and application of formal discrete event wildfire spread and suppression models

Simulation
Refounding of the activity concept? Towards a federative paradigm for modeling and simulation

Simulation

Quantified Score

Hi-index	0.00

Visualization

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.