close
1.

図書
図書
1. Theory of suboptimal decisions : decomposition and aggregation
A.A. Pervozvanskii and V.G. Gaitsgori
出版情報: Dordrecht [Netherlands] ; Boston : Kluwer Academic Publishers, c1988  xvii, 384 p. ; 25 cm
シリーズ名: Mathematics and its applications ; Soviet series ; [v. 12]
所蔵情報: loading…
2.

図書
図書
2. Geometry, physics, and systems
Robert Hermann
出版情報: New York : M. Dekker, 1973  x, 304 p. ; 24 cm
シリーズ名: Monographs and textbooks in pure and applied mathematics ; 18
所蔵情報: loading…
3.

図書
図書
3. An introduction to infinite dimensional linear systems theory
Ruth F. Curtain and Hans Zwart
出版情報: New York ; Tokyo : Springer-Verlag, 1995  xviii, 698 p. ; 24 cm
シリーズ名: Texts in applied mathematics ; 21
所蔵情報: loading…
4.

図書
図書
4. Nonlinear oscillations
Ali Hasan Nayfeh, Dean T. Mook
出版情報: New York : Wiley, c1979  xiv, 704 p. ; 24 cm
シリーズ名: Pure and applied mathematics
所蔵情報: loading…
目次情報: 続きを見る
Conservative Single-Degree-of-Freedom Systems
Nonconservative Single-Degree-of-Freedom Systems
Forced Oscillations of Systems Having a Single Degree of Freedom
Parametrically Excited Systems
Systems Having Finite Degrees of Freedom
Continuous Systems
Traveling Waves
References
Index
Conservative Single-Degree-of-Freedom Systems
Nonconservative Single-Degree-of-Freedom Systems
Forced Oscillations of Systems Having a Single Degree of Freedom
5.

図書
図書
5. Positive feedback in natural systems (: us ; : gw)
D.L. DeAngelis, W.M. Post, C.C. Travis
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xii, 290 p. ; 26 cm
シリーズ名: Biomathematics ; v. 15
所蔵情報: loading…
6.

図書
図書
6. Dynamic system identification : experiment design and data analysis
Graham C. Goodwin and Robert L. Payne
出版情報: New York : Academic Press, 1977  x, 291 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 136
所蔵情報: loading…
7.

図書
図書
7. Time-variant systems and interpolation (: sz ; : us)
edited by I. Gohberg
出版情報: Basel ; Boston : Birkhäuser Verlag, 1992  viii, 299 p. ; 24 cm
シリーズ名: Operator theory : advances and applications ; v. 56
所蔵情報: loading…
8.

図書
図書
8. Linear system theory (: us ; : gw)
Frank M. Callier, Charles A. Desoer
出版情報: New York : Springer-Verlag, c1991  xiv, 509 p. ; 24 cm
シリーズ名: Springer texts in electrical engineering
所蔵情報: loading…
9.

図書
図書
9. Nonlinear networks and systems
Richard Clay
出版情報: New York : Wiley-Interscience, 1971  x, 284 p. ; 23 cm
所蔵情報: loading…
10.

図書
図書
10. Nonnegative matrices in dynamic systems
Abraham Berman, Michael Neumann, Ronald J. Stern
出版情報: New York : Wiley, c1989  xix, 167 p. ; 25 cm
シリーズ名: Pure and applied mathematics
所蔵情報: loading…
目次情報: 続きを見る
Convex Sets
Matrix Theory Background
Differential and Control System Preliminaries
Exponentially Nonnegative Matrices
Extended M-Matrices
Cone Reachability
Applications to Feedback Control
Controllability, Observability, and Realizability of Positive Control Systems
References
Index
Convex Sets
Matrix Theory Background
Differential and Control System Preliminaries
11.

図書
図書
11. Nonlinear system analysis
by Austin Blaquière
出版情報: New York : Academic Press, 1966  xv, 392 p. ; 24 cm
シリーズ名: Electrical science
所蔵情報: loading…
12.

図書
図書
12. Mathematical control theory : deterministic finite dimensional systems (: New York ; : Berlin)
Eduardo D. Sontag
出版情報: New York ; Tokyo : Springer-Verlag, c1990  xiii, 396 p. ; 25 cm
シリーズ名: Texts in applied mathematics ; 6
所蔵情報: loading…
13.

図書
図書
13. Realizability theory for continuous linear systems
A.H. Zemanian
出版情報: New York : Academic Press, 1972  xv, 231 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 97
所蔵情報: loading…
14.

図書
図書
14. Dynamic stochastic models from empirical data
R.L. Kashyap, A. Ramachandra Rao
出版情報: New York : Academic Press, 1976  xvi, 334 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 122
所蔵情報: loading…
15.

図書
図書
15. Qualitative analysis of large scale dynamical systems
Anthony N. Michel, Richard K. Miller
出版情報: New York : Academic Press, 1977  xv, 289 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 134
所蔵情報: loading…
16.

図書
図書
16. Stability analysis of nonlinear systems
V. Lakshmikantham, S. Leela, A.A. Martynyuk
出版情報: New York : M. Dekker, c1989  ix, 315 p. ; 24 cm
シリーズ名: Monographs and textbooks in pure and applied mathematics ; 125
所蔵情報: loading…
17.

図書
図書
17. Stochastic models, estimation and control (v. 1 ; v. 2 ; v. 3)
Peter S. Maybeck
出版情報: New York : Academic Press, 1979-1982  3 v. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 141
所蔵情報: loading…
目次情報:
Dynamic programming and stochastic control
Linear stochastic controller design and performance analysis
Nonlinear stochastic controllers
Dynamic programming and stochastic control
Linear stochastic controller design and performance analysis
Nonlinear stochastic controllers
18.

図書
図書
18. General systems theory : mathematical foundations
M.D. Mesarovic and Yasuhiko Takahara
出版情報: New York : Academic Press, 1975  xii, 268 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 113
所蔵情報: loading…
19.

図書
図書
19. Theory of hierarchical, multilevel, systems
M.D. Mesarović, D. Macko, and Y. Takahara
出版情報: New York : Academic Press, 1970  xiii, 294 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 68
所蔵情報: loading…
20.

図書
図書
20. The theory of linear systems
J.E. Rubio
出版情報: New York : Academic Press, 1971  xi, 329 p. ; 24 cm
シリーズ名: Electrical science
所蔵情報: loading…
21.

図書
図書
21. System analysis techniques
edited by J. Daniel Couger and Robert W. Knapp
出版情報: New York : Wiley, c1974  xii, 509 p. ; 27 cm
所蔵情報: loading…
22.

図書
図書
22. Mathematical techniques for analyzing concurrent and probabilistic systems
J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors
出版情報: Providence, R.I. : American Mathematical Society, c2004  viii, 215 p. ; 26 cm
シリーズ名: CRM monograph series ; v. 23
所蔵情報: loading…
目次情報: 続きを見る
Preface
On Streams and Coinduction
Acknowledgments
Streams and Coinduction / Chapter 1.：
Streams / 1.1.：
Proofs by Coinduction / 1.2.：
Definitions by Coinduction / 1.3.：
Examples of Coinductive Proofs / 1.4.：
Coinduction and Greatest Fixed Points / 1.5.：
Other Coalgebras / 1.6.：
Discussion / 1.7.：
Stream Calculus / Chapter 2.：
Behavioural Differential Equations / 2.1.：
Basic Stream Calculus / 2.2.：
Coinduction-Up-To / 2.3.：
Basic Properties / 2.4.：
Infinite Sum / 2.5.：
Solving Behavioural Differential Equations / 2.6.：
Solving Difference Equations / 2.7.：
Streams and Weighted Automata / 2.8.：
Rational Streams / 2.9.：
Streams and Languages / 2.10.：
Analytical Differential Equations / 2.11.：
Shuffle Product and Shuffle Inverse / 3.1.：
Stream Exponentiation / 3.2.：
Comparing Convolution and Shuffle Product / 3.3.：
Solving Analytical Differential Equations / 3.4.：
Coinductive Counting / 3.5.：
Introduction / 4.1.：
Compositions of Natural Numbers / 4.2.：
Surjections / 4.3.：
Counting with Probabilities / 4.4.：
Well-Bracketed Words / 4.5.：
Streams and Continued Fractions / 4.6.：
More on Well-Bracketed Words / 4.7.：
Permutations / 4.8.：
Set Partitions / 4.9.：
Special Numbers / 4.10.：
Component Connectors / 4.11.：
Timed Data Streams / 5.1.：
Basic Connectors: Channels / 5.3.：
More Channels and the Merge Connector / 5.4.：
Composing Connectors / 5.5.：
Connector Equivalence / 5.6.：
Protocol Verification / 5.7.：
Key Differential Equations / 5.8.：
Bibliography
Modelling and Verification of Probabilistic Systems
Acknowledgements
Motivation
The models
Properties of Interest
Probabilistic Model Checking and Other Analysis Methods
Discrete-Time Markov Chains
Paths and Probability Measures
Probabilistic Computation Tree Logic (PCTL)
PCTL Model Checking
Case Study: The IPv4 ZeroConf Protocol
Markov Decision Processes
Fairness
Case Study: Self-Stabilisation Algorithms / 3.6.：
Continuous-Time Markov Chains / 3.7.：
Steady-State and Transient Behaviour
Continuous Stochastic Logic (CSL)
CSL Model Checking
Complexity of CSL Model Checking
Case Study: Dynamic Power Management
Probabilistic Timed Automata
Time, Clocks and Zones
Syntax of Probabilistic Timed Automata
Parallel Composition
Semantics of Probabilistic Timed Automata
Probabilistic Timed Computation Tree Logic (PTCTL)
Model Checking: The Region Graph Approach
Model Checking: The Digital Clocks Approach
Case Study: IEEE 1394 FireWire Root Contention
Implementation / 5.9.：
Sparse Matrices / 6.1.：
Multi-Terminal Binary Decision Diagrams / 6.3.：
Model Representation with MTBDDs / 6.4.：
MTBDD-Based Model Checking / 6.5.：
Measure Theory and Probability / 6.6.：
Iterative Solution Methods / Appendix B.：
The Jacobi Method / B.1.：
The Gauss-Seidel Method / B.2.：
Over-Relaxation Methods / B.3.：
Preface
On Streams and Coinduction
Acknowledgments
23.

図書
図書
23. Mathematical foundations of systems analysis (v. 1)
[by] Robert H. Kupperman [and] Harvey A. Smith
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, 1969-  v. ; 24 cm
所蔵情報: loading…
24.

図書
図書
24. Topics in mathematical system theory
R.E. Kalman, P.L. Falb, M.A. Arbib
出版情報: New York : McGraw-Hill, c1969  xiv, 358 p. ; 23 cm
シリーズ名: International series in pure and applied mathematics
所蔵情報: loading…
25.

図書
図書
25. Mathematical foundations for management science and systems analysis
J. William Schmidt
出版情報: New York : Academic Press, c1974  xiii, 581 p. ; 24 cm
シリーズ名: Operations research and industrial engineering
所蔵情報: loading…
26.

図書
図書
26. System identification
Andrew P. Sage and James L. Melsa
出版情報: New York : Academic Press, 1971  xi, 221 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 80
所蔵情報: loading…
27.

図書
図書
27. Introduction to algebraic system theory
Michael K. Sain
出版情報: New York, N.Y. : Academic Press, 1981  xiv, 347 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 151
所蔵情報: loading…
28.

図書
図書
28. System identification : advances and case studies
edited by Raman K. Mehra, Dimitri G. Lainiotis
出版情報: New York : Academic Press, 1976  xi, 593 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 126
所蔵情報: loading…
29.

図書
図書
29. An introduction to optimal estimation of dynamical systems
John L. Junkins
出版情報: Alphen aan den Rijn : Sijthoff & Noordhoff International Publishers, c1978  xiv, 339 p. ; 23 cm
シリーズ名: Monographs and textbooks on mechanics of solids and fluids ; . Mechanics: Dynamical systems / editor: L. Meirovitch;3
所蔵情報: loading…
30.

図書
図書
30. A discrete-time approach for system analysis
[by] Michel Cuénod [and] Allen Durling
出版情報: New York : Academic Press, 1969  xii, 221 p ; 24 cm
シリーズ名: Electrical science
所蔵情報: loading…
31.

図書
図書
31. Inners and stability of dynamic systems
Eliahu I. Jury
出版情報: New York : John Wiley, [1974]  xii, 308 p. ; 23 cm
所蔵情報: loading…
32.

図書
図書
32. The stability of input-output dynamical systems
C.J. Harris, J.M.E. Valença
出版情報: London ; New York : Academic Press, 1983  xi, 268 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 168
所蔵情報: loading…
33.

図書
図書
33. Markov models
Ronald A. Howard
出版情報: New York : Wiley, c1971  xvii, 576 p. ; 24 cm
シリーズ名: Series in decision and control ; . Dynamic probabilistic systems ; v. 1
所蔵情報: loading…
34.

図書
図書
34. Semi-Markov and decision processes
Ronald A. Howard
出版情報: New York : Wiley, c1971  xviii, 577-1108 p. ; 24 cm
シリーズ名: Series in decision and control ; . Dynamic probabilistic systems ; v. 2
所蔵情報: loading…
35.

図書
図書
35. Nonlinear systems : the parameter analysis and design
Dragoslav D. Šiljak
出版情報: New York : Wiley, c1969  xvii, 618 p. ; 23 cm
所蔵情報: loading…
36.

図書
図書
36. Modern foundations of systems engineering
[by] William A. Porter
出版情報: New York : Macmillan, 1966  xiii, 493 p. ; 25 cm
所蔵情報: loading…
37.

図書
図書
37. General dynamical processes : a mathematical introduction
Thomas G. Windeknecht
出版情報: New York : Academic Press, 1971  xi, 179 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 78
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼