Small-Gain Theorem for Safety Verification of Interconnected Systems
Systems and Control
2022-04-12 v1 Systems and Control
Optimization and Control
Abstract
A small-gain theorem in the formulation of barrier function is developed in this work for safety verification of interconnected systems. This result is helpful to verify input-to-state safety (ISSf) of the overall system from the safety information encoded in the subsystem's ISSf-barrier function. Also, it can be used to obtain a safety set in a higher dimensional space from the safety sets in two lower dimensional spaces.
Cite
@article{arxiv.2011.09173,
title = {Small-Gain Theorem for Safety Verification of Interconnected Systems},
author = {Ziliang Lyu and Xiangru Xu and Yiguang Hong},
journal= {arXiv preprint arXiv:2011.09173},
year = {2022}
}