Doctoral Dissertations
Keywords and Phrases
Availability; Cyber-Physical Systems; Distributed Systems; Leader Elections; Markov Models; Smart-Grid
Abstract
"New research about cyber-physical systems is rapidly changing the way we think about critical infrastructures such as the power grid. Changing requirements for the generation, storage, and availability of power are all driving the development of the smart-grid. Many smart-grid projects disperse power generation across a wide area and control devices with a distributed system. However, in a distributed system, the state of processes is hard to determine due to isolation of memory. By using information flow security models, we reason about a process's beliefs of the system state in a distributed system. Information flow analysis aided in the creation of Markov models for the expected behavior of a cyber controller in a smart-grid system using a communication network with omission faults. The models were used as part of an analysis of the distributed system behavior when there are communication faults. With insight gained from these models, existing congestion management techniques were extended to create a feedback mechanism, allowing the cyber-physical system to better react to issues in the communication network"--Abstract, page iii.
Advisor(s)
McMillin, Bruce M.
Committee Member(s)
Hurson, A. R.
Jiang, Wei
Chellappan, Sriram
Sedigh, Sahra
Department(s)
Computer Science
Degree Name
Ph. D. in Computer Science
Sponsor(s)
National Science Foundation (U.S.)
United States. Department of Education. Graduate Assistance in Areas of National Need
Publisher
Missouri University of Science and Technology
Publication Date
Summer 2016
Pagination
xv, 111 pages
Note about bibliography
Includes bibliographic references (pages 105-110).
Rights
© 2016 Stephen Jackson Jackson, All rights reserved.
Document Type
Dissertation - Open Access
File Type
text
Language
English
Subject Headings
Electronic data processing -- Distributed processingCyber intelligence (Computer security)Smart power gridsMarkov processes
Thesis Number
T 10959
Electronic OCLC #
958280801
Recommended Citation
Jackson, Stephen Curtis, "Models of leader elections and their applications" (2016). Doctoral Dissertations. 2510.
https://scholarsmine.mst.edu/doctoral_dissertations/2510
Comments
Research was supported by the Future Renewable Electric Energy Delivery and Management Center, a National Science Foundation-supported Engineering Research Center under grant NSF EEC-081212, and the United States Department of Education GAANN program.