Stochastic Relations : Foundations for Markov Transition Systems
Stochastic Relations : Foundations for Markov Transition Systems
复制标题
随机关系:马尔可夫转移系统的基础
DOI：
10.1201/9781584889427
复制
发表时间：
2007
影响因子：
3.5
通讯作者：
E. Doberkat
中科院分区：
文献类型：
--
作者：
E. Doberkat
序言《All Things Considered》的温和教程介绍可测量空间波兰和分析空间可测量选择器概率度量类别随机关系作为单子介绍Manes Monad Giry Monad案例研究：建筑建模通过Monads Eilenberg-随机关系的摩尔代数引论通过等价关系刻画正凸结构通过正凸结构的代数例子左伴随半拉回的存在性介绍扩展测度的半拉回的路线图半拉回的存在性同余和互模拟介绍平滑等价关系分解互模拟行为等价和Portmanteau 2-互模拟简单关系案例研究：随机关系的匡威案例研究：计数的简单关系解释模态和时序逻辑介绍模态逻辑解释时序逻辑的投影极限CSL的F-互模拟muCSL的逻辑等价附录：注释类别空格其他书目索引书目注释出现在每章的末尾。
Preface A Gentle Tutorial to All Things Considered Introduction Measurable Spaces Polish and Analytic Spaces Measurable Selectors Probability Measures Categories Stochastic Relations as Monads Introduction The Manes Monad The Giry Monad Case Study: Architectural Modeling through Monads Eilenberg-Moore Algebras for Stochastic Relations Introduction Characterization through Equivalence Relations Positive Convex Structures Algebras through Positive Convex Structures Examples The Left Adjoint The Existence of Semi-Pullbacks Introduction A Road Map Extending Semi-Pullbacks of Measures The Existence of Semi-Pullbacks Congruences and Bisimulations Introduction Smooth Equivalence Relations Factoring Bisimulations Behavioral Equivalence and a Portmanteau 2-Bisimulations Simple Relations Case Study: The Converse of a Stochastic Relation Case Study: Simple Relations for Counting Interpreting Modal and Temporal Logics Introduction Modal Logics Projective Limits for Interpreting Temporal Logics F-Bisimulations for CSL Logical Equivalence for muCSL Appendix: Notations Categories Spaces Other Bibliography Index Bibliographic Notes appear at the end of each chapter.