Model Predictive Real-Time Monitoring of Linear Systems, Xin Chen, Sriram Sankaranarayanan
Computer Science Faculty Publications

Compositional Relational Abstraction for Nonlinear Hybrid Systems, Xin Chen, Sergio Mover, Sriram Sankaranarayanan
Computer Science Faculty Publications

Decomposed Reachability Analysis for Nonlinear Systems, Xin Chen, Sriram Sankaranarayanan
Computer Science Faculty Publications

Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis, Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
Computer Science Faculty Publications

A Benchmark Suite for Hybrid Systems Reachability Analysis, Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
Computer Science Faculty Publications