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

976 citations

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

1 paper · 2 filters

cs.LO2008★ 37 cited

Model Checking One-clock Priced Timed Automata

Patricia Bouyer, Kim G. Larsen, Nicolas Markey

We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model…