國立高雄大學圖資館 |

登入

回首頁

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.
附註:	Advisor: Hwang, Inseok;Frazho, Arthur.
Contained By:	Dissertations Abstracts International84-10B.
標題:	Simulation.
電子資源:	http://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:

915618
Simulation.

Data-Driven Safety & Security of Cyberphysical Systems.
LDR:02990nmm a2200361 4500 001 655783
005 20240414211929.5
006 m o d
007 cr#unu||||||||
008 240620s2023 ||||||||||||||||| ||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 966862
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 915618
650 4 $a Failure. $3 915861
650 4 $a Partial differential equations. $3 737994
650 4 $a Network topologies. $3 966864
650 4 $a Communication. $3 180335
650 4 $a Computer security. $3 184416
650 4 $a Neural networks. $3 915594
650 4 $a Controllers. $3 966865
650 4 $a Robots. $3 197834
650 4 $a Unmanned aerial vehicles. $3 966866
650 4 $a Algorithms. $3 184661
650 4 $a Dynamical systems. $3 772226
650 4 $a Computer science. $3 199325
650 4 $a Systems science. $3 730372
690 $a 0459
690 $a 0790
690 $a 0984
690 $a 0800
710 2 $a Purdue University. $3 966863
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 http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30499122