Movatterモバイル変換

Skip to content

#

ctmc

Here are 16 public repositories matching this topic...

Language:All

Filter by language

All16 Jupyter Notebook4 C++3 Python3 Brainfuck1 HTML1 Java1 Julia1 MATLAB1 R1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

storm

moves-rwth /storm

A Modern Probabilistic Model Checker

research fault-tree markov-chain mdp model-checking model-checker ctmc pomdp dtmc

UpdatedMar 5, 2025
C++

spedygiorgio /markovchain

Easy Handling Discrete Time Markov Chains

markov-model cran rcpp markov-chain r-package r-programming ctmc dtmc

UpdatedNov 13, 2024
R

danieljsharpe /DISCOTRESS

🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains

markov-model simulation markov-chain kinetic-monte-carlo markov-chains stochastic-processes stochastic-simulation-algorithm markov-process random-walk ctmc enhanced-sampling stochastic-simulation dtmc network-dynamics rare-events k-shortest-paths markovian-dynamics continuous-time-markov-chain simulation-algorithms

UpdatedJul 29, 2021
C++

kmedian /ctmc

Continuous Time Markov Chain

pypi markov-chain ctmc transition-matrix stochastic-matrix transition-probability continuous-time-markov-chain

UpdatedSep 27, 2019
Jupyter Notebook

cazevedo /gspn-framework

Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN). It allows capturing multi-robot problems as a GSPN and simulate the model.

analysis robotics ros petri-nets ctmc multi-robot stochastic-petri-nets discrete-event-systems

UpdatedJan 9, 2023
Python

stamina-storm

fluentverification /stamina-storm

STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

markov-chain graph-theory model-checking formal-methods formal-verification ctmc transient-analysis dtmc

UpdatedOct 22, 2024
C++

danieljsharpe /DISCOTRESS_tutorials

Learn to get started using DISCOTRESS with these tutorials! Then apply to your own Markov chains in ecology 🦜🌴 economics 💸📈 biophysics 🧬🦠 and more!

markov-model simulation markov-chain tutorials kinetic-monte-carlo markov-decision-processes stochastic-simulation-algorithm markov-process random-walk ctmc discrete-event-simulation stochastic-simulation dtmc network-dynamics rare-events markovian-dynamics markov-decision-process stochastic-dynamics

UpdatedSep 12, 2021
Brainfuck

stamina-prism

fluentverification /stamina-prism

STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine

markov-chain formal-methods formal-verification ctmc

UpdatedAug 10, 2023
Java

dongmingli-Ben /covid-19-modeling

COVID-19 modeling with ODEs and Markov chains. Validation results are provided, including analysis of the outbreak under the so called 'dynamic clearing' strategy.

analysis prediction ctmc ode-model dtmc covid-19

UpdatedDec 16, 2021
Python

Theophilus-Dwamena /Continuous-time-Markov-model-for-kinesin-stepping

This project provides rigorous Python codes for simulating the stochastic movement of kinesin protein on a microtubule.

markov-chain stochastic biophysics ctmc gillespie-algorithm waiting-time waiting-time-distribution

UpdatedJan 14, 2025
Jupyter Notebook

fluentverification /stamina-server

STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.

api rest server rest-api markov-chain api-rest server-side ctmc

UpdatedAug 14, 2024
Python

cima22 /stochastic_modelling_and_simulation

Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".

stochastic-processes ctmc dtmc

UpdatedSep 10, 2022
Jupyter Notebook

innerlee /CTMCEnsemble.jl

Integrating Specialized Classifiers Based on Continuous Time Markov Chain

ensemble ctmc ijcai-17

UpdatedAug 22, 2017
Julia

fluentverification /staminachecker.org

Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis

verification approximation stochastic ctmc

UpdatedNov 21, 2024
HTML

Theophilus-Dwamena /A-three-state-continuous-time-Markov-jump-model

Stochastic simulation of Enzyme kinetics at work

markov-chain gillespie biophysics stochastic-processes ctmc ode-solver gillespie-algorithm

UpdatedJan 14, 2025
Jupyter Notebook

shalinshah1993 /simulateTemporalDNAbarcodes

A set of Matlab scripts which can simulate temporal traces of DNA using CTMC

dna kinetics matlab-functions simulate ctmc temporaldnabarcodes

UpdatedMar 10, 2020
MATLAB

Improve this page

Add a description, image, and links to thectmc topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thectmc topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp