東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Motion planning and control: A forma...

Vasile, Cristian-Ioan.

FindBook

Google Book

Amazon

博客來

Motion planning and control: A formal methods approach.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Motion planning and control: A formal methods approach./
作者:	Vasile, Cristian-Ioan.
面頁冊數:	217 p.
附註:	Source: Dissertation Abstracts International, Volume: 77-10(E), Section: B.
Contained By:	Dissertation Abstracts International77-10B(E).
標題:	Systems science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10130006
ISBN:	9781339878706

Motion planning and control: A formal methods approach.
Vasile, Cristian-Ioan.

Motion planning and control: A formal methods approach. - 217 p.

Source: Dissertation Abstracts International, Volume: 77-10(E), Section: B.

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

Control of complex systems satisfying rich temporal specification has become an increasingly important research area in fields such as robotics, control, automotive, and manufacturing. Popular specification languages include temporal logics, such as Linear Temporal Logic (LTL) and Computational Tree Logic (CTL), which extend propositional logic to capture the temporal sequencing of system properties. The focus of this dissertation is on the control of high-dimensional systems and on timed specifications that impose explicit time bounds on the satisfaction of tasks. This work proposes and evaluates methods and algorithms for synthesizing provably correct control policies that deal with the scalability problems. Ideas and tools from formal verification, graph theory, and incremental computing are used to synthesize satisfying control strategies. Finite abstractions of the systems are generated, and then composed with automata encoding the specifications.

ISBN: 9781339878706Subjects--Topical Terms:

3168411
Systems science.

Motion planning and control: A formal methods approach.
LDR:04411nmm a2200313 4500 001 2114905
005 20161128141942.5
008 180830s2016 ||||||||||||||||| ||eng d
020 $a 9781339878706
035 $a (MiAaPQ)AAI10130006
035 $a AAI10130006
040 $a MiAaPQ $c MiAaPQ
100 1 $a Vasile, Cristian-Ioan. $3 3276520
245 1 0 $a Motion planning and control: A formal methods approach.
300 $a 217 p.
500 $a Source: Dissertation Abstracts International, Volume: 77-10(E), Section: B.
500 $a Adviser: Calin Belta.
502 $a Thesis (Ph.D.)--Boston University, 2016.
520 $a Control of complex systems satisfying rich temporal specification has become an increasingly important research area in fields such as robotics, control, automotive, and manufacturing. Popular specification languages include temporal logics, such as Linear Temporal Logic (LTL) and Computational Tree Logic (CTL), which extend propositional logic to capture the temporal sequencing of system properties. The focus of this dissertation is on the control of high-dimensional systems and on timed specifications that impose explicit time bounds on the satisfaction of tasks. This work proposes and evaluates methods and algorithms for synthesizing provably correct control policies that deal with the scalability problems. Ideas and tools from formal verification, graph theory, and incremental computing are used to synthesize satisfying control strategies. Finite abstractions of the systems are generated, and then composed with automata encoding the specifications.
520 $a The first part of this dissertation introduces a sampling-based motion planning algorithm that combines long-term temporal logic goals with short-term reactive requirements. The specification has two parts: (1) a global specification given as an LTL formula over a set of static service requests that occur at the regions of a known environment, and (2) a local specification that requires servicing a set of dynamic requests that can be sensed locally during the execution. The proposed computational framework consists of two main ingredients: (a) an off-line sampling-based algorithm for the construction of a global transition system that contains a path satisfying the LTL formula, and (b) an on-line sampling-based algorithm to generate paths that service the local requests, while making sure that the satisfaction of the global specification is not affected.
520 $a The second part of the dissertation focuses on stochastic systems with temporal and uncertainty constraints. A specification language called Gaussian Distribution Temporal Logic is introduced as an extension of Boolean logic that incorporates temporal evolution and noise mitigation directly into the task specifications. A sampling-based algorithm to synthesize control policies is presented that generates a transition system in the belief space and uses local feedback controllers to break the curse of history associated with belief space planning. Switching control policies are then computed using a product Markov Decision Process between the transition system and the Rabin automaton encoding the specification.The approach is evaluated in experiments using a camera network and ground robot.
520 $a The third part of this dissertation focuses on control of multi-vehicle systems with timed specifications and charging constraints. A rich expressivity language called Time Window Temporal Logic (TWTL) that describes time bounded specifications is introduced. The temporal relaxation of TWTL formulae with respect to the deadlines of tasks is also discussed. The key ingredient of the solution is an algorithm to translate a TWTL formula to an annotated finite state automaton that encodes all possible temporal relaxations of the given formula. The annotated automata are composed with transition systems encoding the motion of all vehicles, and with charging models to produce control strategies for all vehicles such that the overall system satisfies the mission specification. The methods are evaluated in simulation and experimental trials with quadrotors and charging stations.
590 $a School code: 0017.
650 4 $a Systems science. $3 3168411
650 4 $a Robotics. $3 519753
690 $a 0790
690 $a 0771
710 2 $a Boston University. $b Systems Engineering. $3 3276521
773 0 $t Dissertation Abstracts International $g 77-10B(E).
790 $a 0017
791 $a Ph.D.
792 $a 2016
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10130006