Call for Paper - January 2024 Edition
IJCA solicits original research papers for the January 2024 Edition. Last date of manuscript submission is December 20, 2023. Read More

Probabilistic Modeling of Lossless Compression using Improved RLC Algorithm

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Year of Publication: 2021
Aisha Sattar Phulpoto, Sania Bhatti, Salahuddin Saddar

Aisha Sattar Phulpoto, Sania Bhatti and Salahuddin Saddar. Probabilistic Modeling of Lossless Compression using Improved RLC Algorithm. International Journal of Computer Applications 183(43):33-39, December 2021. BibTeX

	author = {Aisha Sattar Phulpoto and Sania Bhatti and Salahuddin Saddar},
	title = {Probabilistic Modeling of Lossless Compression using Improved RLC Algorithm},
	journal = {International Journal of Computer Applications},
	issue_date = {December 2021},
	volume = {183},
	number = {43},
	month = {Dec},
	year = {2021},
	issn = {0975-8887},
	pages = {33-39},
	numpages = {7},
	url = {},
	doi = {10.5120/ijca2021921838},
	publisher = {Foundation of Computer Science (FCS), NY, USA},
	address = {New York, USA}


Probabilistic model checking is a very famous formal verification technique to calculate accuracy evaluation while it is very complex and time-consuming to achieve via simulations these days. Probabilistic analysis has been applied successfully for a diverse range of application domains to examine the real-time attribute likewise, Performance and reliability, power management, biological process modeling, Communication, network, and multimedia protocols, security protocols, game theory, and many others but not applied in the domain of image compression techniques. The outstanding applicability of PRISM in a wider range of application domains motivated us to the analysis of compression algorithms using probabilistic techniques which are challenging and are still an open issue. For this, this paperhas selected improved run-length coding IRLC.which is a lossless algorithm. This paper presents a label transition diagram for IRL-C to understand the working of IRL-C in terms of states and transitions and then developed the probabilistic discrete-time Markov chains (DTMC) of IRLC to perform its analysis by applying properties.


  1. Sayeed, Khalid. Introduction to data compression. Morgan Kaufmann, 2017
  2. Husseen, A. H., S. Sh Mahmud, and R. J. Mohammed. "Image compression using proposed enhanced run-length encoding algorithm." Ibn AL-Haitham Journal for Pure and Applied Science 24, no. 1 (2017).
  3. Bhatti, Sania, MohsinMemon, and SheerazMemon. "Evaluating FTTT Protocol via PRISM, PRISM-symm, and GRIP." International Journal of Computer Theory and Engineering 9, no. 3 (2017): 162.
  4. The PRISM website. [Online]. Available
  5. Kwiatkowska, Marta, Gethin Norman, and David Parker. "Analysis of a gossip protocol in PRISM." ACM SIGMETRICS Performance Evaluation Review 36, no. 3 (2008): 17-22.
  6. Chen, Taolue, Marta Kwiatkowska, David Parker, and AistisSimaitis. "Verifying team formation protocols with probabilistic model checking." In International Workshop on Computational Logic in Multi-Agent Systems, pp. 190-207. Springer, Berlin, Heidelberg, 2011.
  7. He, Kang, Hongli Yang, Yachao Feng, Yuan Liu, and ZongyanQiu. "Performance analysis of data gathering protocol using PRISM." In 2012 IEEE 17th International.
  8. Pfeffer, Avi, Curt Wu, Gerald Fry, Kenny Lu, Steve Marotta, Mike Reposa, Yuan Shi et al. "Software Adaptation for an Unmanned Undersea Vehicle." IEEE Software 36, no. 2 (2019): 91-96.
  9. Liu, Yang, and Chao He. "A Heuristics-Based Incremental Probabilistic Model Checking at Runtime." In 2020 IEEE 11th International Conference on Software Engineering and Service Science (ICSESS), pp. 355-358. IEEE, 2020.
  10. Babu, S. Anantha, and Eswaran Perumal. "Efficient Approach of Run Length Coding Technique Using Lossless Grayscale Image Compression (E-RLC)." In 2018 3rd International Conference on Inventive ComputationTechnologies (ICICT), pp. 680-686. IEEE, 2018.
  11. Hussin, Mumtaz Anwar, Farhana Ahmad Poad, and AriffuddinJoret. "A Comparative Study on the Performance of DWT and Huffman Compression Technique on a 2D Signal." Journal of Electronic Voltage and Application 2, no. 1 (2021): 11-19.
  12. Prasantha, Dr. HS. "NOVEL APPROACH FOR IMAGE COMPRESSION USING MODIFIED SVD." International Journal of Creative Research Thoughts (IJCRT) 8, no. 8 (2020):2234-2243.
  13. Liu, Xiaoxiao, Ping an, Yilei Chen, and Xinpeng Huang. "An improved lossless image compression algorithm based on Huffman coding." Multimedia Tools and Applications (2021): 1-15.
  14. Babu, S. Anantha, P. Eswaran, and C. Senthil Kumar. "Lossless compression algorithm using improved RLC for the grayscale image." Arabian Journal for Science and Engineering 41, no. 8 (2016): 3061-3070.
  15. Jose, Jais, Neha Gautam, Mohit Tiwari, Tripti Tiwari, Arjun Suresh, VinuSundararaj, and M. R. Rejeesh. "Animage quality enhancement scheme employing adolescentidentity search algorithm in the NSST domain for multimodal medical image fusion." Biomedical Signal Processing and Control 66 (2021):10248.


Improved run length coding IRLC, discrete-time Markov chains (DTMC), Markov decision processes (MDP),continuous-time Markov chains (CTMC), PRISM, probabilistic modeling