Abstract
Probabilistic model checking is frequently used to examine stochastic behavior. Model-checking is important for examining before extensive simulations, in differing fields, including computer communications, networks, security, and biology. In this work performance of histogram-based fuzzy image enhancement (HFIE Algorithm). The fuzzy contrast enhancement algorithm based on histograms is used to improve low contrast colored photographs. K is the contrast intensification parameter calculated from the histogram. The RGB image is transformed into HSV to preserve the chromatic information in the original image. To improve the image, only the V component is stretched using the M and K parameters. HFIE Algorithm is analyzed by developing its Discrete-time Markov Chain (DTMC) model in the Probabilistic Symbolic Model Checker (PRISM). First, a labeled transition diagram showing the functionality of HFIE Algorithm is constructed, then the HFIE Algorithm model using the PRISM tool is developed. The expected time to convert RGB image to HSV, probability of achieving enhanced RGB image, and expected SNR are measured with the help of properties.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Review of Information Engineering and Applications
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
