Xin Chen

I am a PhD student in the group Theory of Hybrid Systems. My primary research interest lies in studying the behavior of hybrid dynamical systems, such as the reachability or stability analysis. I am also maintaining the tool Flow* which is a Taylor model-based analyzer for non-linear hybrid systems.

Email
xin.chen at cs.rwth-aachen.de
Phone
+49 241 80 21244
Address
Room 4227
Ahornstraße 55
D-52074 Aachen

Research Interests

Currently I am working on a class of cyber-physical systems which can be modelized by hybrid automata, especially for the ones with non-linear continuous dynamics. My primal interests are as follows:

  • Theory of ordinary differential equations
  • Polynomial approximations for continuous functions
  • Computational geometry
  • Convex optimization
  • Statistical model checking on cyber-physical systems

Besides, I am also interested in

  • SAT checking
  • Mathematical logic and automata theory
  • Game theory
  • …

Program Commitee

ARCH 2015, HSCC RE 2014

Selected Publications

  • Xin Chen, Sriram Sankaranarayanan and Erika Abraham.
    Under-approximate Flowpipes for Non-linear Continuous Systems.
    Formal Methods in Computer-Aided Design (FMCAD’14). 2014.
  • Johanna Nellen, Erika Abraham, Xin Chen and Pieter Collins.
    Counterexample Generation for Hybrid Automata.
    Formal Techniques for Safety-Critical Systems (FTSCS’13), 2013.
  • Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen and Erika Abraham.
    From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits.
    International Conference on Computer-Aided Design (ICCAD’13). 2013.
  • Xin Chen, Erika Abraham and Sriram Sankaranarayanan.
    Flow*: An Analyzer for Non-Linear Hybrid Systems.
    Computer Aided Verification (CAV’13). 2013.
  • Sriram Sankaranarayanan, Xin Chen and Erika Abraham.
    Lyapunov Function Synthesis using Handelman Representations.
    IFAC Symposium on Nonlinear Control Systems (NOLCOS’13). 2013.
  • Yan Zhang, Xin Chen, Sriram Sankaranarayanan and Erika Abraham.
    Empirical Flowpipe Constructions for Analog Circuits (abstract).
    Frontiers in Analog CAD (FAC’13). 2013.
  • Xin Chen, Erika Abraham and Sriram Sankaranarayanan.
    Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
    Real-Time Systems Symposium (RTSS’12). 2012.
  • Xin Chen, Erika Abraham and Goran Frehse.
    Efficient Bounded Reachability Computation for Rectangular Automata.
    Reachability Problems (RP’11). 2011.
  • Xin Chen and Erika Abraham.
    Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems.
    Computer Aided Systems Theory (EUROCAST’11). 2011.
  • Xin Chen and Yuxin Deng.
    Game Characterizations of Process Equivalences.
    Asian Symposium on Programming Languages and Systems (APLAS’08). 2008.