東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Design and Synthesis of Controllers for Societal-Scale Cyber-Physical Systems.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Design and Synthesis of Controllers for Societal-Scale Cyber-Physical Systems./
作者:	Bhadani, Rahul Kumar.
面頁冊數:	1 online resource (188 pages)
附註:	Source: Dissertations Abstracts International, Volume: 83-10, Section: B.
Contained By:	Dissertations Abstracts International83-10B.
標題:	Computer engineering. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29165708click for full text (PQDT)
ISBN:	9798426829091

Design and Synthesis of Controllers for Societal-Scale Cyber-Physical Systems.
Bhadani, Rahul Kumar.

Design and Synthesis of Controllers for Societal-Scale Cyber-Physical Systems. - 1 online resource (188 pages)

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

Thesis (Ph.D.)--The University of Arizona, 2022.

Includes bibliographical references

In this dissertation, a unifying framework for controller design, synthesis, and validation for societal-scale Cyber-Physical Systems (CPS) is proposed. We use vehicular CPS as a case study of societal-scale CPS. These systems require large-scale simulation to reduce the need for physical tests or field experiments. Such large-scale simulations demand reproducibility and repeatability of results---or else the use of simulation provides no insights into the overall system's dynamics. Many current simulation tools for CPS lack the properties of reproducibility and repeatability. Our proposed approach for \\Rahul{scalability} and repeatability of existing simulation tools includes offloading dynamics of systems using federated models, message handling and synchronization to operate a simulator at slower than real-time, or synchronously with another system. The approaches do not require rewriting those simulation tools, thus permitting assembly of tools at their interfaces. With such simulation tools, it is now possible to use model-based design and code-generation techniques to deploy the same implementation in simulation that would be deployed in an experiment. Such approaches may be inaccessible for simulation tools that do not support real-time behavior. Our approach permits the validation of novel controllers and algorithms not only through software-in-the-loop (SWIL) or hardware-in-the-loop (HWIL) simulation but also transfer seamlessly for real-world testing. In this way, both model and simulator can be improved iteratively by feeding data from the physical environment.Large-scale CPS are producing a massive amount of data in real-time which is being used for decision-making and control that engage with infrastructure and humans. For Vehicular CPS, data comes in the form of multiple modalities such as CAN bus, GPS, dashcam, LiDAR, etc. We further propose a generic timeseries tool to work with such vehicular data that allows researchers to gain novel insights about driving behavior, discover rare events, and facilitate data-driven applications for vehicular CPS.We present three case studies: (i) Followerstopper, (ii) deployment of a reinforcement learning controller, and (iii) dual-ring-barrier traffic signal controller. The first two case studies are related to Lagrangian control of an autonomous vehicle (AV) in mixed urban traffic consisting of some highly automated vehicles among mostly human-driven vehicles. The third case study presents a co-simulation of an infrastructure controller using SUMO and ROS whose development takes an approach of model-based design. These use cases provide an engineering solution to improving a controller candidate for societal-scale CPS through a data-driven approach, deterministic and repeatable simulation, and their deployment in the real world.

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

Mode of access: World Wide Web

ISBN: 9798426829091Subjects--Topical Terms:

621879
Computer engineering.
Subjects--Index Terms:

Autonomous vehiclesIndex Terms--Genre/Form:

542853
Electronic books.

Design and Synthesis of Controllers for Societal-Scale Cyber-Physical Systems.
LDR:04261nmm a2200409K 4500 001 2360004
005 20230925052755.5
006 m o d
007 cr mn ---uuuuu
008 241011s2022 xx obm 000 0 eng d
020 $a 9798426829091
035 $a (MiAaPQ)AAI29165708
035 $a AAI29165708
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Bhadani, Rahul Kumar. $3 3681846
245 1 0 $a Design and Synthesis of Controllers for Societal-Scale Cyber-Physical Systems.
264 0 $c 2022
300 $a 1 online resource (188 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: 83-10, Section: B.
500 $a Advisor: Sprinkle, Jonathan.
502 $a Thesis (Ph.D.)--The University of Arizona, 2022.
504 $a Includes bibliographical references
520 $a In this dissertation, a unifying framework for controller design, synthesis, and validation for societal-scale Cyber-Physical Systems (CPS) is proposed. We use vehicular CPS as a case study of societal-scale CPS. These systems require large-scale simulation to reduce the need for physical tests or field experiments. Such large-scale simulations demand reproducibility and repeatability of results---or else the use of simulation provides no insights into the overall system's dynamics. Many current simulation tools for CPS lack the properties of reproducibility and repeatability. Our proposed approach for \\Rahul{scalability} and repeatability of existing simulation tools includes offloading dynamics of systems using federated models, message handling and synchronization to operate a simulator at slower than real-time, or synchronously with another system. The approaches do not require rewriting those simulation tools, thus permitting assembly of tools at their interfaces. With such simulation tools, it is now possible to use model-based design and code-generation techniques to deploy the same implementation in simulation that would be deployed in an experiment. Such approaches may be inaccessible for simulation tools that do not support real-time behavior. Our approach permits the validation of novel controllers and algorithms not only through software-in-the-loop (SWIL) or hardware-in-the-loop (HWIL) simulation but also transfer seamlessly for real-world testing. In this way, both model and simulator can be improved iteratively by feeding data from the physical environment.Large-scale CPS are producing a massive amount of data in real-time which is being used for decision-making and control that engage with infrastructure and humans. For Vehicular CPS, data comes in the form of multiple modalities such as CAN bus, GPS, dashcam, LiDAR, etc. We further propose a generic timeseries tool to work with such vehicular data that allows researchers to gain novel insights about driving behavior, discover rare events, and facilitate data-driven applications for vehicular CPS.We present three case studies: (i) Followerstopper, (ii) deployment of a reinforcement learning controller, and (iii) dual-ring-barrier traffic signal controller. The first two case studies are related to Lagrangian control of an autonomous vehicle (AV) in mixed urban traffic consisting of some highly automated vehicles among mostly human-driven vehicles. The third case study presents a co-simulation of an infrastructure controller using SUMO and ROS whose development takes an approach of model-based design. These use cases provide an engineering solution to improving a controller candidate for societal-scale CPS through a data-driven approach, deterministic and repeatable simulation, and their deployment in the real world.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2023
538 $a Mode of access: World Wide Web
650 4 $a Computer engineering. $3 621879
650 4 $a Electrical engineering. $3 649834
650 4 $a Transportation. $3 555912
653 $a Autonomous vehicles
653 $a Control systems
653 $a Cyber-physical systems
653 $a Intelligent transportation
653 $a Model-based design
653 $a Robotics
655 7 $a Electronic books. $2 lcsh $3 542853
690 $a 0464
690 $a 0544
690 $a 0709
710 2 $a ProQuest Information and Learning Co. $3 783688
710 2 $a The University of Arizona. $b Electrical & Computer Engineering. $3 1018545
773 0 $t Dissertations Abstracts International $g 83-10B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29165708 $z click for full text (PQDT)