Introduces specification-aware robustness margins for symbolic controllers on perturbed systems, deriving customized measures for safety, reachability, persistence, and recurrence that depend on the fixed-point iteration sets.
Classification of simulation relations for symbolic control,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Specification-aware Robustness Margins for Symbolic Controllers
Introduces specification-aware robustness margins for symbolic controllers on perturbed systems, deriving customized measures for safety, reachability, persistence, and recurrence that depend on the fixed-point iteration sets.