"Live as if you were to die tomorrow. Learn as if you were to live forever." ― MAHATMA GANDHI
Delayed Dynamical/Hybrid Systems, Reachability Computation, Program Verification, Interpolant/Invariant Synthesis
. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, and Naijun Zhan (2018): What's to come is still unsure: Synthesizing controllers resilient to delayed interaction. To appear in Proc. of ATVA 2018. (Distinguished Paper Award). Extended version.
. Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, and Naijun Zhan (2017): Reachability analysis for solvable dynamical systems. In IEEE Trans. Automat. Contr., vol. 63, no. 7, pp. 2003-2018.
. Bai Xue, Peter N. Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, and Naijun Zhan (2017): Safe over- and under-approximation of reachable sets for delay differential equations. In Proc. of FORMATS 2017,