close
1.

電子ブック
ＥＢ
1. Control theory and systems biology ((ebook) :)
edited by Pablo A. Iglesias and Brian P. Ingalls
出版情報: Cambridge, Mass. ; London : MIT Press, c2010  1 online resource (ix, 345 p.)
所蔵情報: loading…
目次情報: 続きを見る
Preface
A Primer on Control Engineering / Brian P. Ingalls ; Pablo A. Iglesias1：
Modeling and Analysis of Stochastic Biochemical Networks / Mustafa Khammash2：
Spatial Modeling / 3：
Quantifying Properties of Cell Signaling Cascades / Simone Frey ; Olaf Wolkenhauer ; Thomas Millat4：
Control Strategies in Times of Adversity / 5：
How Organisms Survive Stressful Conditions / Hana El-Samad
Synthetic Biology / 6：
A Systems Engineering Perspective / Domitilla Del Vecchio ; Eduardo D. Sontag
Graphs and the Dynamics of Biochemical Networks / David Angeli7：
A Control-Theoretic Interpretation of Metabolic Control Analysis / 8：
Robustness and Sensitivity Analyses in Cellular Networks / Jason E. Shoemaker ; Peter S. Chang ; Eric C. Kwei ; Stephanie R. Taylor ; Francis J. Doyle III9：
Structural Robustness of Biochemical Networks / 10：
Quantifying Robustness and Identifying Fragilities / Camilla Trane ; Elling W. Jacobsen
Robustness of Oscillations in Biological Systems / Jongrae Kim ; Declan G. Bates11：
A Theory of Approximation for Stochastic Biochemical Processes / David Thorsley ; Eric Klavins12：
System-Theoretic Approaches to Network Reconstruction / Jorge Goncalves ; Sean Warnick13：
Identification of Biochemical Reaction Networks Using a Parameter-Free Coordinate System / Dirk Fey ; Rolf Findeisen ; Eric Bullinger14：
References
Contributors
Index
Preface
A Primer on Control Engineering / Brian P. Ingalls ; Pablo A. Iglesias1：
Modeling and Analysis of Stochastic Biochemical Networks / Mustafa Khammash2：
2.

電子ブック
ＥＢ
2. Optimal control theory with applications in economics ((ebook) :)
Thomas A. Weber ; foreword by A.V. Kryazhimskiy
出版情報: Cambridge, Mass. ; London : MIT Press, c2011  1 online resource (xii, 360 p.)
所蔵情報: loading…
目次情報: 続きを見る
Foreword / A. V. Kryazhimskiy
Acknowledgments
Introduction / 1：
Outline / 1.1：
Prerequisites / 1.2：
A Brief History of Optimal Control / 1.3：
Notes / 1.4：
Ordinary Differential Equations / 2：
Overview / 2.1：
First-Order ODEs / 2.2：
Higher-Order ODEs and Solution Techniques / 2.3：
Exercises / 2.4：
Optimal Control Theory / 3：
Control Systems / 3.1：
Optimal ControlùA Motivating Example / 3.3：
Finite-Horizon Optimal Control / 3.4：
Infinite-Horizon Optimal Control / 3.5：
Supplement 1: A Proof of the Pontryagin Maximum Principle / 3.6：
Supplement 2: The Filippov Existence Theorem / 3.7：
Game Theory / 3.8：
Fundamental Concepts / 4.1：
Differential Games / 4.3：
Mechanism Design / 4.4：
Motivation / 5.1：
A Model with Two Types / 5.2：
The Screening Problem / 5.3：
Nonlinear Pricing / 5.4：
Mathematical Review / 5.5：
Algebra / A.l：
Normed Vector Spaces / A.2：
Analysis / A.3：
Optimization / A.4：
Solutions to Exercises / A.5：
Numerical Methods / B.l：
Intellectual Heritage / B.2：
References
Index
Foreword / A. V. Kryazhimskiy
Acknowledgments
Introduction / 1：
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. Infinite dimensional optimization and control theory (: electronic bk)
H.O. Fattorini
出版情報:   1 online resource (xv, 798 p.)
シリーズ名: Encyclopedia of mathematics and its applications ; volume 62
所蔵情報: loading…
目次情報: 続きを見る
Finite Dimensional Control Problems / Part I：
Calculus of variations and control theory / 1：
Optimal control problems without target conditions / 2：
Abstract minimization problems: the minimum principle for the time optimal problem / 3：
Abstract minimization problems: the minimum principle for general optimal control problems / 4：
Infinite Dimensional Control Problems / Part II：
Differential equations in Banach spaces and semigroup theory / 5：
Abstract minimization problems in Hilbert spaces: applications to hyperbolic control systems / 6：
Abstract minimization problems in Banach spaces: abstract parabolic linear and semilinear equations / 7：
Interpolation and domains of fractional powers / 8：
Linear control systems / 9：
Optimal control problems with state constraints / 10：
Optimal control problems with state constraints: The abstract parabolic case / 11：
Relaxed Controls / Part III：
Spaces of relaxed controls: topology and measure theory / 12：
Relaxed controls in finite dimensional systems: existence theory / 13：
Relaxed controls in infinite dimensional spaces: existence theory / 14：
Finite Dimensional Control Problems / Part I：
Calculus of variations and control theory / 1：
Optimal control problems without target conditions / 2：
6.

電子ブック
ＥＢ
6. Control theory for physicists (: electronic bk)
John Bechhoefer
出版情報:   1 online resource (xiii, 645 p.)
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Control basics for mechatronics
John Billingsley
出版情報: Boca Raton : CRC Press, 2023  1 online resource (xiii, 160 p.)
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼