東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Decision Making Protocol in Autonomo...

Kamireddy, Lakhan Shiva.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Decision Making Protocol in Autonomous Vehicles for Optimal Routing and Safe Control./
Author:	Kamireddy, Lakhan Shiva.
Published:	Ann Arbor : ProQuest Dissertations & Theses, : 2019,
Description:	62 p.
Notes:	Source: Masters Abstracts International, Volume: 80-12.
Contained By:	Masters Abstracts International80-12.
Subject:	Computer Engineering. -
Online resource:	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