close
1.

図書
図書
1. A world-systems reader : new perspectives on gender, urbanism, cultures, indigenous peoples, and ecology (: cloth ; : paper)
edited by Thomas D. Hall
出版情報: Lanham, Md. ; Oxford : Rowman & Littlefield, c2000  x, 339 p. ; 23 cm
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Verification and control of hybrid systems : a symbolic approach (: electronic bk)
Paulo Tabuada ; foreword by Rajeev Alur
出版情報: [Cham] : SpringerLink, [20--]  1 online resource (xv, 202 p.)
所蔵情報: loading…
目次情報: 続きを見る
Basic concepts / Part I：
Systems / 1：
System definition / 1.1：
System behavior / 1.2：
Examples / 1.3：
Composing systems / 1.4：
Notes / 1.5：
Verification problems / 2：
Sa $$ Sb / 2.1：
Control problems / 2.2：
Sc $$ Sa $$ Sb / 3.1：
Finite systems / 3.2：
Exact system relationships / 4：
Behavioral relationships / 4.1：
Similarity relationships / 4.2：
Alternating similarity relationships / 4.3：
Verification / 4.4：
Behavioral relations / 5.1：
Similarity relations / 5.2：
Control / 5.3：
Feedback composition / 6.1：
Safety games / 6.2：
Reachability games / 6.3：
Behavioral games / 6.4：
Similarity games / 6.5：
Infinite Systems: Exact symbolic models / 6.6：
Exact symbolic models for verification / 7：
Dynamical and hybrid dynamical systems as systems / 7.1：
Timed automata / 7.2：
Order minimal hybrid dynamical systems / 7.3：
Sign based abstractions / 7.4：
Barrier certificates / 7.5：
Computation of reachable sets / 7.6：
Advanced topics / 7.7：
Exact symbolic models for control / 7.8：
Control systems as systems / 8.1：
Controller refinement / 8.2：
Discrete-time linear control systems / 8.3：
Continuous-time multi-affine control systems / 8.4：
Infinite Systems: Approximate symbolic models / 8.5：
Approximate system relationships / 9：
Approximate similarity relationships / 9.1：
Approximate alternating similarity relationships / 9.2：
Approximate symbolic models for verification / 9.3：
Stability of linear dynamical systems / 10.1：
Dynamical systems as systems / 10.2：
Symbolic models for affine dynamical systems / 10.3：
Approximate symbolic models for control / 10.4：
Stability of linear control systems / 11.1：
Control and switched systems as systems / 11.2：
Approximate feedback composition and controller refinement / 11.3：
Symbolic models for affine control systems / 11.4：
Symbolic models for switched affine systems / 11.5：
Appendix / 11.6：
Lattice theory / A.1：
Fixed-points / A.2：
References
Index
Basic concepts / Part I：
Systems / 1：
System definition / 1.1：
3.

電子ブック
ＥＢ
3. Your life in numbers : modeling society through data (: electronic bk)
Pablo Jensen
出版情報: [Cham] : SpringerLink, [20--]  1 online resource (vii, 114 p.)
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼