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
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
- Lecture Modeling and Analysis of Hybrid Systems
- Seminar Satisfiability Checking
Winter 2012/2013
- Proseminar Algorithms and Tools for Verification
Summer 2011
- Proseminar Real-Time Systems
- Lecture Modeling and Analysis of Hybrid Systems
Summer 2010
- Proseminar Real Time Systems
Winter 2009/2010
- Seminar Satisfiability Checking
Summer 2009
Selected Publications
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.
Flow*: An Analyzer for Non-Linear Hybrid Systems.
Computer Aided Verification (CAV?13). 2013.
Lyapunov Function Synthesis using Handelman Representations (invited paper).
IFAC Symposium on Nonlinear Control Systems (NOLCOS'13). 2013.
Empirical Flowpipe Constructions for Analog Circuits (abstract).
Frontiers in Analog CAD (FAC?13). 2013.
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
Real-Time Systems Symposium (RTSS?12). 2012.
Efficient Bounded Reachability Computation for Rectangular Automata.
Reachability Problems (RP'11). 2011.
Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems.
Computer Aided Systems Theory (EUROCAST?11). 2011.
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.