2020SP_ELEC_ENG_302-0_SEC01 Probabilistic Systems