imprecise markov chains
play

Imprecise Markov chains From basic theory to applications II prof. - PowerPoint PPT Presentation

Imprecise Markov chains From basic theory to applications II prof. Jasper De Bock Imprecise continuous-time Markov chains Imprecise continuous-time Markov chains Continuous-time Markov chains Continuous-time Markov chains Markov assumption


  1. Imprecise Markov chains From basic theory to applications II prof. Jasper De Bock

  2. Imprecise continuous-time Markov chains

  3. Imprecise continuous-time Markov chains

  4. Continuous-time Markov chains

  5. Continuous-time Markov chains Markov assumption

  6. Continuous-time Markov chains… …that are ≈ I ( x, y ) + ∆ Q t ( x, y ) nice enough

  7. Continuous-time Markov chains ≈ I ( x, y ) + ∆ Q t ( x, y )

  8. Continuous-time Markov chains… Let’s assume that ∆ Q t ( x, y ) this does not depend on time!

  9. Continuous-time Markov chains… …that are homogeneous Q ( x, y )

  10. Continuous-time Markov chains Q ( x, y )

  11. Continuous-time Markov chains that’s just a probability π 0 ( x ) mass function initial distribution transition rate matrix P y Q ( x, y ) = 0 Q ( x, y ) ( 8 y 6 = x ) Q ( x, y ) � 0 ( ∀ x ) Q ( x, x ) ≤ 0

  12. Amorous Bickering Confusion Depression

  13. What is ? P ( X t = y | X 0 = x )

  14. What is ? P ( X t = y | X 0 = x ) transition matrix T t ( x, y ) := P ( X t = y | X 0 = x ) backward Kolmogorov differential equation d d tT t = QT t , with T 0 = I n → + ∞ ( I + t ⇒ T t = e Qt = nQ ) n lim

  15. e Qt ( x, y ) What is ? P ( X t = y | X 0 = x ) transition matrix T t ( x, y ) := P ( X t = y | X 0 = x ) backward Kolmogorov differential equation d d tT t = QT t , with T 0 = I n → + ∞ ( I + t ⇒ T t = e Qt = nQ ) n lim

  16. e Qt ( x, y ) What is ? P ( X t = y | X 0 = x ) e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? π 0 e Qt ( y ) P ( X t = y ) What is ? π 0 e Qt f E ( f ( X t )) What is ? … …

  17. e Qt ( x, y ) What is ? P ( X t = y | X 0 = x ) The following limit always exists! t → + ∞ e Q t ( x, y ) t → + ∞ P ( X t = y | X 0 = x ) = lim lim And often does not depend on ! x t → + ∞ π 0 e Q t ( y ) π ∞ ( y ) = t → + ∞ P ( X t = y ) = lim lim

  18. That’s all fine and well, but what can you use it for?

  19. Reliability engineering (failure probabilities, …) Queuing theory (waiting in line …) - optimising supermarket waiting times - dimensioning of call centers - airport security lines - router queues on the internet Cell division in biology (how long does it take?) …

  20. Message passing in optical links channels m 1 type I messages require 1 channel type II messages require channels n 2 We want to minimise the blocking probability of messages by finding an optimal policy

  21. Message passing in optical links m 2 = m 1 superchannels channels m 1 n 2 type I messages require 1 channel type II messages require channels n 2 We want to minimise the blocking probability of messages by finding an optimal policy

  22. So how about imprecision?

  23. Imprecise continuous-time Markov chains

  24. Imprecise continuous-time Markov chains ? What if we don’t Q ( x, y ) know these (exactly)

  25. Imprecise continuous-time Markov chains ? ∈ Q P ∈ What if we don’t Q ( x, y ) know these (exactly)

  26. ? e Qt ( x, y ) What is ? P ( X t = y | X 0 = x ) ? e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? ? π 0 e Qt ( y ) P ( X t = y ) What is ? ? ? π 0 e Qt f E ( f ( X t )) What is ? ? Optimising with respect to and Q ∈ Q π 0 ∈ P yields lower and upper bounds

  27. Imprecise continuous-time Markov chains Let’s assume that ∆ Q t ( x, y ) this does not depend on time!

  28. Imprecise continuous-time Markov chains Let’s assume that ∆ Q t ( x, y ) this does not depend on time!

  29. Imprecise continuous-time Markov chains In that case, all we know is that ≈ I ( x, y ) + ∆ Q t ( x, y ) ∈ Q

  30. e Qt ( x, y ) What is ? P ( X t = y | X 0 = x ) e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? π 0 e Qt ( y ) P ( X t = y ) What is ? π 0 e Qt f E ( f ( X t )) What is ? Optimising with respect to and Q t ∈ Q π 0 ∈ P yields lower and upper bounds

  31. (in many cases) ! ! this turns out to be surprisingly simple Optimising with respect to and Q t ∈ Q π 0 ∈ P yields lower and upper bounds

  32. e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? Lower transition operator T t f ( x ) = E ( f ( X t ) | X 0 = x ) = min Q ∈ Q E ( f ( X t ) | X 0 = x ) backward Kolmogorov differential equation d d tT t = QT t , with T 0 = I n → + ∞ ( I + t T t = e Qt = nQ ) n lim ⇒ Lower Qf ( x ) = min Q ∈ Q Qf ( x ) transition rate operator

  33. e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? ≥ Lower transition operator T t f ( x ) = E ( f ( X t ) | X 0 = x ) = min Q ∈ Q E ( f ( X t ) | X 0 = x ) backward Kolmogorov differential equation d d tT t = QT t , with T 0 = I n → + ∞ ( I + t T t = e Qt = nQ ) n lim ⇒ Lower Qf ( x ) = min Q ∈ Q Qf ( x ) transition rate operator

  34. e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? ≥ ≤ − ( e Qt ( − f ))( x ) ≥ P ( X t = y | X 0 = x ) What is ? ≥ e Qt I y ( x ) ≥ ≤ − ( e Qt ( − I y ))( x ) ≥ What is ? E ( f ( X t )) … …

  35. e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? ≥ The following limit always exists! t → + ∞ e Qt f ( x ) t → + ∞ E ( f ( X t ) | X 0 = x ) = lim lim And often does not depend on ! x E ∞ f = t → + ∞ E ( f ( X t )) lim π 0 ∈ P π 0 e Qt f with E ( f ( X t )) = min π 0 ∈ P min Q ∈ Q E ( f ( X t ) = min

  36. Imprecise continuous-time Markov chains Markov ≈ I ( x, y ) + ∆ Q t ( x, y ) assumption

  37. Imprecise continuous-time Markov chains ≈ I ( x, y ) + ∆ Q t,x 1 ,...,x n ( x, y ) Markov assumption

  38. Imprecise continuous-time Markov chains In that case, all we know is that ≈ I ( x, y ) + ∆ Q t,x 1 ,...,x n ( x, y ) ∈ Q

  39. e Qt ( x, y ) What is ? P ( X t = y | X 0 = x ) e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? π 0 e Qt ( y ) P ( X t = y ) What is ? π 0 e Qt f E ( f ( X t )) What is ? Optimising with respect to and π 0 ∈ P yields lower and upper bounds Q t,x 1 ,...,x n ∈ Q

  40. (in many cases) ! ! this turns 
 out to (still) be surprisingly simple Optimising with respect to and π 0 ∈ P yields lower and upper bounds Q t,x 1 ,...,x n ∈ Q

  41. e Qt f ( x ) E ( f ( X t ) | X 0 = x ) What is ? ≥ ≤ − ( e Qt ( − f ))( x ) ≥ P ( X t = y | X 0 = x ) What is ? ≥ e Qt I y ( x ) ≥ ≤ − ( e Qt ( − I y ))( x ) ≥ What is ? E ( f ( X t )) … …

  42. That’s enough! Too confusing! And time is running out…

  43. Advantages of imprecise (continuous-time) Markov chains over their precise counterpart Partially specified and are allowed Q π 0 Time homogeneity can be dropped The Markov assumption can be dropped Efficient computations remain possible …

  44. Amorous GOOD Bickering NOT 
 Confusion GOOD Depression

  45. References [1] Damjan Skulj. Efficient computation of the bounds of continuous time imprecise Markov chains. Applied mathematics and computation, 250(C): 165-180, 2015. [2] Matthias C.M. Troffaes, Jacob Gledhill, Damjan Skulj, Simon Blake. Using imprecise continuous time Markov chains for assessing the reliability of power networks with common cause failure and non-immediate repair. Proceedings of ISIPTA ’15: 287-294, 2015. Jasper De Bock. The limit behaviour of imprecise continuous- [3] time Markov chains. Journal of nonlinear Science, 27(1): 159-196. 2017. [4] Thomas Krak, Jasper De Bock, Arno Siebes. Imprecise continuous-time Markov chains. International Journal of Approximate Reasoning, 88: 452-528. 2017.

  46. References (2) [5] Cristina Rottondi, Alexander Erreygers, Giacomo Verticale, Jasper De Bock. Modelling spectrum assignment in a two- service flexi-grid optical link with imprecise continuous-time Markov chains. Proceedings of DRCN 2017: 39-46. 2017. Alexander Erreygers, Jasper De Bock. Imprecise continuous- [6] time Markov chains: efficient computational methods with guaranteed error bounds. PMLR: proceedings of machine learning research, 62 (proceedings of ISIPTA ’17): 145-156. 2017. Thomas Krak, Jasper De Bock, Arno Siebes. Efficient [7] computation of updated lower expectations for imprecise continuous-time hidden Markov chains. PMLR: proceedings of machine learning research, 62 (proceedings of ISIPTA ’17): 193-204. 2017.

Recommend


More recommend