Formal Method For Microgrids Stability And Control
Formal Method for MicrogridsStability and ControlBNL’s Smart Grid WorkshopYan Li, Peng ZhangBing Wang, Peter B. Luh and Lingyu RenElectrical &Computer Engineering DepartmentUniversity of Connecticut10/22/2015Formal Methods for Microgrid1
Technical Challenges MICROGRIDS (MGs) areactive clusters of distributedgenerators (DGs), loads andenergy storage, and otheronsite electric components. Stability assessment andcontrol in a networked system Issue of uncertainties––––Weather conditionsLoad & electrical vehicleControl parametersInteraction between networkedmicrogrids10/22/2015Formal Methods for MicrogridNetworked Microgrids2
Formal MethodAnalysis MethodsNumerical SimulationPros Easy to implement Provide satisfying resultsin specific scenariosCons Inefficient in consideringuncertainties withexponential complexity Stability marginunattainable throughtrajectoriesFormal Method: Combining the advantagesDirect Methods10/22/2015 Provide stability regions Lyapunov functions arefrom which the system cannot easy to obtainreturn to the original point Cannot check if phase, Quickly check if controlvoltage, or frequencyactions are capable ofconstraints are metstabilizing the systemFormal Methods for Microgrid3
Formal Method: Understanding the Theory Single MG analysisUncertain InputsLinearizationSource: Google microgrid x F ( x, y, u g , ul , u p , ue ) 0 G ( x, y, u g , ul , u p , ue )Uncertainties fromgeneration10/22/2015Uncertaintiesfrom controlparametersUncertaintiesfrom powerexchange at PCCConvex HullCalculationReachable SetCalculationFlow tube over timeUncertainties fromloadFormal Methods for Microgrid4
Formal Method: Understanding the Theory x LinearizationConvex HullCalculationReachable SetCalculation( A B B A ) x ( C B B C ) u ( D B B D ) u ( E B B E ) u ( F B B F ) u11 12211 122gGeneration11 122lLoad11 122p11 122eControl ParameterPower Exchange σ FGLinearization of nonlinear MG systemFlowchart of the formal method10/22/2015Formal Methods for Microgrid5
Formal Method: Understanding the TheoryLinearizationConstruction of three dimensional zonotopeConvex HullCalculationReachable SetCalculationReachable Set Calculation Process10/22/2015Formal Methods for Microgrid
Formal Analysis Results0.0315Time Domain SimulationReachable Set0.031Active Power of PV (p.u.)Active Power of PV radiance0.0520x 150.2Test 5122.5time (sec)0.252D reachable set in time domain-3ActivePower ofPV (p.u.) 15Margin of Reachable SetReachable Set0.04105Time Domain SimulationReachable Set0-5-5051015Control Signal of Active Power .140.01Control SignalReachable set between active powerand its control signal10/22/20150.030.010.0420x 10Active Power(p.u.)0.035t(sec)3D section of reachable set in time domainFormal Methods for Microgrid7
Applications of Formal Method--Stability Margin Calculation and Analysis How far away is a microgrid from the stability margin? What formal method can offer– A criterion to estimate acceptable operation range– Quantitative measure of MG stability margin– Understanding of the impact of uncertainties– Transfer capability among MGs– Design and verification of MGs control10/22/2015Formal Methods for Microgrid8
Formal Method Potential Application--Stability Margin Calculation and AnalysisUncertain InputsLinearizationConvex HullCalculationReachable SetCalculationStability MarginCalculationTime Varying Stability Margin10/22/2015Formal Methods for Microgrid9
Formal Method Potential Application--Stability Margin Calculation and AnalysisCoordinated ControlP (p.u.)Reachable Set underPossible UncertaintiesSpecific TimeDomain SimulationStability Margint (sec)Coordinated Control10/22/2015Formal Methods for Microgrid10
Acknowledgements NSF Grant CNS-1419076, Enabling Highly Resilientand Efficient Microgrids through Ultra-FastProgrammable Networks Eversource Energy Centre Pat Looney, Meng Yue and Stephanie Hamilton10/22/2015Formal Methods for Microgrid11
Applications of Formal Method --Stability Margin Calculation and Analysis . 10/22/2015 . Formal Methods for Microgrid. 8 How far away is a microgrid from the stability margin? What formal method can offer – A criterion to estimate acceptable operation range – Quantitative measure of MG stability margin
Bruksanvisning för bilstereo . Bruksanvisning for bilstereo . Instrukcja obsługi samochodowego odtwarzacza stereo . Operating Instructions for Car Stereo . 610-104 . SV . Bruksanvisning i original
10 tips och tricks för att lyckas med ert sap-projekt 20 SAPSANYTT 2/2015 De flesta projektledare känner säkert till Cobb’s paradox. Martin Cobb verkade som CIO för sekretariatet för Treasury Board of Canada 1995 då han ställde frågan
service i Norge och Finland drivs inom ramen för ett enskilt företag (NRK. 1 och Yleisradio), fin ns det i Sverige tre: Ett för tv (Sveriges Television , SVT ), ett för radio (Sveriges Radio , SR ) och ett för utbildnings program (Sveriges Utbildningsradio, UR, vilket till följd av sin begränsade storlek inte återfinns bland de 25 största
Hotell För hotell anges de tre klasserna A/B, C och D. Det betyder att den "normala" standarden C är acceptabel men att motiven för en högre standard är starka. Ljudklass C motsvarar de tidigare normkraven för hotell, ljudklass A/B motsvarar kraven för moderna hotell med hög standard och ljudklass D kan användas vid
LÄS NOGGRANT FÖLJANDE VILLKOR FÖR APPLE DEVELOPER PROGRAM LICENCE . Apple Developer Program License Agreement Syfte Du vill använda Apple-mjukvara (enligt definitionen nedan) för att utveckla en eller flera Applikationer (enligt definitionen nedan) för Apple-märkta produkter. . Applikationer som utvecklas för iOS-produkter, Apple .
EPA Test Method 1: EPA Test Method 2 EPA Test Method 3A. EPA Test Method 4 . Method 3A Oxygen & Carbon Dioxide . EPA Test Method 3A. Method 6C SO. 2. EPA Test Method 6C . Method 7E NOx . EPA Test Method 7E. Method 10 CO . EPA Test Method 10 . Method 25A Hydrocarbons (THC) EPA Test Method 25A. Method 30B Mercury (sorbent trap) EPA Test Method .
Solar Microgrids and Remote Energy Access: How Weak Incentives Can Undermine Smart Technology Meredith Fowlie, Yashraj Khaitan, Catherine Wolfram, Derek Wolfson September 29, 2018 Abstract This paper documents the challenges faced by one company, Gram Power, installing and oper-ating solar microgrids in rural India.
Due date of deliverable: 31.12.2012 Document identifier: docx Revision: 1_ 1 Date: 2013-04-16 . SmartAgriFood 31.12.2012 docx Page 2 of 58 The SmartAgriFood Project The SmartAgriFood project is funded in the scope of the Future Internet Public Private Partner-ship Programme (FI-PPP), as part of .
