The Most Probable Path Derivation for Quasi-Birth–Death Processes by Using Symbolic Control
Abstract
In this study, we utilize the control theory of discrete event systems to compute the most likely paths in quasi-birth-death processes through hidden Markov models. We begin by discussing how quasi-birth-death processes can be framed as a control problem within the context of discrete event systems. Following this, we encode quasi-birth-death processes as a controller synthesis problem, explaining how to apply safety and optimization algorithms enables the controller to select the best paths. We validate our proposed method through several case studies and report its superior performance compared to various state-of-the-art techniques found in the literature.
Fields of Study & Subjects
Petri Nets in System Modeling
Formal Methods in Verification
Simulation Techniques and Applications
Publication details
- Journal / source
- Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi
- Volume
- 9
- Issue
- 1
- Pages
- 238–253
- Publication date
- 13 January 2026