12 citations · 48 across the 23 of their papers we have counts for
6 papers · 1 filter
Coarse-graining Complex Networks for Control Equivalence
Daniele Toller, Mirco Tribastone, Max Tschaikowski +1
The ability to control complex networks is of crucial importance across a wide range of applications in natural and engineering sciences. However, issues of both theoretical and nu…
Optimality-preserving Reduction of Chemical Reaction Networks
Kim G. Larsen, Daniele Toller, Mirco Tribastone +2
Across many disciplines, chemical reaction networks (CRNs) are an established population model defined as a system of coupled nonlinear ordinary differential equations. In many app…
PID Control of Biochemical Reaction Networks
Max Whitby, Luca Cardelli, Marta Kwiatkowska +3
Principles of feedback control have been shown to naturally arise in biological systems and successfully applied to build synthetic circuits. In this work we consider Biochemical R…
From Electric Circuits to Chemical Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski
Electric circuits manipulate electric charge and magnetic flux via a small set of discrete components to implement useful functionality over continuous time-varying signals represe…
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
It is well known that exact notions of model abstraction and reduction for dynamical systems may not be robust enough in practice because they are highly sensitive to the specific…
Challenges in Quantitative Abstractions for Collective Adaptive Systems
Mirco Tribastone
Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from d…