Safety Robustness for Time-Inhomogeneous Markov Chains
In this paper, we explore safety concepts for time-inhomogeneous Markov chains and characterize them using barrier certificates and the infinitesimal generator. We then examine safety robustness, analyzing the impact of perturbations on safety properties. Additionally, we establish conditions for ensuring safety under dynamic uncertainties and geometric ergodicity.
Authors
- R. Wisniewski
- Manuela L. Bujorianu
Institutions
- Aalborg University (DK)
Publication Details
- Published
- 2025-12-09
- DOI
- https://doi.org/10.1109/cdc57313.2025.11312264
- Primary Topic
- Petri Nets in System Modeling
- Type
- article
- Field-Weighted Citation Impact
- 0.00