• <tr id='ENQXMf'><strong id='ENQXMf'></strong><small id='ENQXMf'></small><button id='ENQXMf'></button><li id='ENQXMf'><noscript id='ENQXMf'><big id='ENQXMf'></big><dt id='ENQXMf'></dt></noscript></li></tr><ol id='ENQXMf'><option id='ENQXMf'><table id='ENQXMf'><blockquote id='ENQXMf'><tbody id='ENQXMf'></tbody></blockquote></table></option></ol><u id='ENQXMf'></u><kbd id='ENQXMf'><kbd id='ENQXMf'></kbd></kbd>

    <code id='ENQXMf'><strong id='ENQXMf'></strong></code>

    <fieldset id='ENQXMf'></fieldset>
          <span id='ENQXMf'></span>

              <ins id='ENQXMf'></ins>
              <acronym id='ENQXMf'><em id='ENQXMf'></em><td id='ENQXMf'><div id='ENQXMf'></div></td></acronym><address id='ENQXMf'><big id='ENQXMf'><big id='ENQXMf'></big><legend id='ENQXMf'></legend></big></address>

              <i id='ENQXMf'><div id='ENQXMf'><ins id='ENQXMf'></ins></div></i>
              <i id='ENQXMf'></i>
            1. <dl id='ENQXMf'></dl>
              1. <blockquote id='ENQXMf'><q id='ENQXMf'><noscript id='ENQXMf'></noscript><dt id='ENQXMf'></dt></q></blockquote><noframes id='ENQXMf'><i id='ENQXMf'></i>

                学术活动

                您所在的位置: 首页? 首页栏目? 学术活动

                学术活动

                北京航空航天大学佘志∑ 坤教授应邀来我校▼讲学

              2. <tr id='ENQXMf'><strong id='ENQXMf'></strong><small id='ENQXMf'></small><button id='ENQXMf'></button><li id='ENQXMf'><noscript id='ENQXMf'><big id='ENQXMf'></big><dt id='ENQXMf'></dt></noscript></li></tr><ol id='ENQXMf'><option id='ENQXMf'><table id='ENQXMf'><blockquote id='ENQXMf'><tbody id='ENQXMf'></tbody></blockquote></table></option></ol><u id='ENQXMf'></u><kbd id='ENQXMf'><kbd id='ENQXMf'></kbd></kbd>

                  <code id='ENQXMf'><strong id='ENQXMf'></strong></code>

                  <fieldset id='ENQXMf'></fieldset>
                        <span id='ENQXMf'></span>

                            <ins id='ENQXMf'></ins>
                                <acronym id='ENQXMf'><em id='ENQXMf'></em><td id='ENQXMf'><div id='ENQXMf'></div></td></acronym><address id='ENQXMf'><big id='ENQXMf'><big id='ENQXMf'></big><legend id='ENQXMf'></legend></big></address>

                                  <i id='ENQXMf'><div id='ENQXMf'><ins id='ENQXMf'></ins></div></i>
                                  <i id='ENQXMf'></i>
                                    • <dl id='ENQXMf'></dl>
                                        <blockquote id='ENQXMf'><q id='ENQXMf'><noscript id='ENQXMf'></noscript><dt id='ENQXMf'></dt></q></blockquote><noframes id='ENQXMf'><i id='ENQXMf'></i>

                                        题目:基于非单调Lyapunov函数的切〖换系统可稳定性分析
                                        时间:2019年12月30日(周一)10:00-11:00
                                        地点:立志楼A422
                                        主办:数学与计算科学学院
                                        报告人简介:
                                               佘志坤,北京航空航天大学数学学院教授、博士生【导师。主要从事非线性混成系统安全性验证与■稳定性分析的研究。在SIAM Journal on Control and
                                        Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文70余篇,研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。

                                        报告摘要:
                                               切换系统是由若干连续或离散的子系统以及一个决定如何在子系统间切换的规则组成的混成系统。切换系统分析与综合极其复杂,例如:切换系统稳定性分析是一不可判定问题;稳定的子系统可以组成不稳定的切换系统;不稳定的子系统可以组成稳定的切换系统等。本报告主要围绕切换系统可稳定性展开:首先,基于非单调Lyapunov函数,给出时变切换线性系统渐近可稳定、指数可稳定、一致指数可稳定的充要条件;接着,将以上相关结论推〓广到时变切换非线性系统;最后,基于S-procedure和半定规划,给出有理时变切换〓系统可稳定性的自动验证方法。