close
1.

電子ブック
ＥＢ
1. Introduction to the theory of complex systems /. First edition ((ebook) :)
Stefan Thurner, Peter Klimek, and Rudolf Hanel
出版情報:   1 online resource
シリーズ名: Oxford scholarship online ;
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Network flow algorithms ((ebook))
David P. Williamson
出版情報:   1 online resource (xii, 314 p.)
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Handbook of hybrid systems control : theory, tools, applications ((ebook))
edited by Jan Lunze, Françoise Lamnabhi-Lagarrigue
出版情報:   1 online resource (xv, 565 p.)
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of contributors
Notation
Theory / Part I：
Introduction to hybrid systems / W. P. M. H. Heemels ; D. Lehmann ; J. Lunze ; B. De Schutter1：
Survey of modeling, analysis, and control of hybrid systems / C. Prieur2：
Hybrid automata / S. Kowalewski ; M. Garavello ; H. Guéguen ; G. Herberich ; R. Langerak ; B. Piccoli ; J. W. Polderman ; C. Weise3：
Switched and piecewise affine systems / J. Daafouz ; M. D. Di Benedetto ; V. D. Blondel ; G. Ferrari-Trecate ; L. Hetel ; M. Johansson ; A. L. Juloski ; S. Paoletti ; G. Pola ; E. De Santis ; R. Vidal4：
Further switched systems / A. Bemporad ; M. K. àamlıbel ; A. J. van der Schaft ; J. M. Schumacher5：
Hybrid systems: quantization and abstraction / A. Bicchi ; T. Moor ; L. Palopoli ; B. Picasso ; J. Raisch ; A. Schild6：
Stochastic hybrid systems / J. Lygeros ; M. Prandini7：
Tools / Part II：
Overview of tools development and open problems / D. A. van Beek ; S. Engell8：
Verification tools for linear hybrid automata / G. Frehse9：
Tools for modeling, simulation, control, and verification of piecewiseaffine systems / S. Di Cairano ; M. Kvasnica ; M. Morari10：
Modeling, simulation, and optimization environments / C. Sonntag11：
Interchange formats and tool integration / M. A. Reniers ; J. E. Rooda ; R. R. H. Schiffelers12：
Applications / Part III：
Energy management / A. G. Beccuti ; S. Mariéthoz ; G. Papafotiou13：
Industrial controls / S. Lohmann ; C. de Prada ; D. Sarabia14：
Automotive control / L. Benvenuti ; A. Balluchi ; B. Johansson ; R. Johansson ; A. Sangiovanni Vincentelli ; P. TunestÃÑl15：
Networked control / A. D'Innocenzo ; K. H. Johansson ; A. Robertsson ; F. Santucci ; U. Tiberi ; A. Tzes16：
Solar air conditioning - a benchmark for hybrid systems control / E. F. Camacho ; D. Zambrano17：
References
Index
Tools for modeling, simulation, control, and verification of piecewise affine systems / H. Guéguen ; M. K. Çamlibel
Preface
List of contributors
Notation
4.

電子ブック
ＥＢ
4. 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：
5.

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