Xin Chen
TítuloCitado porAño
Flow*: An Analyzer for Non-Linear Hybrid Systems
X Chen, E Abrahám, S Sankaranarayanan
Computer Aided Verification (CAV'13), 2013
3572013
Taylor model flowpipe construction for non-linear hybrid systems
X Chen, E Abraham, S Sankaranarayanan
Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, 183-192, 2012
1722012
A benchmark suite for hybrid systems reachability analysis
X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski
NASA Formal Methods Symposium, 408-414, 2015
372015
Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
X Chen
RWTH Aachen Universiry, 2015
372015
Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
X Chen
372015
Decomposed Reachability Analysis for Nonlinear Systems
X Chen, S Sankaranarayanan
Real-Time Systems Symposium (RTSS), 2016
362016
Current challenges in the verification of hybrid systems
S Schupp, E Ábrahám, X Chen, IB Makhlouf, G Frehse, ...
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015
352015
Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis
MAB Sassi, S Sankaranarayanan, X Chen, E Ábrahám
IMA Journal of Mathematical Control and Information, dnv003, 2015
312015
Lyapunov Function Synthesis Using Handelman Representations
S Sankaranarayanan, X Chen, E Ábrahám
Nonlinear Control Systems 2013, 2013
242013
Under-approximate flowpipes for non-linear continuous systems
X Chen, S Sankaranarayanan, E Abrahám
Proceedings of the 14th Conference on Formal Methods in Computer-Aided …, 2014
19*2014
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
M Althoff, S Bak, D Cattaruzza, X Chen, G Frehse, R Ray, S Schupp
4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), 2017
172017
Modeling and Analysis of Hybrid Systems Lecture Notes
E Ábrahám, X Chen
RWTH Aachen University, 2012
17*2012
Reachability analysis for neural feedback systems using regressive polynomial rule inference
S Dutta, X Chen, S Sankaranarayanan
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
132019
Choice of directions for the approximation of reachable sets for hybrid systems
X Chen, E Ábrahám
Computer Aided Systems Theory–EUROCAST 2011, 535-542, 2011
112011
Model Predictive Real-Time Monitoring of Linear Systems
X Chen, S Sankaranarayanan
2017 IEEE Real-Time Systems Symposium (RTSS), 297-306, 2017
102017
From statistical model checking to statistical model inference: Characterizing the effect of process variations in analog circuits
Y Zhang, S Sankaranarayanan, F Somenzi, X Chen, E Abraham
Proceedings of the International Conference on Computer-Aided Design, 662-669, 2013
102013
Game characterizations of process equivalences
X Chen, Y Deng
Programming Languages and Systems, 107-121, 2008
102008
Flow* 1.2: More Effective to Play with Hybrid Systems
X Chen, S Sankaranarayanan, E Abrahám
Applied Verification for Continuous and Hybrid Systems, 2015
82015
Efficient bounded reachability computation for rectangular automata
X Chen, E Ábrahám, G Frehse
International Workshop on Reachability Problems, 139-152, 2011
82011
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ...
72018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20