Matrix approach to boolean calculus. - Daizhan Cheng; Yin Zhao; Xiangru Xu (CDC/ECC, 2011)

Matrix approach to stabilizability of deterministic finite automata. - Xiangru Xu; Yanqiong Zhang; Yiguang Hong (ACC, 2013)

Bi-decomposition of multi-valued logical functions and its applications. - Daizhan Cheng; Xiangru Xu (Autom., 2013)

Solvability and control design for synchronization of Boolean networks. - Xiangru Xu; Yiguang Hong (J. Syst. Sci. Complex., 2013)

Matrix Approach to Model Matching of Asynchronous Sequential Machines. - Xiangru Xu; Yiguang Hong (IEEE Trans. Autom. Control., 2013)

Leader-following consensus of multi-agent systems over finite fields. - Xiangru Xu; Yiguang Hong (CDC, 2014)

Robustness of Control Barrier Functions for Safety Critical Control. - Xiangru Xu; Paulo Tabuada; Jessy W. Grizzle; Aaron D. Ames (ADHS, 2015)

Control barrier function based quadratic programs with application to bipedal robotic walking. - Shao-Chen Hsu; Xiangru Xu; Aaron D. Ames (ACC, 2015)

Passivity degradation in discrete control implementations: An approximate bisimulation approach. - Xiangru Xu; Necmiye Ozay; Vijay Gupta 001 (CDC, 2015)

Control sharing barrier functions with application to constrained control. - Xiangru Xu (CDC, 2016)

Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems. - Aaron D. Ames; Xiangru Xu; Jessy W. Grizzle; Paulo Tabuada (CoRR, 2016)

Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds. - Xiangru Xu; Thomas Waters; Daniel Pickem; Paul Glotfelter; Magnus Egerstedt; Paulo Tabuada; Jessy W. Grizzle; Aaron D. Ames (CCTA, 2017)

Bounds of passivity indices via feedforward/feedback passivation. - Xiangru Xu (CDC, 2017)

Control Barrier Function Based Quadratic Programs for Safety Critical Systems. - Aaron D. Ames; Xiangru Xu; Jessy W. Grizzle; Paulo Tabuada (IEEE Trans. Autom. Control., 2017)

Observer-Based Output Feedback Control Design for Systems with Incrementally Conic Nonlinearities. - Xiangru Xu; Behçet Açikmese; Martin J. Corless; Hossein Sartipizadeh (ACC, 2018)

Periodic Event-Triggered Control Design for Incrementally Conic Nonlinear Systems. - Xiangru Xu; Adam M. Tahir; Behçet Açikmese (CDC, 2018)

Constrained control of input-output linearizable systems using control sharing barrier functions. - Xiangru Xu (Autom., 2018)

Robust Stabilization of Nonlinear Systems Using Periodic Event-triggered Control. - Xiangru Xu; Adam M. Tahir; Behçet Açikmese (CoRR, 2018)

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. - Xiangru Xu; Jessy W. Grizzle; Paulo Tabuada; Aaron D. Ames (IEEE Trans Autom. Sci. Eng., 2018)

Self-Triggered Interval Observers for Lipschitz Nonlinear Systems. - Adam M. Tahir; Xiangru Xu; Behçet Açikmese (ACC, 2019)

Interval Observer Synthesis for Polytopic Systems and Conic Systems. - Adam M. Tahir; Xiangru Xu; Behçet Açikmese (CDC, 2019)

Passivity-based analysis of sampled and quantized control implementations. - Xiangru Xu; Necmiye Ozay; Vijay Gupta 001 (Autom., 2020)

Finding Trajectories with High Asymptotic Growth Rate for Linear Constrained Switching Systems via a Lift Approach. - Yuhao Zhang 005; Xiangru Xu (CoRR, 2020)

Approximation of the Constrained Joint Spectral Radius via Algebraic Lifting. - Xiangru Xu; Behçet Açikmese (IEEE Trans. Autom. Control., 2021)

Observer-Based Controllers for Incrementally Quadratic Nonlinear Systems With Disturbances. - Xiangru Xu; Behçet Açikmese; Martin J. Corless (IEEE Trans. Autom. Control., 2021)

Observer-based Control Barrier Functions for Safety Critical Systems. - Yujie Wang; Xiangru Xu (ACC, 2022)

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties. - Yuhao Zhang 005; Sequoyah Walters; Xiangru Xu (ACC, 2022)

Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes. - Yuhao Zhang 005; Xiangru Xu (CDC, 2022)

Small-gain theorem for safety verification of interconnected systems. - Ziliang Lyu; Xiangru Xu; Yiguang Hong (Autom., 2022)

A software toolkit and hardware platform for investigating and comparing robot autonomy algorithms in simulation and reality. - Asher Elmquist; Aaron Young; Ishaan Mahajan; Kyle Fahey; Abhiraj Dashora; Sriram Ashokkumar; Stefan Caldararu; Victor Freire; Xiangru Xu; Radu Serban; Dan Negrut (CoRR, 2022)

ART/ATK: A research platform for assessing and mitigating the sim-to-real gap in robotics and autonomous vehicle engineering. - Asher Elmquist; Aaron Young; Thomas Hansen; Sriram Ashokkumar; Stefan Caldararu; Abhiraj Dashora; Ishaan Mahajan; Harry Zhang; Luning Fang; He Shen; Xiangru Xu; Radu Serban; et al. (CoRR, 2022)

Optimal Control for Kinematic Bicycle Model With Continuous-Time Safety Guarantees: A Sequential Second-Order Cone Programming Approach. - Victor Freire; Xiangru Xu (IEEE Robotics Autom. Lett., 2022)

Disturbance Observer-based Robust Control Barrier Functions. - Yujie Wang; Xiangru Xu (ACC, 2023)

Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes. - Yuhao Zhang 005; Xiangru Xu (ACC, 2023)

Safe Control of Euler-Lagrange Systems with Limited Model Information. - Yujie Wang; Xiangru Xu (CDC, 2023)

Using simulation to design an MPC policy for field navigation using GPS sensing. - Harry Zhang; Stefan Caldararu; Ishaan Mahajan; Shouvik Chatterjee; Thomas Hansen; Abhiraj Dashora; Sriram Ashokkumar; Luning Fang; Xiangru Xu; Shen He; Dan Negrut (CoRR, 2023)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear System Models. - Hang Zhang; Yuhao Zhang 005; Xiangru Xu (CoRR, 2023)

Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties. - Yuhao Zhang 005; Xiangru Xu (CoRR, 2023)

Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. - Yuhao Zhang 005; Hang Zhang; Xiangru Xu (IEEE Control. Syst. Lett., 2023)

Flatness-Based Quadcopter Trajectory Planning and Tracking With Continuous-Time Safety Guarantees. - Victor Freire; Xiangru Xu (IEEE Trans. Control. Syst. Technol., 2023)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models. - Hang Zhang; Yuhao Zhang 005; Xiangru Xu (ACC, 2024)

Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency. - Yuhao Zhang 005; Hang Zhang; Xiangru Xu (IEEE Control. Syst. Lett., 2024)

Adaptive safety-critical control for a class of nonlinear systems with parametric uncertainties: A control barrier function approach. - Yujie Wang; Xiangru Xu (Syst. Control. Lett., 2024)

Small-Gain Theorem for Safety Verification Under High-Relative-Degree Constraints. - Ziliang Lyu; Xiangru Xu; Yiguang Hong (IEEE Trans. Autom. Control., 2024)

Immersion and Invariance-Based Disturbance Observer and Its Application to Safe Control. - Yujie Wang; Xiangru Xu (IEEE Trans. Autom. Control., 2024)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes. - Yuhao Zhang 005; Xiangru Xu (ACC, 2025)

On converse zeroing barrier functions. - Ziliang Lyu; Xiangru Xu; Yiguang Hong; Lihua Xie 001 (Autom., 2025)

Proxy control barrier functions: Integrating barrier-based and Lyapunov-based safety-critical control design. - Yujie Wang; Xiangru Xu (Autom., 2025)

Robust stability of neural network control systems with interval matrix uncertainties. - Yuhao Zhang 005; Xiangru Xu (Autom., 2025)