語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Complexity." ]
切換:
標籤
|
MARC模式
|
ISBD
Formal methods for discrete-time dyn...
~
Belta, Calin.
FindBook
Google Book
Amazon
博客來
Formal methods for discrete-time dynamical systems
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Formal methods for discrete-time dynamical systems/ by Calin Belta, Boyan Yordanov, Ebru Aydin Gol.
作者:
Belta, Calin.
其他作者:
Yordanov, Boyan.
出版者:
Cham :Springer International Publishing : : 2017.,
面頁冊數:
xviii, 284 p. :ill., digital ;24 cm.
內容註:
Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background.
Contained By:
Springer eBooks
標題:
Dynamics. -
電子資源:
http://dx.doi.org/10.1007/978-3-319-50763-7
ISBN:
9783319507637
Formal methods for discrete-time dynamical systems
Belta, Calin.
Formal methods for discrete-time dynamical systems
[electronic resource] /by Calin Belta, Boyan Yordanov, Ebru Aydin Gol. - Cham :Springer International Publishing :2017. - xviii, 284 p. :ill., digital ;24 cm. - Studies in systems, decision and control,v.892198-4182 ;. - Studies in systems, decision and control ;v.89..
Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background.
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.
ISBN: 9783319507637
Standard No.: 10.1007/978-3-319-50763-7doiSubjects--Topical Terms:
519830
Dynamics.
LC Class. No.: TA352
Dewey Class. No.: 620.104
Formal methods for discrete-time dynamical systems
LDR
:02249nmm a2200325 a 4500
001
2092808
003
DE-He213
005
20170911132221.0
006
m d
007
cr nn 008maaau
008
171117s2017 gw s 0 eng d
020
$a
9783319507637
$q
(electronic bk.)
020
$a
9783319507620
$q
(paper)
024
7
$a
10.1007/978-3-319-50763-7
$2
doi
035
$a
978-3-319-50763-7
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
TA352
072
7
$a
TJFM
$2
bicssc
072
7
$a
TEC004000
$2
bisacsh
082
0 4
$a
620.104
$2
23
090
$a
TA352
$b
.B453 2017
100
1
$a
Belta, Calin.
$3
3227052
245
1 0
$a
Formal methods for discrete-time dynamical systems
$h
[electronic resource] /
$c
by Calin Belta, Boyan Yordanov, Ebru Aydin Gol.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2017.
300
$a
xviii, 284 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Studies in systems, decision and control,
$x
2198-4182 ;
$v
v.89
505
0
$a
Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background.
520
$a
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.
650
0
$a
Dynamics.
$3
519830
650
1 4
$a
Engineering.
$3
586835
650
2 4
$a
Control.
$3
1006321
650
2 4
$a
Complexity.
$3
893807
650
2 4
$a
Systems Theory, Control.
$3
893834
700
1
$a
Yordanov, Boyan.
$3
3227053
700
1
$a
Gol, Ebru Aydin.
$3
3227054
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Studies in systems, decision and control ;
$v
v.89.
$3
3227055
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-50763-7
950
$a
Engineering (Springer-11647)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9317182
電子資源
11.線上閱覽_V
電子書
EB TA352
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入