dynamical systems; omega-limit set; hybrid systems; reachable set; verification; safety properties;
机译:具有一致极限类型2(无穷大)的非自治动力系统的ω-极限集
机译:在均匀限制2(无穷大)的非自动动态系统的Omega限制集合
机译:平面连续动力系统的欧米伽极限集的刻画
机译:在线性动力系统中计算Omega-Limit集
机译:半全局实用稳定的非线性系统的Omega极限集。
机译:随机动力系统中基于集合的畜栏控制:几乎不变集更不变
机译:在线性动力系统中计算欧米茄极限集