Non-Blocking Robustness Analysis in Discrete Event Systems
Abstract
This paper presents a mathematical framework for characterizing state blocking in discrete event systems (DES) under transition deletions. We introduce a path-based analysis approach that determines whether systems maintain non-blocking properties when transitions are removed. Through formal analysis and case studies, we establish three key contributions: a mathematical characterization of transition-induced blocking with necessary and sufficient conditions, a definition of robust deviations that preserve non-blocking properties, and an algorithm for identifying critical transitions and analyzing system behavior under deletions. Our algorithm reduces computational complexity by leveraging minimal blocking sets, achieving significant reduction in computational requirements. We demonstrate the framework's effectiveness through manufacturing system and autonomous vehicle case studies, showing substantial improvements in identifying critical transitions and predicting potential blocking scenarios across different application domains.
Cite
@article{arxiv.2505.08166,
title = {Non-Blocking Robustness Analysis in Discrete Event Systems},
author = {Md Nur-A-Adam Dony},
journal= {arXiv preprint arXiv:2505.08166},
year = {2025}
}
Comments
This submission was made prematurely and without obtaining the appropriate permissions from all individuals initially listed. I now recognize that the submission did not meet the standards of authorship or originality expected for preprints. I am withdrawing it out of respect for academic integrity and to ensure that all future work is submitted in accordance with proper ethical guidelines