12 citations · 48 across the 23 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018
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…
eess.SY2018★ 1 cited
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…