Outil dédié à la simulation et à l'analyse de systèmes stochastiques pour des applications variées comme l'épidémiologie, la finance ou l'écologie. Permet de modéliser des phénomènes aléatoires et d'étudier leur comportement à long terme.

Module Scilab dédié à l'analyse quantitative des arbres de défaillances dynamiques. Il permet d'évaluer les risques et la fiabilité des systèmes critiques en utilisant des méthodes stochastiques et des bornes probabilistes. Utilisé pour la modélisation de scénarios de défaillance et l'optimisation de la sûreté de fonctionnement dans des domaines comme l'aéronautique ou l'énergie.

Ce projet est une bibliothèque Julia dédiée à la simulation, l'inférence statistique et la vérification de chaînes de Markov à temps continu. Il permet de modéliser des réseaux de réactions chimiques et des réseaux de Petri stochastiques, tout en offrant des méthodes d'approximation bayésienne pour l'analyse de systèmes dynamiques complexes. Les outils implémentés facilitent l'étude des processus stochastiques dans des domaines comme la biologie des systèmes ou la chimie computationnelle.

PRISM est un outil open source dédié à la vérification formelle de systèmes probabilistes et stochastiques. Il permet de modéliser et d'analyser des systèmes complexes comme les protocoles de communication, les algorithmes distribués ou les réseaux de files d'attente. L'outil prend en charge plusieurs formalismes (DTMC, CTMC, MDP, etc.) et offre des fonctionnalités avancées pour l'évaluation de propriétés quantitatives et temporelles.

Le projet PSI3 (Perfect SImulator for Markov chains) est une application permettant de simuler des chaînes de Markov et d'analyser des processus stochastiques. Il permet aux utilisateurs de prédire les comportements probabilistes de systèmes complexes en définissant des états et des transitions entre ces états.

Odexp est un outil en ligne de commande dédié à la simulation et à l'analyse de systèmes dynamiques basés sur des populations de particules. Il permet de modéliser des équations différentielles ordinaires, stochastiques ou à retard, et de visualiser les résultats via des graphiques générés par gnuplot. Idéal pour les chercheurs et ingénieurs en mathématiques appliquées ou physique théorique.

Ce projet étudie la diffusion de la peste des petits ruminants (PPR) dans trois États du Nigeria (Bauchi, Kano, Plateau) en analysant les données de mobilité du bétail. Il combine des enquêtes de marché et des discussions de groupe pour reconstruire des réseaux de mobilité et simule la propagation de la maladie à l'aide de modèles stochastiques. L'objectif est d'identifier des nœuds sentinelles pour améliorer les systèmes de surveillance et de contrôle des maladies animales.