A software configurable coprocessor-based state-space controller. - Aaron Mills; Pei Zhang 009; Sudhanshu Vyas; Joseph Zambreno; Phillip H. Jones (FPL, 2015)

A software configurable and parallelized coprocessor architecture for LQR control. - Pei Zhang 009; Aaron Mills; Joseph Zambreno; Phillip H. Jones (ReConFig, 2015)

An embedded scalable linear model predictive hardware-based controller using ADMM. - Pei Zhang 009; Joseph Zambreno; Phillip H. Jones (ASAP, 2017)

The design and integration of a software configurable and parallelized coprocessor architecture for LQR control. - Pei Zhang 009; Aaron Mills; Joseph Zambreno; Phillip H. Jones (J. Parallel Distributed Comput., 2017)

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. - Brian Kempa; Pei Zhang 009; Phillip H. Jones; Joseph Zambreno; Kristin Yvonne Rozier (FORMATS, 2020)

R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. - Chris Johannsen; Phillip H. Jones; Brian Kempa; Kristin Yvonne Rozier; Pei Zhang 009 (CAV (3), 2023)

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. - Pei Zhang 009; Alexis A. Aurandt; Rohit Dureja; Phillip H. Jones; Kristin Yvonne Rozier (FORMATS, 2023)