Publications

2016
DOI
[bibtex]
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Abraham. Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis. IMA Journal of Mathematical Control and Information 33(3), pages 723–756, 2016.
2015
Link
[bibtex]
Xin Chen. Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models. Phd Thesis at RWTH Aachen University, 2015.
Link
[bibtex]
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, Stefan Kowalewski. A Benchmark Suite for Hybrid Systems Reachability Analysis. Proc. of the 7th NASA Formal Methods Symp. (NFM'15), Volume 9058 of LNCS, pages 408–414, Springer, 2015.
Download
[bibtex]
Stefan Schupp, Erika Abraham, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems. Proc. of the 5th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy’15), Volume 9361 of Information Systems and Applications, incl. Internet/Web, and HCI, pages 8–24, Springer, 2015.

[bibtex]
Xin Chen, Sriram Sankaranarayanan, Erika Abraham. Flow* 1.2: More Effective to Play with Hybrid Systems. Proceedings of the 1st and 2nd Int. Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH'15), Volume 34 of EasyChair Proceedings in Computing, pages 152–159, EasyChair, 2015.
2014

[bibtex]
Xin Chen, Sriram Sankaranarayanan, Erika Abraham. Under-approximate Flowpipes for Non-linear Continuous Systems. Proc. of Formal Methods in Computer-Aided Design (FMCAD'14), pages 59–66, IEEE/ACM, 2014.
Link
[bibtex]
Johanna Nellen, Erika Abraham, Xin Chen, Pieter Collins. Counterexample Generation for Hybrid Automata. Proc. of the 2nd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of CCIS, pages 88–106, Springer, 2014.
2013

[bibtex]
Sriram Sankaranarayanan, Xin Chen, Erika Abraham. Lyapunov Function Synthesis using Handelman Representations. The 9th IFAC Symposium on Nonlinear Control Systems (NOLCOS'13) (invited paper), , 2013.
DOI
[bibtex]
Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Fabio Somenzi, Erika Abraham. From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits. Proc. of the 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD'13), pages 662–669, IEEE, 2013.

[bibtex]
Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Erika Abraham. Empirical Flowpipe Constructions for Analog Circuits. Workshop on Frontiers in Analog CAD (FAC'13), , 2013.

[bibtex]
Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Flow*: An Analyzer for Non-Linear Hybrid Systems. Proc. of the 25th Int. Conf. on Computer Aided Verification (CAV'13), Volume 8044 of LNCS, pages 258–263, Springer-Verlag, 2013.
2012
Download
[bibtex]
Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. Proc. of the 33rd IEEE Real-Time Systems Symposium (RTSS'12), pages 183–192, IEEE Computer Society, 2012.

[bibtex]
Xin Chen, Erika Abraham, Sriram Sankaranarayanan. Taylor Model Over-approximations for Flowpipe/Guard Intersections. 5th Int. Workshop on Numerical Software Verification (NSV'12), , 2012.
2011
Download
[bibtex]
Xin Chen, Erika Abraham, Goran Frehse. Efficient Bounded Reachability Computation for Rectangular Automata. 5th Workshop on Reachability Problems (RP'11), Volume 6945 of LNCS, pages 139–152, Springer Berlin Heidelberg, 2011.
Download
[bibtex]
Xin Chen, Erika Abraham, Goran Frehse. Efficient Bounded Reachability Computation for Rectangular Automata. Technical report at RWTH Aachen University, Germany number AIB 2011-15, 2011.
Download
[bibtex]
Xin Chen, Erika Abraham. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. 13th Int. Conf. on Computer Aided Systems Theory (EUROCAST'11), Volume 6927 of LNCS, pages 535–542, Springer Berlin Heidelberg, 2011.