東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Data-Driven Safety & Security of Cyb...

Thapliyal, Omanshu.

FindBook

Google Book

Amazon

博客來

Data-Driven Safety & Security of Cyberphysical Systems.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Data-Driven Safety & Security of Cyberphysical Systems./
作者:	Thapliyal, Omanshu.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2023,
面頁冊數:	143 p.
附註:	Source: Dissertations Abstracts International, Volume: 84-10, Section: B.
Contained By:	Dissertations Abstracts International84-10B.
標題:	Simulation. -
電子資源:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30499122
ISBN:	9798379435455

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

Data-Driven Safety & Security of Cyberphysical Systems. - Ann Arbor : ProQuest Dissertations & Theses, 2023 - 143 p.

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

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

This item must not be sold to any third party vendors.

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.

ISBN: 9798379435455Subjects--Topical Terms:

644748
Simulation.

Data-Driven Safety & Security of Cyberphysical Systems.
LDR:02991nmm a2200361 4500 001 2393946
005 20240414211929.5
006 m o d
007 cr#unu||||||||
008 251215s2023 ||||||||||||||||| ||eng d
020 $a 9798379435455
035 $a (MiAaPQ)AAI30499122
035 $a (MiAaPQ)Purdue22237564
035 $a AAI30499122
040 $a MiAaPQ $c MiAaPQ
100 1 $a Thapliyal, Omanshu. $3 3763426
245 1 0 $a Data-Driven Safety & Security of Cyberphysical Systems.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2023
300 $a 143 p.
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.
506 $a This item must not be sold to any third party vendors.
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.
590 $a School code: 0183.
650 4 $a Simulation. $3 644748
650 4 $a Failure. $3 3561225
650 4 $a Partial differential equations. $3 2180177
650 4 $a Network topologies. $3 3689896
650 4 $a Communication. $3 524709
650 4 $a Computer security. $3 540555
650 4 $a Neural networks. $3 677449
650 4 $a Controllers. $3 3559217
650 4 $a Robots. $3 529507
650 4 $a Unmanned aerial vehicles. $3 3560267
650 4 $a Algorithms. $3 536374
650 4 $a Dynamical systems. $3 3219613
650 4 $a Computer science. $3 523869
650 4 $a Systems science. $3 3168411
690 $a 0459
690 $a 0790
690 $a 0984
690 $a 0800
710 2 $a Purdue University. $3 1017663
773 0 $t Dissertations Abstracts International $g 84-10B.
790 $a 0183
791 $a Ph.D.
792 $a 2023
793 $a English
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30499122