東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Inductive Certificate Synthesis for ...

University of Colorado at Boulder., Computer Science.

Linked to FindBook

Google Book

Amazon

博客來

Inductive Certificate Synthesis for Control Design.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Inductive Certificate Synthesis for Control Design./
Author:	Ravanbakhsh, Hadi.
Published:	Ann Arbor : ProQuest Dissertations & Theses, : 2018,
Description:	157 p.
Notes:	Source: Dissertation Abstracts International, Volume: 79-10(E), Section: B.
Contained By:	Dissertation Abstracts International79-10B(E).
Subject:	Computer science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10792462
ISBN:	9780355966152

Inductive Certificate Synthesis for Control Design.
Ravanbakhsh, Hadi.

Inductive Certificate Synthesis for Control Design. - Ann Arbor : ProQuest Dissertations & Theses, 2018 - 157 p.

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

Thesis (Ph.D.)--University of Colorado at Boulder, 2018.

The focus of this thesis is developing a framework for designing correct-by-construction controllers using control certificates. We use nonlinear dynamical systems to model the physical environment (plants). The goal is to synthesize controllers for these plants while guaranteeing formal correctness w.r.t. given specifications. We consider different fundamental specifications including stability, safety, and reach-while-stay. Stability specification states that the execution traces of the system remain close to an equilibrium state and approach it asymptotically. Safety specification requires the execution traces to stay in a safe region. Finally, for reach-while-stay specification, safety is needed until a target set is reached.

ISBN: 9780355966152Subjects--Topical Terms:

523869
Computer science.

Inductive Certificate Synthesis for Control Design.
LDR:02682nmm a2200337 4500 001 2203174
005 20190528072651.5
008 201008s2018 ||||||||||||||||| ||eng d
020 $a 9780355966152
035 $a (MiAaPQ)AAI10792462
035 $a (MiAaPQ)colorado:15436
035 $a AAI10792462
040 $a MiAaPQ $c MiAaPQ
100 1 $a Ravanbakhsh, Hadi. $3 3429964
245 1 0 $a Inductive Certificate Synthesis for Control Design.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2018
300 $a 157 p.
500 $a Source: Dissertation Abstracts International, Volume: 79-10(E), Section: B.
500 $a Adviser: Sriram Sankaranarayanan.
502 $a Thesis (Ph.D.)--University of Colorado at Boulder, 2018.
520 $a The focus of this thesis is developing a framework for designing correct-by-construction controllers using control certificates. We use nonlinear dynamical systems to model the physical environment (plants). The goal is to synthesize controllers for these plants while guaranteeing formal correctness w.r.t. given specifications. We consider different fundamental specifications including stability, safety, and reach-while-stay. Stability specification states that the execution traces of the system remain close to an equilibrium state and approach it asymptotically. Safety specification requires the execution traces to stay in a safe region. Finally, for reach-while-stay specification, safety is needed until a target set is reached.
520 $a The design task consists of two phases. In the first phase, the control design problem is reduced to the question of finding a control certificate. More precisely, the goal of the first phase is to define a class of control certificates with a specific structure. This definition should guarantee the following: "Having a control certificate, one can systematically design a controller and prove its correctness at the same time." The goal in the second phase is to find such a control certificate. We define a potential control certificate space (hypothesis space) using parameterized functions. Next, we provide an inductive search framework to find proper parameters, which yield a control certificate.
520 $a Finally, we evaluate our framework. We show that discovering control certificates is practically feasible and demonstrate the effectiveness of the automatically designed controllers through simulations and real physical systems experiments.
590 $a School code: 0051.
650 4 $a Computer science. $3 523869
650 4 $a Logic. $3 529544
650 4 $a Robotics. $3 519753
690 $a 0984
690 $a 0395
690 $a 0771
710 2 $a University of Colorado at Boulder. $b Computer Science. $3 1018560
773 0 $t Dissertation Abstracts International $g 79-10B(E).
790 $a 0051
791 $a Ph.D.
792 $a 2018
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10792462