東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Vehicle control from temporal logic ...

Cizelj, Igor.

FindBook

Google Book

Amazon

博客來

Vehicle control from temporal logic specifications with probabilistic satisfaction guarantees.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Vehicle control from temporal logic specifications with probabilistic satisfaction guarantees./
作者:	Cizelj, Igor.
面頁冊數:	163 p.
附註:	Source: Dissertation Abstracts International, Volume: 75-09(E), Section: B.
Contained By:	Dissertation Abstracts International75-09B(E).
標題:	Engineering, Robotics. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3581013
ISBN:	9781321079739

Vehicle control from temporal logic specifications with probabilistic satisfaction guarantees.
Cizelj, Igor.

Vehicle control from temporal logic specifications with probabilistic satisfaction guarantees. - 163 p.

Source: Dissertation Abstracts International, Volume: 75-09(E), Section: B.

Thesis (Ph.D.)--Boston University, 2014.

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

Temporal logics, such as Linear Temporal Logic (LTL) and Computation Tree Logic (CTL), have become increasingly popular for specifying complex mission specifications in motion planning and control synthesis problems. This dissertation proposes and evaluates methods and algorithms for synthesizing control strategies for different vehicle models from temporal logic specifications. Complex vehicle models that involve systems of differential equations evolving over continuous domains are considered. The goal is to synthesize control strategies that maximize the probability that the behavior of the system, in the presence of sensing and actuation noise, satisfies a given temporal logic specification.

ISBN: 9781321079739Subjects--Topical Terms:

1018454
Engineering, Robotics.

Vehicle control from temporal logic specifications with probabilistic satisfaction guarantees.
LDR:03696nmm a2200337 4500 001 2056178
005 20150505071902.5
008 170521s2014 ||||||||||||||||| ||eng d
020 $a 9781321079739
035 $a (MiAaPQ)AAI3581013
035 $a AAI3581013
040 $a MiAaPQ $c MiAaPQ
100 1 $a Cizelj, Igor. $3 3169919
245 1 0 $a Vehicle control from temporal logic specifications with probabilistic satisfaction guarantees.
300 $a 163 p.
500 $a Source: Dissertation Abstracts International, Volume: 75-09(E), Section: B.
500 $a Adviser: Calin Belta.
502 $a Thesis (Ph.D.)--Boston University, 2014.
506 $a This item must not be sold to any third party vendors.
506 $a This item must not be added to any third party search indexes.
520 $a Temporal logics, such as Linear Temporal Logic (LTL) and Computation Tree Logic (CTL), have become increasingly popular for specifying complex mission specifications in motion planning and control synthesis problems. This dissertation proposes and evaluates methods and algorithms for synthesizing control strategies for different vehicle models from temporal logic specifications. Complex vehicle models that involve systems of differential equations evolving over continuous domains are considered. The goal is to synthesize control strategies that maximize the probability that the behavior of the system, in the presence of sensing and actuation noise, satisfies a given temporal logic specification.
520 $a The first part of this dissertation proposes an approach for designing a vehicle control strategy that maximizes the probability of accomplishing a motion specification given as a Probabilistic CTL (PCTL) formula. Two scenarios are examined. First, a threat-rich environment is considered when the motion of a vehicle in the environment is given as a finite transition system. Second, a noisy Dubins vehicle is considered. For both scenarios, the motion of the vehicle in the environment is modeled as a Markov Decision Process (MDP) and an approach for generating an optimal MDP control policy that maximizes the probability of satisfying the PCTL formula is introduced.
520 $a The second part of this dissertation introduces a human-supervised control synthesis method for a noisy Dubins vehicle such that the expected time to satisfy a PCTL formula is minimized, while maintaining the satisfaction probability above a given probability threshold. A method for abstracting the motion of the vehicle in the environment in the form of an MDP is presented. An algorithm for synthesizing an optimal MDP control policy is proposed. If the probability threshold cannot be satisfied with the initial specification, the presented framework revises the specification until the supervisor is satisfied with the revised specification and the satisfaction probability is above the threshold.
520 $a The third part of this dissertation focuses on the problem of stochastic control of a noisy differential drive mobile robot such that the probability of satisfying a time constrained specification, given as a Bounded LTL (BLTL) formula, is maximized. A method for mapping noisy sensor measurements to an MDP is introduced. Due to the size of the MDP, finding the exact solution is computationally too expensive. Correctness is traded for scalability, and an MDP control synthesis method based on Statistical Model Checking is introduced.
590 $a School code: 0017.
650 4 $a Engineering, Robotics. $3 1018454
650 4 $a Computer Science. $3 626642
690 $a 0771
690 $a 0984
710 2 $a Boston University. $3 1017454
773 0 $t Dissertation Abstracts International $g 75-09B(E).
790 $a 0017
791 $a Ph.D.
792 $a 2014
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3581013