output
19992026
most citedSecondary Frequency and Voltage Control of Islanded Microgrids via Distributed Averaging

976 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2016 · cs.LOShow all

3 papers · 2 filters

cs.LO2016★ 13 cited

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Daniel Gebler, Kim G. Larsen, Simone Tini

We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity…

cs.LO2016★ 2 cited

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard

This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single…

cs.LO2016★ 2 cited

Broadcast and aggregation in BBC

Hans Hüttel, Nuno Pratas

In distributed systems, where multi-party communication is essential, two communication paradigms are ever present: (1) one-to-many, commonly denoted as broadcast; and (2) many-to-…