Xin Chen (陈鑫)

 

I moved to CU Boulder, please visit my new home page.



Personal Info about Xin Chen

E-Mail:

xin.chen AT cs.rwth-aachen.de

Phone:

+49-241/80-21244

Fax:

+49-241/80-22243

Postal Address:

Xin Chen

Lehrstuhl für Informatik 2

Theory of Hybrid Systems

RWTH Aachen University

D-52056 Aachen

Germany

Visiting Address:

Room 4227

 

Ahornstraße 55

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
  • ...


Committee Member

HSCC 2014 RE

 

 


Status of the tool Flow*


The current version of Flow* is 1.2.0 which is released in Nov. 2013. Currently, the tool supports the hybrid system with

  • non-linear ODEs with uncertain inputs,
  • mode invariants and jump guards defined by polynomial constraints,
  • jump resets defined by polynomial mappings with uncertainties,
  • initial sets defined by Taylor models.

 

The homepage of the tool is here. Besides, we also set up a case study page for the continuous and hybrid systems (link).

 

A bug report of Flow* is always welcomed. Please drop me an email if you meet any difficulty in using the tool.


Teaching Assistance

Summer 2013

Winter 2012/2013

Summer 2011

Summer 2010

Winter 2009/2010

Summer 2009


Selected Publications

  • 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 (invited paper).

        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.

     

     

     


    Miscellaneous

    I am primarily interested in the following computer science and control conferences.

    International Conference on Computer Aided Verification (CAV)

    IEEE Real-Time Systems Symposium (RTSS)

    Hybrid Systems: Computation and Control (HSCC)

    International Conference on Computer-Aided Design (ICCAD)

    International Conference on Cyber-Physical Systems (ICCPS)

    IEEE Conference on Decision and Control (CDC)

    IEEE International Conference on Robotics and Automation (ICRA)