東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Transforming high level tasks to low...

University of Pennsylvania.

Linked to FindBook

Google Book

Amazon

博客來

Transforming high level tasks to low level controllers.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Transforming high level tasks to low level controllers./
Author:	Kress-Gazit, Hadas.
Description:	214 p.
Notes:	Adviser: George J. Pappas.
Contained By:	Dissertation Abstracts International69-09B.
Subject:	Engineering, Electronics and Electrical. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoeng/servlet/advanced?query=3328604
ISBN:	9780549805267

Transforming high level tasks to low level controllers.
Kress-Gazit, Hadas.

Transforming high level tasks to low level controllers. - 214 p.

Adviser: George J. Pappas.

Thesis (Ph.D.)--University of Pennsylvania, 2008.

A major goal in robotics is to develop machines that perform useful tasks with minimal supervision. Instead of requiring each small detail to be specified, one would like to describe the task at a high level, and have the system autonomously execute it correctly.

ISBN: 9780549805267Subjects--Topical Terms:

626636
Engineering, Electronics and Electrical.

Transforming high level tasks to low level controllers.
LDR:02731nam 2200301 a 45 001 854493
005 20100706
008 100706s2008 ||||||||||||||||| ||eng d
020 $a 9780549805267
035 $a (UMI)AAI3328604
035 $a AAI3328604
040 $a UMI $c UMI
100 1 $a Kress-Gazit, Hadas. $3 1020882
245 1 0 $a Transforming high level tasks to low level controllers.
300 $a 214 p.
500 $a Adviser: George J. Pappas.
500 $a Source: Dissertation Abstracts International, Volume: 69-09, Section: B, page: 5752.
502 $a Thesis (Ph.D.)--University of Pennsylvania, 2008.
520 $a A major goal in robotics is to develop machines that perform useful tasks with minimal supervision. Instead of requiring each small detail to be specified, one would like to describe the task at a high level, and have the system autonomously execute it correctly.
520 $a The work presented in this thesis addresses some of the challenges of creating autonomous systems that perform complex tasks while providing guarantees for correct behavior. Here, tasks defined using the formalism of temporal logic are automatically translated into controllers that drive a robot or group of robots and activate the different robot actions such that the task is completed, if it is feasible. The approach presented is correct by construction, it is complete in the sense that if under specific assumptions the task can be done, a controller will be created and it is sound, that is, if the task cannot be accomplished the algorithms return that it is infeasible and no controller is created.
520 $a The approach to generating such controllers comprises of three steps. First, the task itself is described; This description captures the required behavior as well as relevant information about the robot capabilities such as actions and sensors, and the environment in which the robot is operating. This step transforms a generally continuous problem into a discrete one by creating abstractions of the different task components. The next step is to find a discrete solution for the problem, a discrete plan, that if followed the robot is guaranteed to achieve the discrete behavior required of it. The final step is to return to the original continuous problem by transforming the discrete plan to a hybrid controller that switches between a set of atomic controllers or control primitives that provide continuous local guarantees for the behavior of the robot.
590 $a School code: 0175.
650 4 $a Engineering, Electronics and Electrical. $3 626636
650 4 $a Engineering, Robotics. $3 1018454
690 $a 0544
690 $a 0771
710 2 $a University of Pennsylvania. $3 1017401
773 0 $t Dissertation Abstracts International $g 69-09B.
790 $a 0175
790 1 0 $a Pappas, George J., $e advisor
791 $a Ph.D.
792 $a 2008
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoeng/servlet/advanced?query=3328604