close
1.

電子ブック
ＥＢ
1. 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.)
目次情報: 続きを見る
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：
2.

電子ブック
ＥＢ
2. Proceedings of the Future Technologies Conference (FTC) 2020, Volume 3. 1st ed. 2021
edited by Kohei Arai, Supriya Kapoor, Rahul Bhatia
出版情報:   1 online resource (xiv, 1055 p.)
シリーズ名: Advances in Intelligent Systems and Computing ; 1290
3.

電子ブック
ＥＢ
3. Advanced Manufacturing and Automation IX. 1st ed. 2020
edited by Yi Wang, Kristian Martinsen, Tao Yu, Kesheng Wang
出版情報:   1 online resource (xx, 681 p.)
シリーズ名: Lecture Notes in Electrical Engineering ; 634
4.

電子ブック
ＥＢ
4. Proceedings of 2020 Chinese Intelligent Systems Conference : Volume II. 1st ed. 2021
edited by Yingmin Jia, Weicun Zhang, Yongling Fu
出版情報:   1 online resource (xii, 829 p.)
シリーズ名: Lecture Notes in Electrical Engineering ; 706
5.

電子ブック
ＥＢ
5. Advanced Manufacturing and Automation X. 1st ed. 2021
edited by Yi Wang, Kristian Martinsen, Tao Yu, Kesheng Wang
出版情報:   1 online resource (xx, 753 p.)
シリーズ名: Lecture Notes in Electrical Engineering ; 737
6.

電子ブック
ＥＢ
6. Robot Intelligence Technology and Applications 5 : Results from the 5th International Conference on Robot Intelligence Technology and Applications. 1st ed. 2019
edited by Jong-Hwan Kim, Hyun Myung, Junmo Kim, Weiliang Xu, Eric T Matson, Jin-Woo Jung, Han-Lim Choi
出版情報:   1 online resource (xi, 579 p.)
シリーズ名: Advances in Intelligent Systems and Computing ; 751
7.

電子ブック
ＥＢ
7. Proceedings of 2019 Chinese Intelligent Automation Conference. 1st ed. 2020
edited by Zhidong Deng
出版情報:   1 online resource (xi, 747 p.)
シリーズ名: Lecture Notes in Electrical Engineering ; 586
8.

電子ブック
ＥＢ
8. Inventive Systems and Control : Proceedings of ICISC 2021. 1st ed. 2021
edited by V. Suma, Joy Iong-Zong Chen, Zubair Baig, Haoxiang Wang
出版情報:   1 online resource (xxix, 995 p.)
シリーズ名: Lecture Notes in Networks and Systems ; 204
9.

電子ブック
ＥＢ
9. Proceedings of 2020 Chinese Intelligent Systems Conference : Volume I
edited by Yingmin Jia, Weicun Zhang, Yongling Fu
出版情報:   1 online resource (xii, 851 p.)
シリーズ名: Lecture Notes in Electrical Engineering ; 705
10.

電子ブック
ＥＢ
10. Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1
edited by Kohei Arai, Supriya Kapoor, Rahul Bhatia
出版情報:   1 online resource (xiii, 971 p.)
シリーズ名: Advances in Intelligent Systems and Computing ; 1288
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼