東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Decision Making Protocol in Autonomo...

Kamireddy, Lakhan Shiva.

FindBook

Google Book

Amazon

博客來

Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control./
作者:	Kamireddy, Lakhan Shiva.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2019,
面頁冊數:	62 p.
附註:	Source: Masters Abstracts International, Volume: 80-12.
Contained By:	Masters Abstracts International80-12.
標題:	Computer Engineering. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=13862790
ISBN:	9781392250426

Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control.
Kamireddy, Lakhan Shiva.

Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control. - Ann Arbor : ProQuest Dissertations & Theses, 2019 - 62 p.

Source: Masters Abstracts International, Volume: 80-12.

Thesis (M.S.)--University of Colorado at Boulder, 2019.

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

We analyze two significant decision-making problems namely planning and control in an autonomous driving scenario with an objective of not only improving the safety of drives but also enhancing the vehicle's capability to make better decisions. We model the decision-making problem of routing in autonomous vehicles and solve for an optimal route when a vehicle approaches an intersection. The proposed solution attempts to balance the congestion in the traffic network, considering the selfish nature of the vehicles. We also analyze decision-making at the level of control and communications. The choices of the framework we use, to model the communication layer of the protocol makes it easier for us to verify and model check the protocol. For example, we implement the process algebra description using Promela language, and we prove the protocol's correctness guarantees using SPIN model checker. We use a Reinforcement Learning algorithm in the design of the control protocol.

ISBN: 9781392250426Subjects--Topical Terms:

1567821
Computer Engineering.

Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control.
LDR:02060nmm a2200325 4500 001 2206837
005 20190906083249.5
008 201008s2019 ||||||||||||||||| ||eng d
020 $a 9781392250426
035 $a (MiAaPQ)AAI13862790
035 $a (MiAaPQ)colorado:16037
035 $a AAI13862790
040 $a MiAaPQ $c MiAaPQ
100 1 $a Kamireddy, Lakhan Shiva. $3 3433755
245 1 0 $a Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2019
300 $a 62 p.
500 $a Source: Masters Abstracts International, Volume: 80-12.
500 $a Publisher info.: Dissertation/Thesis.
500 $a Somenzi, Fabio;Sankaranarayanan, Sriram.
502 $a Thesis (M.S.)--University of Colorado at Boulder, 2019.
506 $a This item must not be sold to any third party vendors.
520 $a We analyze two significant decision-making problems namely planning and control in an autonomous driving scenario with an objective of not only improving the safety of drives but also enhancing the vehicle's capability to make better decisions. We model the decision-making problem of routing in autonomous vehicles and solve for an optimal route when a vehicle approaches an intersection. The proposed solution attempts to balance the congestion in the traffic network, considering the selfish nature of the vehicles. We also analyze decision-making at the level of control and communications. The choices of the framework we use, to model the communication layer of the protocol makes it easier for us to verify and model check the protocol. For example, we implement the process algebra description using Promela language, and we prove the protocol's correctness guarantees using SPIN model checker. We use a Reinforcement Learning algorithm in the design of the control protocol.
590 $a School code: 0051.
650 4 $a Computer Engineering. $3 1567821
650 4 $a Computer science. $3 523869
690 $a 0464
690 $a 0984
710 2 $a University of Colorado at Boulder. $b Electrical Engineering. $3 1025672
773 0 $t Masters Abstracts International $g 80-12.
790 $a 0051
791 $a M.S.
792 $a 2019
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=13862790