Folgen
Xin Chen
Titel
Zitiert von
Zitiert von
Jahr
Flow*: An Analyzer for Non-Linear Hybrid Systems
X Chen, E Abrahám, S Sankaranarayanan
Computer Aided Verification (CAV'13), 2013
7042013
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
2722012
ReachNN: Reachability Analysis of Neural-Network Controlled Systems
C Huang, J Fan, W Li, X Chen, Q Zhu
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 106:1 - 106:22, 2019
1972019
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
1892019
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems
J Fan, C Huang, X Chen, W Li, Q Zhu
International Symposium on Automated Technology for Verification and …, 2020
892020
Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
X Chen
RWTH Aachen Universiry, 2015
882015
Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
X Chen
882015
Decomposed Reachability Analysis for Nonlinear Systems
X Chen, S Sankaranarayanan
Real-Time Systems Symposium (RTSS), 2016
822016
Sherlock-A tool for verification of neural network feedback systems: demo abstract
S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
712019
Polar: A polynomial arithmetic framework for verifying neural-network controlled systems
C Huang, J Fan, X Chen, W Li, Q Zhu
International Symposium on Automated Technology for Verification and …, 2022
632022
Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations
L Zhang, X Chen, F Kong, AA Cardenas
2020 IEEE Real-Time Systems Symposium (RTSS), 205-217, 2020
542020
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
52*2014
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
502015
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
492015
Lyapunov Function Synthesis Using Handelman Representations
S Sankaranarayanan, X Chen, E Ábrahám
Nonlinear Control Systems 2013, 2013
492013
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
482015
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
H Yoon, Y Chou, X Chen, E Frew, S Sankaranarayanan
International Conference on Runtime Verification 11757, 349--367, 2019
322019
Model Predictive Real-Time Monitoring of Linear Systems
X Chen, S Sankaranarayanan
2017 IEEE Real-Time Systems Symposium (RTSS), 297-306, 2017
312017
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator
L Zhang, P Lu, F Kong, X Chen, O Sokolsky, I Lee
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-24, 2021
302021
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
X Chen, S Sankaranarayanan
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022
282022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20