Mingshuai Chen
Titel
Zitiert von
Zitiert von
Jahr
Safe over-and under-approximation of reachable sets for delay differential equations
B Xue, PN Mosaad, M Fränzle, M Chen, Y Li, N Zhan
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
202017
Validated simulation-based verification of delayed differential dynamics
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
International Symposium on Formal Methods, 137-154, 2016
182016
Reachability analysis for solvable dynamical systems
T Gan, M Chen, Y Li, B Xia, N Zhan
IEEE Transactions on Automatic Control 63 (7), 2003-2018, 2017
162017
Decidability of the reachability for a family of linear vector fields
T Gan, M Chen, L Dai, B Xia, N Zhan
International Symposium on Automated Technology for Verification and …, 2015
132015
What’s to Come is Still Unsure
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
International Symposium on Automated Technology for Verification and …, 2018
102018
Taming delays in dynamical systems
S Feng, M Chen, N Zhan, M Fränzle, B Xue
International Conference on Computer Aided Verification, 650-669, 2019
92019
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata
M Fränzle, M Chen, P Kröger
ACM SIGLOG News 6 (1), 19-39, 2019
92019
Computing reachable sets of linear vector fields revisited
T Gan, M Chen, Y Li, B Xia, N Zhan
2016 European Control Conference (ECC), 419-426, 2016
92016
MARS: A toolchain for modelling, analysis and verification of hybrid systems
M Chen, X Han, T Tang, S Wang, M Yang, N Zhan, H Zhao, L Zou
Provably Correct Systems, 39-58, 2017
82017
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen
International Joint Conference on Automated Reasoning, 195-212, 2016
82016
A two-way path between formal and informal design of embedded systems
M Chen, AP Ravn, S Wang, M Yang, N Zhan
International Symposium on Unifying Theories of Programming, 65-92, 2016
82016
Learning one-clock timed automata
J An, M Chen, B Zhan, N Zhan, M Zhang
International Conference on Tools and Algorithms for the Construction and …, 2020
62020
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
Acta Informatica, 1-32, 2020
42020
NIL: learning nonlinear interpolants
M Chen, J Wang, J An, B Zhan, D Kapur, N Zhan
International Conference on Automated Deduction, 178-196, 2019
32019
Unbounded-time safety verification of stochastic differential dynamics
S Feng, M Chen, B Xue, S Sankaranarayanan, N Zhan
International Conference on Computer Aided Verification, 327-348, 2020
22020
Interpolation synthesis for quadratic polynomial inequalities and combination with EUF
T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen
arXiv preprint arXiv:1601.04802, 2016
12016
On Termination of Polynomial Programs with Equality Conditions
Y Li, N Zhan, M Chen, H Lu, G Wu, JP Katoen
arXiv preprint arXiv:1510.05201, 2015
12015
From model to implementation: a network algorithm programming language
J Wang, J An, M Chen, N Zhan, L Wang, M Zhang, T Gan
Science China Information Sciences 63, 1-17, 2020
2020
Interpolation synthesis for quadratic polynomial inequalities and combination with\textit {EUF}.
T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen
CoRR, 2016
2016
Unbounded-Time Safety Verification of Stochastic Differential Dynamics О 随机微分系统的无穷时间安全性验证 Shenghua Feng1, 2, Mingshuai Chen3, Bai Xue1, 2, Sriram …
S Feng, M Chen, B Xue, S Sankaranarayanan, N Zhan
2010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20