论文标题
小增生定理用于互连系统的安全验证
Small-Gain Theorem for Safety Verification of Interconnected Systems
论文作者
论文摘要
在这项工作中开发了屏障功能制定的小生殖定理，以安全验证互连系统。该结果有助于从子系统的ISSF驻式函数中编码的安全信息验证整体系统的投入到国家安全（ISSF）。同样，它可用于从两个较低维空间的安全集中获得更高维空间中的安全集。
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.
