LABELLED MARKOV PROCESSES
暫譯: 標記馬可夫過程

Prakash Panangaden

LABELLED MARKOV PROCESSES
  • 出版商: World Scientific Pub
  • 出版日期: 2009-07-01
  • 售價: $3,770
  • 貴賓價: 9.5 折 $3,582
  • 語言: 英文
  • 頁數: 199
  • 裝訂: Hardcover
  • ISBN: 1848162871
  • ISBN-13: 9781848162877

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. This book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs. The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.

商品描述(中文翻譯)

標記馬可夫過程是具有連續狀態空間的標記轉換系統的概率版本。本書涵蓋了連續狀態空間上的基本概率和測度理論，然後發展標記馬可夫過程的理論。主要涵蓋的主題包括雙模擬、雙模擬的邏輯特徵、度量和近似理論。本書的一個不尋常特點是與範疇論和領域理論概念的聯繫。

類似商品