Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

First Page		Document Content
Date: 2018-09-27 16:37:21 Mathematics Electromagnetism Electric power Electrical engineering Power engineering Power-flow study Parameter Variable		Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract— Add to Reading List Source URL: scungao.github.io Download Document from Source Website File Size: 333,04 KB Share Document on Facebook

	Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · DocID: 1xVQa - View Document
	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract DocID: 1xVzo - View Document
	Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen DocID: 1xUSx - View Document
	ANSØGNING TIL GIF GYMNASIALT INDSLUSNINGSKURSUS FOR FREMMEDSPROGEDE FOTO Fejl! Ukendt argument for parameter. DocID: 1vre0 - View Document
	Parameterized Deformation Sparse Coding via Tree-Structured Parameter Search Brandon Burdge, Kenneth Kreutz-Delgado Dept. of Electrical and Computer Engineering University of California San Diego , kreutz DocID: 1vqKG - View Document