close
1.

図書

図書
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
2.

図書

図書
Jacques Louis Lions
出版情報: Montréal : Presses de l'Université de Montréal, 1976  211 p. ; 25 cm
シリーズ名: Collection de la Chaire Aisenstadt
所蔵情報: loading…
3.

雑誌

雑誌
Association française pour la cybernétique économique et technique
出版情報: Paris
巻次年月次: Vol. 11, no. 1 (Feb. 1977)-v. 18, no. 4 (1984)
所蔵情報: loading…
4.

図書

図書
Ruth F. Curtain and Hans Zwart
出版情報: New York ; Tokyo : Springer-Verlag, 1995  xviii, 698 p. ; 24 cm
シリーズ名: Texts in applied mathematics ; 21
所蔵情報: loading…
5.

図書

図書
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…
6.

図書

図書
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…
7.

図書

図書
J.-L. Lions
出版情報: Paris ; Milan : Masson, 1988  x, 537 p. ; 24 cm
シリーズ名: Collection recherches en mathématiques appliquées ; 8 . Contrôlabilité exacte perturbations et stabilisation de systèmes distribués ; t. 1
所蔵情報: loading…
8.

図書

図書
Eliahu I. Jury
出版情報: New York : John Wiley, [1974]  xii, 308 p. ; 23 cm
所蔵情報: loading…
9.

図書

図書
edited by I. Gohberg
出版情報: Basel ; Boston : Birkhäuser Verlag, 1992  viii, 299 p. ; 24 cm
シリーズ名: Operator theory : advances and applications ; v. 56
所蔵情報: loading…
10.

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼