Improving probability estimation through active probabilistic model learning

• Main Authors: WANG, Jingyi, CHEN, Xiaohong, SUN, Jun, QIN, Shengchao
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2017
• Subjects: Embedded systems; Formal methods; Software engineering; Water treatment; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4708; https://ink.library.smu.edu.sg/context/sis_research/article/5711/viewcontent/Improving_Prob_Est_icfem2017_av.pdf
• Institution: Singapore Management University

It is often necessary to estimate the probability of certain events occurring in a system. For instance, knowing the probability of events triggering a shutdown sequence allows us to estimate the availability of the system. One approach is to run the system multiple times and then construct a probabilistic model to estimate the probability. When the probability of the event to be estimated is low, many system runs are necessary in order to generate an accurate estimation. For complex cyber-physical systems, each system run is costly and time-consuming, and thus it is important to reduce the number of system runs while providing accurate estimation. In this work, we assume that the user can actively tune the initial configuration of the system before the system runs and answer the following research question: how should the user set the initial configuration so that a better estimation can be learned with fewer system runs. The proposed approach has been implemented and evaluated with a set of benchmark models, random generated models, and a real-world water treatment system.