國立虎尾科技大學 |

Data-Driven Safety & Security of Cyberphysical Systems.

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	Data-Driven Safety & Security of Cyberphysical Systems./
Author:	Thapliyal, Omanshu.
Description:	1 online resource (143 pages)
Notes:	Source: Dissertations Abstracts International, Volume: 84-10, Section: B.
Contained By:	Dissertations Abstracts International84-10B.
Subject:	Simulation. -
Online resource:	click for full text (PQDT)
ISBN:	9798379435455

Data-Driven Safety & Security of Cyberphysical Systems.
Thapliyal, Omanshu.

Data-Driven Safety & Security of Cyberphysical Systems. - 1 online resource (143 pages)

Source: Dissertations Abstracts International, Volume: 84-10, Section: B.

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

Includes bibliographical references

Cyberphysical systems (CPSs) are expected to operate in safety-critical scenarios, and are increasingly getting distributed and physically separated. CPSs are characterized by complex dynamical behavior arising from emergent inter-agent interactions, having discrete logic-based programs, data-driven methods employed in-the-loop, or by simply having highly nonlinear dynamics. Despite this, safety and security properties for CPSs need to be computed, often in real-time over analytically accurate solutions of the associated high dimensional partial differential equations (PDEs). In this dissertation, we investigate numerical approximation schemes to compute safety properties (or reachable sets) for CPSs with differing natures of complexities, without solving the associated PDEs. We solve for reachable sets for unknown dynamical systems with polynomial approximations. Similar approximation schemes can be extended to multi-agent systems and dynamical systems with neural-networks-in-the-loop. Such systems are increasingly applicable in real life instances, such as internet of things, urban air mobility, and data-driven controllers in-the-loop. We utilize the system's trajectory data to compute equivalent system models, and utilize the data-driven models to find approximate reachable sets using polytopic or interval approximations, thereby side stepping PDE solutions. We also investigate cyberphysical vulnerabilities in CPSs from emergent multi-agent behavior, and single agent interacting with multiple controllers via supervisory cyber layers. Each problem is accompanied with associated illustrative examples and numerical simulations. Finally, we present an extensive discussion of possible directions for future work, both, that result directly from the works presented in this dissertation, and those that stem from the assumptions that can be handled immediately.

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

Mode of access: World Wide Web

ISBN: 9798379435455Subjects--Topical Terms:

998515
Simulation.
Index Terms--Genre/Form:

554714
Electronic books.

Data-Driven Safety & Security of Cyberphysical Systems.
LDR:03144ntm a22003617 4500 001 1142042
005 20240414211929.5
006 m o d
007 cr mn ---uuuuu
008 250605s2023 xx obm 000 0 eng d
020 $a 9798379435455
035 $a (MiAaPQ)AAI30499122
035 $a (MiAaPQ)Purdue22237564
035 $a AAI30499122
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Thapliyal, Omanshu. $3 1466189
245 1 0 $a Data-Driven Safety & Security of Cyberphysical Systems.
264 0 $c 2023
300 $a 1 online resource (143 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: Dissertations Abstracts International, Volume: 84-10, Section: B.
500 $a Advisor: Hwang, Inseok;Frazho, Arthur.
502 $a Thesis (Ph.D.)--Purdue University, 2023.
504 $a Includes bibliographical references
520 $a Cyberphysical systems (CPSs) are expected to operate in safety-critical scenarios, and are increasingly getting distributed and physically separated. CPSs are characterized by complex dynamical behavior arising from emergent inter-agent interactions, having discrete logic-based programs, data-driven methods employed in-the-loop, or by simply having highly nonlinear dynamics. Despite this, safety and security properties for CPSs need to be computed, often in real-time over analytically accurate solutions of the associated high dimensional partial differential equations (PDEs). In this dissertation, we investigate numerical approximation schemes to compute safety properties (or reachable sets) for CPSs with differing natures of complexities, without solving the associated PDEs. We solve for reachable sets for unknown dynamical systems with polynomial approximations. Similar approximation schemes can be extended to multi-agent systems and dynamical systems with neural-networks-in-the-loop. Such systems are increasingly applicable in real life instances, such as internet of things, urban air mobility, and data-driven controllers in-the-loop. We utilize the system's trajectory data to compute equivalent system models, and utilize the data-driven models to find approximate reachable sets using polytopic or interval approximations, thereby side stepping PDE solutions. We also investigate cyberphysical vulnerabilities in CPSs from emergent multi-agent behavior, and single agent interacting with multiple controllers via supervisory cyber layers. Each problem is accompanied with associated illustrative examples and numerical simulations. Finally, we present an extensive discussion of possible directions for future work, both, that result directly from the works presented in this dissertation, and those that stem from the assumptions that can be handled immediately.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Simulation. $3 998515
650 4 $a Failure. $3 1365603
650 4 $a Partial differential equations. $3 1102982
650 4 $a Network topologies. $3 1413687
650 4 $a Communication. $3 556422
650 4 $a Computer security. $3 557122
650 4 $a Neural networks. $3 1011215
650 4 $a Controllers. $3 995759
650 4 $a Robots. $3 654842
650 4 $a Unmanned aerial vehicles. $3 1372845
650 4 $a Algorithms. $3 527865
650 4 $a Dynamical systems. $3 1249739
650 4 $a Computer science. $3 573171
650 4 $a Systems science. $3 1148479
655 7 $a Electronic books. $2 local $3 554714
690 $a 0459
690 $a 0790
690 $a 0984
690 $a 0800
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a Purdue University. $3 1184550
773 0 $t Dissertations Abstracts International $g 84-10B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30499122 $z click for full text (PQDT)