Xin Chen

发表

A Study of Model-Order Reduction Techniques for Verification

Yi Chou, Xin Chen, Sriram Sankaranarayanan, 2017, NSV@CAV.

Efficient Mobility-Aware Task Offloading for Vehicular Edge Computing Networks

Chao Yang, Xin Chen, Shengli Xie, 2019, IEEE Access.

Under-approximate flowpipes for non-linear continuous systems

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

Efficient Bounded Reachability Computation for Rectangular Automata

Xin Chen, Erika Ábrahám, Goran Frehse, 2011, RP.

Flow*: An Analyzer for Non-linear Hybrid Systems

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, CAV.

Dynamic Measurement System Modeling with Machine Learning Algorithms

Xin Chen, Guoqing Ding, Changqiao Wu, 2018 .

Current Challenges in the Verification of Hybrid Systems

Xin Chen, Sriram Sankaranarayanan, Stefan Kowalewski, 2015, CyPhy.

Research and Implementation of Animal Experience Management System Based on Workflow

Xin Chen, Ying Wang, Qian Qian Wang, 2014, CIT 2014.

Design of rigid motion and elastic deformation parallel driven based macro-micro compounded positioning stage

Xin Chen, Zhijun Yang, Youdun Bai, 2019 .

Efficient Task Offloading and Resource Allocation for Edge Computing-Based Smart Grid Networks

Xin Chen, Shengli Xie, Weifeng Zhong, 2019, ICC 2019 - 2019 IEEE International Conference on Communications (ICC).

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Matthias Althoff, Xin Chen, Niklas Kochdumper, 2018, ARCH@ADHS.

Model Predictive Real-Time Monitoring of Linear Systems

Xin Chen, Sriram Sankaranarayanan, S. Sankaranarayanan, 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).

Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems

Xin Chen, Erika Ábrahám, E. Ábrahám, 2011, EUROCAST.

Carbody structural lightweighting based on implicit parameterized model

Xin Chen, Dengfeng Wang, Chen Xie, 2014 .

Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2014, IMA J. Math. Control. Inf..

Lyapunov Function Synthesis Using Handelman Representations

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, NOLCOS.

3-D Spatial Spectrum Fusion Indoor Localization Algorithm Based on CSI-UCA Smoothing Technique

Di He, Xin Chen, Wenxian Yu, 2018, IEEE Access.

A Generic Method to Generate AS-Curve Profile in Commercial Motion Controller

Xin Chen, Zhijun Yang, Bai Youdun, 2017 .

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics

Matthias Althoff, Xin Chen, Fabian Immler, 2017, ARCH@CPSWeek.

Adding-point strategy for reduced-order hypersonic aerothermodynamics modeling based on fuzzy clustering

Xin Chen, Li Liu, Si-Da Zhou, 2016 .

Decomposed Reachability Analysis for Nonlinear Systems

Xin Chen, Sriram Sankaranarayanan, S. Sankaranarayanan, 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

Flow* 1.2: More Effective to Play with Hybrid Systems

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2015, ARCH@CPSWeek.

Research and Realization of Custom Form Realization Method Based on HTML and XML Technology

Xin Chen, Ying Wang, Qian Qian Wang, 2014, CIT 2014.

Compositional Relational Abstraction for Nonlinear Hybrid Systems

Xin Chen, Sriram Sankaranarayanan, Sergio Mover, 2017, ACM Trans. Embed. Comput. Syst..

From statistical model checking to statistical model inference: Characterizing the effect of process variations in analog circuits

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

A Benchmark Suite for Hybrid Systems Reachability Analysis

Xin Chen, Stefan Kowalewski, Erika Ábrahám, 2015, NFM.

Formal Verification of a Multi-Basal Insulin Infusion Control Model

Xin Chen, Sriram Sankaranarayanan, Souradeep Dutta, 2017, ARCH@CPSWeek.

Anime Sketch Coloring with Swish-Gated Residual U-Net

Xin Chen, Gang Liu, Yanzhong Hu, 2018, Communications in Computer and Information Science.

Counterexample Generation for Hybrid Automata

Xin Chen, Erika Ábrahám, Pieter Collins, 2013, FTSCS.

Reachability analysis of non-linear hybrid systems using Taylor Models

Xin Chen, Xin Chen, 2015 .

Study on interferometric combination for multi-temporal InSAR optimization

Xin Chen, Wei Hong, Xu Wang, 2014, Asia-Pacific Environmental Remote Sensing.

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Xin Chen, Christian Schilling, 2017, ARCH@CPSWeek.

Statistical Characterization of Novel 3D Cluster-Based MIMO Vehicle-to-Vehicle Models for Urban Street Scattering Environments

Xin Chen, Weidong Xiang, Yanzan Sun, 2018 .

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator

Xin Chen, Fanxin Kong, Oleg Sokolsky, 2021, ACM Trans. Embed. Comput. Syst..

Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability

Xin Chen, Taylor T. Johnson, Stanley Bak, 2020, AIAA Scitech 2021 Forum.

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems pdf

Wenchao Li, Xin Chen, Chao Huang, 2021, ArXiv.