Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications.
作者： Joe H. Chow , Agung Julius , Ufuk Topcu , Zhe Xu
DOI:
关键词:
摘要: In this paper, we present a controller synthesis approach for wind turbine generators (WTG) and energy storage systems with metric temporal logic (MTL) specifications, provable probabilistic guarantees in the stochastic environment of power generation. The MTL specifications are requirements grid frequency deviations, WTG rotor speed variations flow constraints at different lines. We control bisimulation function, which bounds divergence trajectories switched system nominal fashion.We first design feedforward by solving an optimization problem trajectory deterministic robustness against initial state uncertainties. Then generate feedback law from data simulated trajectories. implement our method on both four-bus nine-bus system, test effectiveness generation loss disturbance. also advantage over when unexpected disturbance occurs.
arxiv.org
harvard.edu参考文章(23)
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos, On-Line Monitoring for Temporal Logic Robustness runtime verification. ,vol. 8734, pp. 231- 246 ,(2014) , 10.1007/978-3-319-11164-3_19
Georgios E. Fainekos, George J. Pappas, Robustness of Temporal Logic Specifications Lecture Notes in Computer Science. pp. 178- 192 ,(2006) , 10.1007/11940197_12
Pulgar Painemal, Hector Arnaldo, Wind farm model for power system stability analysis ,(2010)
Georgios E. Fainekos, George J. Pappas, Robustness of temporal logic specifications for continuous-time signals Theoretical Computer Science. ,vol. 410, pp. 4262- 4291 ,(2009) , 10.1016/J.TCS.2009.06.021
A. Agung Julius, George J. Pappas, Probabilistic testing for stochastic hybrid systems conference on decision and control. pp. 4030- 4035 ,(2008) , 10.1109/CDC.2008.4739166
S. Prajna, A. Jadbabaie, G.J. Pappas, Stochastic safety verification using barrier certificates conference on decision and control. ,vol. 1, pp. 929- 934 ,(2004) , 10.1109/CDC.2004.1428804
Morteza Lahijanian, Sean B. Andersson, Calin Belta, Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees IEEE Transactions on Robotics. ,vol. 28, pp. 396- 409 ,(2012) , 10.1109/TRO.2011.2172150
R. Alur, C. Courcoubetis, D. Dill, Model-checking for real-time systems logic in computer science. pp. 414- 425 ,(1990) , 10.1109/LICS.1990.113766
Eric M. Wolff, Ufuk Topcu, Richard M. Murray, Robust control of uncertain Markov Decision Processes with temporal logic specifications conference on decision and control. pp. 3372- 3379 ,(2012) , 10.1109/CDC.2012.6426174
Mária Svoreňová, Jan Křetínský, Martin Chmelík, Krishnendu Chatterjee, Ivana Černá, Calin Belta, Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games Nonlinear Analysis: Hybrid Systems. ,vol. 23, pp. 230- 253 ,(2017) , 10.1016/J.NAHS.2016.04.006