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 2019 · cs.LOShow all

3 papers · 2 filters

cs.LO2019★ 5 cited

Stubborn Set Reduction for Two-Player Reachability Games

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen +2

Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of…

cs.LO2019★ 4 cited

Probabilistic logics based on Riesz spaces

Robert Furber, Radu Mardare, Matteo Mio

We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of…

cs.LO2019★ 2 cited

Categorical Equivalences from State-Effect Adjunctions

Robert Furber

From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomo…