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

976 citations

researchers with a paper here
collaborating institutions
Showing 2012 · cs.LOShow all

7 papers · 2 filters

cs.LO2012

Parameterized Metatheory for Continuous Markovian Logic

Kim G. Larsen, Radu Mardare, Claus Thrane

This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes.…

cs.LO2012

Proceedings Quantities in Formal Methods

Uli Fahrenberg, Axel Legay, Claus Thrane

This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th S…

cs.LO2012★ 3 cited

Refinement and Difference for Probabilistic Automata

Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen +1

This paper studies a difference operator for stochastic systems whose specifications are represented by Abstract Probabilistic Automata (APAs). In the case refinement fails between…

cs.LO2012★ 30 cited

Continuous Markovian Logics - Axiomatization and Quantified Metatheory

Radu Mardare, Luca Cardelli, Kim G. Larsen

Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic)…

cs.LO2012★ 6 cited

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Alexandre David, Lasse Jacobsen, Morten Jacobsen +1

Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed for this model. We pres…

cs.LO2012

Weighted Modal Transition Systems

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl +3

Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification t…