机译:半代数动力系统通过电感不变性的安全验证
School of Software, Tsinghua University, Beijing 100084,China;
School of Software, Tsinghua University, Beijing 100084,China;
Department of ECE, Portland State University, OR 97207, USA;
School of Software, Tsinghua University, Beijing 100084,China;
Institute of Acoustics, Chinese Academy of Sciences, Beijing 100190, China;
School of Software, Tsinghua University, Beijing 100084,China;