27 citations · 59 across the 21 of their papers we have counts for
4 papers · 1 filter
Minimization of Dynamical Systems over Monoids
Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo +3
Quantitative notions of bisimulation are well-known tools for the minimization of dynamical models such as Markov chains and ordinary differential equations (ODEs). In \emph{forwar…
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a l…
Syntactic Markovian Bisimulation for Chemical Reaction Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially larg…
Forward and Backward Bisimulations for Chemical Reaction Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Forward CRN bisimulat…