"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
. Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, and Naijun Zhan (2017): Reachability Analysis for Solvable Dynamical Systems. To appear in IEEE Trans. Automat. Contr..
. 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,