Ramadge–Wonham framework