research
∙
06/30/2022
Minimization of Dynamical Systems over Monoids
Quantitative notions of bisimulation are well-known tools for the minimi...
share
research
∙
06/25/2021
Reducing Boolean Networks with Backward Boolean Equivalence
Boolean Networks (BNs) are established models to qualitatively describe ...
research
∙
04/27/2021
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
We introduce polynomial couplings, a generalization of probabilistic cou...
research
∙
01/09/2021
Exact maximal reduction of stochastic reaction networks by species lumping
Motivation: Stochastic reaction networks are a widespread model to descr...
research
∙
06/12/2020
Improved estimations of stochastic chemical kinetics by finite state expansion
Quantitative mechanistic models based on reaction networks with stochast...
research
∙
04/24/2020
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations
Motivation: Detailed mechanistic models of biological processes can pose...
research
∙
02/25/2020