about this paper

presentation abstract bibitem

downloads

paper (on HAL)
Jérôme Feret.
Model reduction of infinite rule-based models.
In Proceedings of the Thirty-nineth SIGSIM Principles of Advanced Discrete Simulation, PADS'25. Santa Fe, New Mexico, USA, A. Uhrmacher (Ed), To appear in ACM Conference Proceedings.
© ACM, USA.

Abstract:

We propose a systematic approach to approximate the behav- ior of models of unbounded polymers. Our technique consists in discovering time-dependent ranges for the quantities of some patterns of interest. These ranges are obtained by ap- proximating the state of the system by a hyper-box (i.e. a rectangle in 𝑛-dimensions), with differential equations defin- ing the evolution of the coordinates of each of its hyper-faces (e.g. each of its (𝑛−1)-faces). Each equation pessimistically bounds the time derivative of the corresponding coordinate, when the state of the system ranges over this hyper-face.

To synthesize these bounds, we focus on the models writ- ten in the Kappa language. Kappa provides symbolic equali- ties and inequalities which intentionally may be understood as algebraic constructions over patterns, and extensionally as sound properties about the quantities of the biomolecular species that contain these patterns. 
@inproceedings{DBLP:conf/pads/Feret25,
  author       = {J{\'{e}}r{\^{o}}me Feret},
  editor       = {Adelinde Uhrmacher}, 
  title        = {Abstraction of memory block manipulations by symbolic loop folding},
  booktitle    = {Principles of Advanced
    Discrete Simulation - 39th SIGSIM PADS - 2025}, 
  series       = {ACM Conference proceedings}, 
  volume       = {???},
  pages        = {??--??},
  publisher    = {ACM},
  year         = {2025},
  url          = {}, 
  doi          = {},
}