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 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 .

Author(s) : Ziliang Lyu, Xiangru Xu, Yiguang Hong

Links : PDF - Abstract

Code :


Keywords : safety - small - gain - theorem - barrier -

Leave a Reply

Your email address will not be published. Required fields are marked *