A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions | IEEE Conference Publication | IEEE Xplore