Safety verification of deep neural networks. Zbl 1494.68166
Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min |
|
2017
|
The effect of interstitial pressure on tumor growth: coupling with the blood and lymphatic vascular systems. Zbl 1406.92330
Wu, Min; Frieboes, Hermann B.; McDougall, Steven R.; Chaplain, Mark A. J.; Cristini, Vittorio; Lowengrub, John |
|
2013
|
Statistical inference for competing risks model in step-stress partially accelerated life tests with progressively type-I hybrid censored Weibull life data. Zbl 1327.62501
Zhang, Chunfang; Shi, Yimin; Wu, Min |
|
2016
|
Picard-Vessiot extensions for linear functional systems. Zbl 1360.12005
Bronstein, Manuel; Li, Ziming; Wu, Min |
|
2005
|
A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability. Zbl 1478.68308
Huang, Xiaowei; Kroening, Daniel; Ruan, Wenjie; Sharp, James; Sun, Youcheng; Thamo, Emese; Wu, Min; Yi, Xinping |
|
2020
|
A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199
Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta |
|
2020
|
Statistical analysis of dependent competing risks model in accelerated life testing under progressively hybrid censoring using copula function. Zbl 1402.62244
Wu, Min; Shi, Yimin; Zhang, Chunfang |
|
2017
|
Inference for accelerated competing failure models from Weibull distribution under type-I progressive hybrid censoring. Zbl 1381.62267
Wu, Min; Shi, Yimin; Sun, Yudong |
|
2014
|
Bayes estimation and expected termination time for the competing risks model from Gompertz distribution under progressively hybrid censoring with binomial removals. Zbl 1331.62390
Wu, Min; Shi, Yimin |
|
2016
|
Discrete fractional order PID controller design for nonlinear systems. Zbl 1483.93201
Li, Zhijie; Ding, Jie; Wu, Min; Lin, Jinxing |
|
2021
|
Domain-of-attraction estimation for uncertain non-polynomial systems. Zbl 1510.93257
Wu, Min; Yang, Zhengfeng; Lin, Wang |
|
2014
|
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. Zbl 1356.12012
Li, Ziming; Singer, Michael F.; Wu, Min; Zheng, Dabin |
|
2006
|
An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. Zbl 07198064
Yang, Zhengfeng; Wu, Min; Lin, Wang |
|
2020
|
Liouvillian solutions of linear difference-differential equations. Zbl 1233.12004
Feng, Ruyong; Singer, Michael F.; Wu, Min |
|
2010
|
A discrete-time global quasi-sliding mode control scheme with bounded external disturbance rejection. Zbl 1307.93106
Wu, M.; Chen, J. S. |
|
2014
|
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. Zbl 1345.65046
Wu, Min; Yang, Zhengfeng |
|
2011
|
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. Zbl 1282.90123
Shen, Liyong; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2013
|
On the factorization of differential modules. Zbl 1096.13526
Wu, Min |
|
2005
|
Statistical analysis for competing risks model from a Weibull distribution under progressively hybrid censoring. Zbl 1395.62308
Wu, Min; Shi, Yimin; Sun, Yudong |
|
2017
|
Testing linear dependence of hyperexponential elements. Zbl 1315.68293
Li, Ziming; Wu, Min; Zheng, Dabin |
|
2007
|
Second-order integro-differential parabolic variational inequalities arising from the valuation of American option. Zbl 1515.35055
Sun, Yudong; Shi, Yimin; Wu, Min |
|
2014
|
Exact safety verification of hybrid systems using sums-of-squares representation. Zbl 1343.93051
Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2014
|
Testing economic “Genetic pleiotropy” for Box-Cox linear model. Zbl 07529928
Jiang, Qing; Zhang, Xun; Wu, Min; Tong, Xingwei |
|
2020
|
Transforming linear functional systems into fully integrable systems. Zbl 1252.68357
Li, Ziming; Wu, Min |
|
2012
|
A new semi-local convergence theorem for the inexact Newton methods. Zbl 1160.65025
Wu, Min |
|
2008
|
Universal admissibility of linear estimators in multivariate linear models with respect to a restricted parameter set. Zbl 0995.62003
Qin, Hong; Wu, Min; Peng, Junhao |
|
2002
|
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations. Zbl 1233.12005
Feng, Ruyong; Singer, Michael F.; Wu, Min |
|
2010
|
The multi-attribute group decision making model based on probabilistic linguistic correlation coefficient. Zbl 1424.90135
Mao, Xiaobing; Wu, Min; Shang, Na |
|
2018
|
Finding positively invariant sets of a class of nonlinear loops via curve fitting. Zbl 1356.68147
Shen, Liyong; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2009
|
Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems. Zbl 1271.93128
Wu, Min; Yang, Zhengfeng; Lin, Wang |
|
2013
|
Collaborative image coding and transmission over wireless sensor networks. Zbl 1168.94480
Wu, Min; Chen, Chang Wen |
|
2007
|
Effects of controlling parameter on symbolic nonlinear complexity detection. Zbl 1520.37059
Yao, Wenpo; Wu, Min; Wang, Jun |
|
2019
|
A convergence theorem for the Newton-like methods under some kind of weak Lipschitz conditions. Zbl 1136.65059
Wu, Min |
|
2008
|
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Zbl 1425.68260
Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2014
|
Hausdorff dimension of \(\alpha\)-cutset of some random series. Zbl 0862.28007
Wu, Min |
|
1995
|
Higher level orderings on modules. Zbl 1095.06012
Wu, Min; Zeng, Guangxing |
|
2005
|
High accuracy trigonometric approximations of the real Bessel functions of the first kind. Zbl 1452.65418
Cuyt, A.; Lee, Wen-shin; Wu, Min |
|
2020
|
Establishing a dynamic self-adaptation learning algorithm of the BP neural network and its applications. Zbl 1334.68189
Li, Xiaofeng; Xiang, Suying; Zhu, Pengfei; Wu, Min |
|
2015
|
Nonexistence and longtime behaviors of solutions to a class of nonlinear degenerate parabolic equations not in divergence form. Zbl 1381.35085
Sun, Yu-dong; Shi, Yi-min; Wu, Min |
|
2016
|
Discrete fractional order PID controller design for nonlinear systems. Zbl 1483.93201
Li, Zhijie; Ding, Jie; Wu, Min; Lin, Jinxing |
|
2021
|
A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability. Zbl 1478.68308
Huang, Xiaowei; Kroening, Daniel; Ruan, Wenjie; Sharp, James; Sun, Youcheng; Thamo, Emese; Wu, Min; Yi, Xinping |
|
2020
|
A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199
Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta |
|
2020
|
An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. Zbl 07198064
Yang, Zhengfeng; Wu, Min; Lin, Wang |
|
2020
|
Testing economic “Genetic pleiotropy” for Box-Cox linear model. Zbl 07529928
Jiang, Qing; Zhang, Xun; Wu, Min; Tong, Xingwei |
|
2020
|
High accuracy trigonometric approximations of the real Bessel functions of the first kind. Zbl 1452.65418
Cuyt, A.; Lee, Wen-shin; Wu, Min |
|
2020
|
Effects of controlling parameter on symbolic nonlinear complexity detection. Zbl 1520.37059
Yao, Wenpo; Wu, Min; Wang, Jun |
|
2019
|
The multi-attribute group decision making model based on probabilistic linguistic correlation coefficient. Zbl 1424.90135
Mao, Xiaobing; Wu, Min; Shang, Na |
|
2018
|
Safety verification of deep neural networks. Zbl 1494.68166
Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min |
|
2017
|
Statistical analysis of dependent competing risks model in accelerated life testing under progressively hybrid censoring using copula function. Zbl 1402.62244
Wu, Min; Shi, Yimin; Zhang, Chunfang |
|
2017
|
Statistical analysis for competing risks model from a Weibull distribution under progressively hybrid censoring. Zbl 1395.62308
Wu, Min; Shi, Yimin; Sun, Yudong |
|
2017
|
Statistical inference for competing risks model in step-stress partially accelerated life tests with progressively type-I hybrid censored Weibull life data. Zbl 1327.62501
Zhang, Chunfang; Shi, Yimin; Wu, Min |
|
2016
|
Bayes estimation and expected termination time for the competing risks model from Gompertz distribution under progressively hybrid censoring with binomial removals. Zbl 1331.62390
Wu, Min; Shi, Yimin |
|
2016
|
Nonexistence and longtime behaviors of solutions to a class of nonlinear degenerate parabolic equations not in divergence form. Zbl 1381.35085
Sun, Yu-dong; Shi, Yi-min; Wu, Min |
|
2016
|
Establishing a dynamic self-adaptation learning algorithm of the BP neural network and its applications. Zbl 1334.68189
Li, Xiaofeng; Xiang, Suying; Zhu, Pengfei; Wu, Min |
|
2015
|
Inference for accelerated competing failure models from Weibull distribution under type-I progressive hybrid censoring. Zbl 1381.62267
Wu, Min; Shi, Yimin; Sun, Yudong |
|
2014
|
Domain-of-attraction estimation for uncertain non-polynomial systems. Zbl 1510.93257
Wu, Min; Yang, Zhengfeng; Lin, Wang |
|
2014
|
A discrete-time global quasi-sliding mode control scheme with bounded external disturbance rejection. Zbl 1307.93106
Wu, M.; Chen, J. S. |
|
2014
|
Second-order integro-differential parabolic variational inequalities arising from the valuation of American option. Zbl 1515.35055
Sun, Yudong; Shi, Yimin; Wu, Min |
|
2014
|
Exact safety verification of hybrid systems using sums-of-squares representation. Zbl 1343.93051
Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2014
|
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Zbl 1425.68260
Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2014
|
The effect of interstitial pressure on tumor growth: coupling with the blood and lymphatic vascular systems. Zbl 1406.92330
Wu, Min; Frieboes, Hermann B.; McDougall, Steven R.; Chaplain, Mark A. J.; Cristini, Vittorio; Lowengrub, John |
|
2013
|
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. Zbl 1282.90123
Shen, Liyong; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2013
|
Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems. Zbl 1271.93128
Wu, Min; Yang, Zhengfeng; Lin, Wang |
|
2013
|
Transforming linear functional systems into fully integrable systems. Zbl 1252.68357
Li, Ziming; Wu, Min |
|
2012
|
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. Zbl 1345.65046
Wu, Min; Yang, Zhengfeng |
|
2011
|
Liouvillian solutions of linear difference-differential equations. Zbl 1233.12004
Feng, Ruyong; Singer, Michael F.; Wu, Min |
|
2010
|
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations. Zbl 1233.12005
Feng, Ruyong; Singer, Michael F.; Wu, Min |
|
2010
|
Finding positively invariant sets of a class of nonlinear loops via curve fitting. Zbl 1356.68147
Shen, Liyong; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing |
|
2009
|
A new semi-local convergence theorem for the inexact Newton methods. Zbl 1160.65025
Wu, Min |
|
2008
|
A convergence theorem for the Newton-like methods under some kind of weak Lipschitz conditions. Zbl 1136.65059
Wu, Min |
|
2008
|
Testing linear dependence of hyperexponential elements. Zbl 1315.68293
Li, Ziming; Wu, Min; Zheng, Dabin |
|
2007
|
Collaborative image coding and transmission over wireless sensor networks. Zbl 1168.94480
Wu, Min; Chen, Chang Wen |
|
2007
|
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. Zbl 1356.12012
Li, Ziming; Singer, Michael F.; Wu, Min; Zheng, Dabin |
|
2006
|
Picard-Vessiot extensions for linear functional systems. Zbl 1360.12005
Bronstein, Manuel; Li, Ziming; Wu, Min |
|
2005
|
On the factorization of differential modules. Zbl 1096.13526
Wu, Min |
|
2005
|
Higher level orderings on modules. Zbl 1095.06012
Wu, Min; Zeng, Guangxing |
|
2005
|
Universal admissibility of linear estimators in multivariate linear models with respect to a restricted parameter set. Zbl 0995.62003
Qin, Hong; Wu, Min; Peng, Junhao |
|
2002
|
Hausdorff dimension of \(\alpha\)-cutset of some random series. Zbl 0862.28007
Wu, Min |
|
1995
|