Given a discrete-time system and its symbolic abstraction, the paper computes the largest additive disturbance that preserves the alternating simulation relation, with uniform and non-uniform versions and a tightness bound tied to reachable-set error.
Nonlinear Analysis: Hybrid Systems 22, 1–15
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Symbolic Control: Unveiling Free Robustness Margins
Given a discrete-time system and its symbolic abstraction, the paper computes the largest additive disturbance that preserves the alternating simulation relation, with uniform and non-uniform versions and a tightness bound tied to reachable-set error.