國立虎尾科技大學 |

High Assurance Control of Cyber-Physical Systems with Application to Unmanned Aircraft Systems.

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	High Assurance Control of Cyber-Physical Systems with Application to Unmanned Aircraft Systems./
Author:	Kwon, Cheolhyeon.
Description:	1 online resource (155 pages)
Notes:	Source: Dissertation Abstracts International, Volume: 78-12(E), Section: B.
Subject:	Aerospace engineering. -
Online resource:	click for full text (PQDT)
ISBN:	9780355089189

High Assurance Control of Cyber-Physical Systems with Application to Unmanned Aircraft Systems.
Kwon, Cheolhyeon.

High Assurance Control of Cyber-Physical Systems with Application to Unmanned Aircraft Systems. - 1 online resource (155 pages)

Source: Dissertation Abstracts International, Volume: 78-12(E), Section: B.

Thesis (Ph.D.)--Purdue University, 2017.

Includes bibliographical references

With recent progress in the networked embedded control technology, cyber attacks have become one of the major threats to Cyber-Physical Systems (CPSs) due to their close integration of physical processes, computational resources, and communication capabilities. While CPSs have various applications in both military and civilian uses, their on-board automation and communication afford significant advantages over a system without such abilities, but these benefits come at the cost of possible vulnerability to cyber attacks. Traditionally, most cyber security studies in CPSs are mainly based on the computer security perspective, focusing on issues such as the trustworthiness of data flow, without rigorously considering the system's physical processes such as real-time dynamic behaviors. While computer security components are key elements in the hardware/software layer, these methods alone are not sufficient for diagnosing the healthiness of the CPSs' physical behavior. In seeking to address this problem, this research work proposes a control theoretic perspective approach which can accurately represent the interactions between the physical behavior and the logical behavior (computing resources) of the CPS. Then a controls domain aspect is explored extending beyond just the logical process of the CPS to include the underlying physical behavior. This approach will allow the CPS whose physical operations are robust/resilient to the damage caused by cyber attacks, successfully complementing the existing CPS security architecture. It is important to note that traditional fault-tolerant/robust control methods could not be directly applicable to achieve resiliency against malicious cyber attacks which can be designed sophisticatedly to spoof the security/safety monitoring system (note this is different from common faults). Thus, security issues at this layer require different risk management to detect cyber attacks and mitigate their impact within the context of a unified physical and logical process model of the CPS. Specifically, three main tasks are discussed in this presentation: (i) we first investigate diverse granularity of the interactions inside the CPS and propose feasible cyber attack models to characterize the compromised behavior of the CPS with various measures, from its severity to detectability; (ii) based on this risk information, our approach to securing the CPS addresses both monitoring of and high assurance control design against cyber attacks by developing on-line safety assessment and mitigation algorithms; and (iii) by extending the developed theories and methods from a single CPS to multiple CPSs, we examine the security and safety of multi-CPS network that are strongly dependent on the network topology, cooperation protocols between individual CPSs, etc. The effectiveness of the analytical findings is demonstrated and validated with illustrative examples, especially unmanned aircraft system (UAS) applications.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2018

Mode of access: World Wide Web

ISBN: 9780355089189Subjects--Topical Terms:

686400
Aerospace engineering.
Index Terms--Genre/Form:

554714
Electronic books.

High Assurance Control of Cyber-Physical Systems with Application to Unmanned Aircraft Systems.
LDR:04148ntm a2200325K 4500 001 913911
005 20180628100930.5
006 m o u
007 cr mn||||a|a||
008 190606s2017 xx obm 000 0 eng d
020 $a 9780355089189
035 $a (MiAaPQ)AAI10269809
035 $a (MiAaPQ)purdue:21207
035 $a AAI10269809
040 $a MiAaPQ $b eng $c MiAaPQ
100 1 $a Kwon, Cheolhyeon. $3 1186936
245 1 0 $a High Assurance Control of Cyber-Physical Systems with Application to Unmanned Aircraft Systems.
264 0 $c 2017
300 $a 1 online resource (155 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertation Abstracts International, Volume: 78-12(E), Section: B.
500 $a Adviser: Inseok Hwang.
502 $a Thesis (Ph.D.)--Purdue University, 2017.
504 $a Includes bibliographical references
520 $a With recent progress in the networked embedded control technology, cyber attacks have become one of the major threats to Cyber-Physical Systems (CPSs) due to their close integration of physical processes, computational resources, and communication capabilities. While CPSs have various applications in both military and civilian uses, their on-board automation and communication afford significant advantages over a system without such abilities, but these benefits come at the cost of possible vulnerability to cyber attacks. Traditionally, most cyber security studies in CPSs are mainly based on the computer security perspective, focusing on issues such as the trustworthiness of data flow, without rigorously considering the system's physical processes such as real-time dynamic behaviors. While computer security components are key elements in the hardware/software layer, these methods alone are not sufficient for diagnosing the healthiness of the CPSs' physical behavior. In seeking to address this problem, this research work proposes a control theoretic perspective approach which can accurately represent the interactions between the physical behavior and the logical behavior (computing resources) of the CPS. Then a controls domain aspect is explored extending beyond just the logical process of the CPS to include the underlying physical behavior. This approach will allow the CPS whose physical operations are robust/resilient to the damage caused by cyber attacks, successfully complementing the existing CPS security architecture. It is important to note that traditional fault-tolerant/robust control methods could not be directly applicable to achieve resiliency against malicious cyber attacks which can be designed sophisticatedly to spoof the security/safety monitoring system (note this is different from common faults). Thus, security issues at this layer require different risk management to detect cyber attacks and mitigate their impact within the context of a unified physical and logical process model of the CPS. Specifically, three main tasks are discussed in this presentation: (i) we first investigate diverse granularity of the interactions inside the CPS and propose feasible cyber attack models to characterize the compromised behavior of the CPS with various measures, from its severity to detectability; (ii) based on this risk information, our approach to securing the CPS addresses both monitoring of and high assurance control design against cyber attacks by developing on-line safety assessment and mitigation algorithms; and (iii) by extending the developed theories and methods from a single CPS to multiple CPSs, we examine the security and safety of multi-CPS network that are strongly dependent on the network topology, cooperation protocols between individual CPSs, etc. The effectiveness of the analytical findings is demonstrated and validated with illustrative examples, especially unmanned aircraft system (UAS) applications.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2018
538 $a Mode of access: World Wide Web
650 4 $a Aerospace engineering. $3 686400
650 4 $a Engineering. $3 561152
655 7 $a Electronic books. $2 local $3 554714
690 $a 0538
690 $a 0537
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a Purdue University. $b Aeronautics and Astronautics. $3 845678
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10269809 $z click for full text (PQDT)