. . . . . “Bai Xue等人：基于边界分析的非线性系统可达性验证（2017）”。 . . _：ID_c09e66c2ce2253d1d2599ba1b8f23910。_：ID_c09e66c2ce2253d1d2599ba1b8f23910 ._：标识_c09e66c2ce2253d1d2599ba1b8f23910 ._：ID_c09e66c2ce2253d1d2599ba1b8f23910“期刊/tac/XueECF17”。 _：ID_d8397f07e12db5949dc5922c825cc7e1。_：ID_d8397f07e12db5949dc5922c825cc7e1 ._：ID_d8397f07e12db5949dc5922c825cc7e1 ._：ID_d8397f07e12db5949dc5922c825cc7e1“10.1109/TAC.2016.2615599”。 “基于边界分析的非线性系统可达-无效验证”。 . . . . . "4"^^. _：Sig_a72c6209ff6c018db8e796e8ea3be6cc_1。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_1 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_1“白雪0001”。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_1 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_1"1"^^._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_1 . _：Sig_a72c6209ff6c018db8e796e8ea3be6cc_2。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_2 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_2“阿文德·伊斯瓦兰”。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_2 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_2 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_2"2"^^._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_2 . _：Sig_a72c6209ff6c018db8e796e8ea3be6cc_3。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_3 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_3“Nam-Joon Cho”。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_3 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_3"3"^^._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_3 . _：Sig_a72c6209ff6c018db8e796e8ea3be6cc_4。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_4 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_4“Martin Fr\u00E4nzle”。_：Sig_a72c6209ff6c018db8e796e8ea3be6cc_4 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_4 ._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_4"4"^^._：Sig_a72c6209ff6c018db8e796e8ea3be6cc_4 . . . . “3518-3523”。 “IEEE变速器自动控制”。 “IEEE变速器自动控制”。 "62" . "7" . "2017"^^. “dblp记录'journals/tac/XueECF17'的RDF数据的来源信息”。 . . . “2022-06-23T19:59:51+0200”。