223 citations · 243 across the 16 of their papers we have counts for
4 papers · 1 filter
Proper Lumping for Positive Bilinear Control Systems
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone +2
Positive systems naturally arise in situations where the model tracks physical quantities. Although the linear case is well understood, analysis and controller design for nonlinear…
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…
Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
Lukas Burgholzer, Antonio Jiménez-Pastor, Kim G. Larsen +3
Efficient methods for the simulation of quantum circuits on classic computers are crucial for their analysis due to the exponential growth of the problem size with the number of qu…
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…