A metrical method for time systems theory 時間システム論の距離的方法
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
A metrical method for time systems theory
- タイトル別名
-
時間システム論の距離的方法
- 著者名
-
松本, 敏民
- 著者別名
-
マツモト, トシタミ
- 学位授与大学
-
東京工業大学
- 取得学位
-
工学博士
- 学位授与番号
-
甲第2444号
- 学位授与年月日
-
1992-03-26
注記・抄録
博士論文
目次
- 論文目録 / (0002.jp2)
- CONTENTS / p1 (0004.jp2)
- ACKNOWLEDGMENTS / p2 (0005.jp2)
- Introduction / p3 (0005.jp2)
- Mathematical Preliminaries / p7 (0007.jp2)
- Chapter1 Time Systems and Causal Metric / p11 (0009.jp2)
- §1 Time Systems / p11 (0009.jp2)
- §2 Causal Metric / p14 (0011.jp2)
- Chapter2 Automaton Type Time Systems / p18 (0013.jp2)
- §1 Automaton Type Time Systems and Classification of Automata / p18 (0013.jp2)
- §2 Characterization of Automaton Type Time Systems / p24 (0016.jp2)
- §3 Application / p31 (0019.jp2)
- Chapter3 Abstract Systems Over Non-Archimedean Metric Spaces / p40 (0024.jp2)
- §1 Abstraction of Causal Metric / p41 (0024.jp2)
- §2 Causal Systems and Their Universal State Spaces / p46 (0027.jp2)
- §3 More Results and Definitions / p50 (0029.jp2)
- Chapter4 Anatomy of Causal Systems and its Application / p54 (0031.jp2)
- §1 Finite Type Causal Systems and Finite Observability / p54 (0031.jp2)
- §2 Infinite Type Causal Systems and their Characterization / p64 (0036.jp2)
- §3 Application / p71 (0039.jp2)
- Chapter5 Towards Characterization of Finite Automaton Type Time Systems / p79 (0043.jp2)
- §1 Basic Results / p80 (0044.jp2)
- §2 Attacking The Conjecture / p85 (0046.jp2)
- §3 Decomposition of the Universal State Space of a Causal System / p91 (0049.jp2)
- §4 Dificulty in Characterization of Finite Automaton Type Time Systems / p93 (0050.jp2)
- CONCLUSIONS / p96 (0052.jp2)
- References / p100 (0054.jp2)
- Appendices / p101 (0054.jp2)
- Appendix A Time Set / p101 (0054.jp2)
- Appendix B Output-completeness(1) / p104 (0056.jp2)
- Appendix C Output-completeness(2) / p105 (0056.jp2)