Finite-state transition models for path planning, packet screening and control of networked industrial control systems

dc.contributor.committeeChairBerg, Jordan M.
dc.contributor.committeeMemberRen, Beibei
dc.contributor.committeeMemberNutter, Brian
dc.contributor.committeeMemberde Farias, Ismael R., Jr.
dc.creatorPothuwila, Kalana L.
dc.creator.orcid0000-0002-5873-909X
dc.date.accessioned2017-09-14T03:05:20Z
dc.date.available2017-09-14T03:05:20Z
dc.date.created2017-08
dc.date.issued2017-08
dc.date.submittedAugust 2017
dc.date.updated2017-09-14T03:05:20Z
dc.description.abstractThis research project investigates the use of finite-state transition representations for path planning, cyber security, and closed-loop control of networked industrial control systems. In particular, we consider systems consisting of physical components that are controlled by networked digital devices, such as programmable logic controllers (PLCs). The physical components are typically described in continuous time using differential equations, while the communication and control components operate in discrete time. Such combinations of continuous and discrete elements are called "hybrid systems." Although there is a substantial body of literature for analyzing either continuous or discrete systems, the techniques applicable to one are generally not compatible with the other, making analysis and control of hybrid systems a challenging task. The approach taken here is to approximate the continuous dynamics by finitestate, discrete-time transition models. These can be naturally integrated with the digital control and communication infrastructure, and the resulting unified finite-state transition models can be analyzed using powerful algorithmic tools. In this work, the tasks of interest are 1) planning open-loop set-point changes of the system state, 2) detecting and neutralizing harmful control actions, and 3) implementing closed-loop control for uncertainty and disturbance rejection. We first extend existing methods for finite-state transition modeling to include multiple equilibrium points with both stable and unstable points. This extension is demonstrated on the classic inverted pendulum on a cart (IPC). We show the path planning and closed-loop control capabilities by swinging up the IPC to its unstable, upward-pointing position and stabilizing it there. Finally, we extend the current state-of-the-art in cyber security for networked industrial control systems, by using the finite-state transition model to create a state-aware packet monitoring system to interpret control inputs in the context of the current system configuration.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2346/73183
dc.language.isoeng
dc.subjectPacket screening
dc.subjectPacket sniffing
dc.subjectFSTS
dc.subjectNetworked industrial control systems
dc.titleFinite-state transition models for path planning, packet screening and control of networked industrial control systems
dc.typeDissertation
dc.type.materialtext
thesis.degree.departmentMechanical Engineering
thesis.degree.disciplineMechanical Engineering
thesis.degree.grantorTexas Tech University
thesis.degree.levelDoctoral
thesis.degree.nameDoctor of Philosophy

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
POTHUVILA-DISSERTATION-2017.pdf
Size:
830.71 KB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
LICENSE.txt
Size:
1.85 KB
Format:
Plain Text
Description: