Using Model Checking for Analyzing Distributed Power Control Problems
نویسندگان
چکیده
منابع مشابه
Using Model Checking for Analyzing Distributed Power Control Problems
1 Institut de Mathématique, Université de Mons, 7000 Mons, Belgium 2Centre de Recherche en Automatique de Nancy (CRAN), Nancy Université, CNRS, 2 Avenue de la Forêt de Haye, 54516 Vandoeuvre-les-Nancy, France 3 Systèmes et Applications des Technologies de l’Information et de l’Energie (SATIE) CNRS, UMR8029-École Normale Supérieure de Cachan, ENS Cachan, France 4Laboratoire des Signaux et Systèm...
متن کاملDistributed Nonlinear Robust Control for Power Flow in Islanded Microgrids
In this paper, a robust local controller has been designed to balance the power for distributed energy resources (DERs) in an islanded microgrid. Three different DER types are considered in this study; photovoltaic systems, battery energy storage systems, and synchronous generators. Since DER dynamics are nonlinear and uncertain, which may destabilize the power system or decrease the performanc...
متن کاملAnalyzing Interoperability of Protocols Using Model Checking
To some extent, interoperability testing is still laborious with little effect, even for those products that have passed conformance testing. This paper mainly discusses the influence of sequential and concurrent implementation structures on interoperability, with two instructive conclusions: a) the sequential structure may lead to deadlock; b) the concurrent structure may lead to unsymmetrical...
متن کاملAnalyzing Internet Routing Security Using Model Checking
The goal of this work is to enhance Internet security by applying formal analysis of traffic attraction attacks on the BGP routing protocol. BGP is the sole protocol used throughout the Internet for interdomain routing, hence its importance. In attraction attacks an attacker sends false routing advertisements to gain attraction of extra traffic in order to increase its revenue from customers, d...
متن کاملAchieving Distributed Control through Model Checking
We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processes can decide, autonomously, to take or block an action so that the global constraint will not be violated. When the separate processes cannot make this decision alone, it may be possible to temporarily coordinate several proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EURASIP Journal on Wireless Communications and Networking
سال: 2010
ISSN: 1687-1499
DOI: 10.1155/2010/861472