3 papers
cs.LO2026
Computing Fixed Points using Dependency Oracles
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1
We present global and local algorithms for solving systems of equations over Noetherian posets with a bottom element, a general setting underlying many verification problems. Our a…
math.OC2023
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…
eess.SY2023
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…