Assistant Professor Department of Computer Science University of Dayton, OH
Email: xchen4 AT udayton DOT edu
I am primarily interested in solving the safety and security problems on Cyber-Physical Systems equipped with AI controllers using formal methods. A graphic overview of my research topics along with some of my representative publications are given as below.
2019.08 - 2021.07 (Ongoing), Analysis and Abstraction of Hybrid Systems (PI), funded by Air Force Research Laboratory, $83,158.
2017.05 - 2017.08, Summer of Innovation (co-PI), funded by Air Force Research Laboratory, $35,000 (my share).
Lin Zhang, Xin Chen, Fanxin Kong, Alvaro A. Cardenas. Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations. In IEEE Real-Time Systems Symposium (RTSS). pp. 205-217, 2020.
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, and Qi Zhu. Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). volume 39, number 11, pp. 3323-3335. 2020.
Qin Lin, Xin Chen, Aman Khurana, and John M. Dolan. ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. In the International Conference on Intelligent Robots and Systems (IROS). 2020.
Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, and Qi Zhu. ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. (Tool Paper) In the International Symposium on Automated Technology for Verification and Analysis (ATVA). volume 12302 of LNCS, pp.537-542. Springer, 2020.
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, and Qi Zhu. Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems. (Invited Paper) In the International Conference On Computer Aided Design (ICCAD) (Special session: The Road to Safe Autonomy: Neural Networks Meet Formal Reasoning), pp. 1-8. IEEE, 2019.
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, and Qi Zhu. ReachNN: Reachability Analysis of Neural-Network Controlled Systems. In ACM Transactions on Embedded Computing Systems (TECS), volume 18, number 5s, pp. 106:1-106:22. ACM, 2019.
Hansol Yoon, Yi Chou, Xin Chen, Eric Frew, and Sriram Sankaranarayanan. Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. In Runtime Verification (RV), volume 11757 of LNCS, pp. 349-367. Springer, 2019.
Souradeep Dutta, Xin Chen, and Sriram Sankaranarayanan. Reachability Analysis for Neural Feedback Systems Using Regressive Polynomial Rule Inference. In Hybrid Systems: Computation and Control (HSCC), pp. 157-168, 2019.
Xin Chen and Sriram Sankaranarayanan. Model Predictive Real-Time Monitoring of Linear Systems. In Real Time Systems Symposium (RTSS), pp. 297-306, 2017.
Xin Chen, Sergio Mover, and Sriram Sankaranarayanan. Compositional Relational Abstraction for Nonlinear Hybrid Systems. In ACM Transactions on Embedded Computing Systems (TECS) 16(5): pp. 187:1-187:19, 2017.
Xin Chen, Sriram Sankaranarayanan. Decomposed Reachability Analysis for Nonlinear Systems. In Real-Time Systems Symposium (RTSS), 2016.
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Abraham. Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis. In IMA Journal of Mathematical Control and Information, 2015, Oxford University Press.
Xin Chen, Sriram Sankaranarayanan, Erika Abraham. Under-Approximate Flowpipes for Non-Linear Continuous Systems. In Formal Methods in Computer-Aided Design (FMCAD), pp. 59-66, 2014, IEEE.
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Abraham. From statistical model checking to statistical model inference: Characterizing the effect of process variations in analog circuits. In the International Conference On Computer Aided Design (ICCAD), pp. 662-669, 2013.
Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Flow*: An Analyzer for Non-Linear Hybrid Systems. In Computer-Aided Verification (CAV), volume 8044 of LNCS, pp. 258-263, 2013.
Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In Real Time Systems Symposium (RTSS), pp. 183-192, 2012.