語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Inductive Certificate Synthesis for ...
~
University of Colorado at Boulder., Computer Science.
FindBook
Google Book
Amazon
博客來
Inductive Certificate Synthesis for Control Design.
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Inductive Certificate Synthesis for Control Design./
作者:
Ravanbakhsh, Hadi.
出版者:
Ann Arbor : ProQuest Dissertations & Theses, : 2018,
面頁冊數:
157 p.
附註:
Source: Dissertation Abstracts International, Volume: 79-10(E), Section: B.
Contained By:
Dissertation Abstracts International79-10B(E).
標題:
Computer science. -
電子資源:
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
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9379723
電子資源
11.線上閱覽_V
電子書
EB
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入