CTMCの分析に jMarkovを使用しています。これは、この目的のために最もよく定義された Java ライブラリのようです。私の分析の一部には、DTMC の定常状態解も必要です。jMarkov のマニュアルには、DTMC も処理できると記載されていますが、作成者はそのケースを無視しているようです。したがって、ライブラリのドキュメントは不完全なようです。
誰かが jMarkov を案内してくれますか、またはマニュアルの有用な部分を教えてくれますか? 私が使用できる別のライブラリがあれば、それも素晴らしいでしょう。さらに、誰かが行列の固有ベクトルを見つけるのに役立つ Java 実装を教えてくれれば大丈夫です。
ありがとう!