Robustness Analysis of Systems' Safety through a New Notion of Input-to-State Safety
arXiv:1702.0179423 citationsh-index: 31
AI Analysis
Provides a formal framework for safety certification in control systems, addressing a known bottleneck in robustness analysis.
The paper introduces input-to-state safety (ISSf), a new robustness notion for certifying system safety under external disturbances, analogous to input-to-state stability for stability analysis.
In this paper, we propose a new robustness notion that is applicable for certifying systems' safety with respect to external disturbance signals. The proposed input-to-state safety (ISSf) notion allows us to certify systems' safety in the presence of the disturbances which is analogous to the notion of input-to-state stability (ISS) for analyzing systems' stability.