Pei Zhang

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 5

Top Topics

Architectural Models

Industrial Strength

Hardware And Software

Top Venues

Publications

Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang
R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. CAV (3) (2023)
Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. FORMATS (2023)
Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. FORMATS (2020)
Pei Zhang, Joseph Zambreno, Phillip H. Jones
An embedded scalable linear model predictive hardware-based controller using ADMM. ASAP (2017)
Pei Zhang, Aaron Mills, Joseph Zambreno, Phillip H. Jones
The design and integration of a software configurable and parallelized coprocessor architecture for LQR control. J. Parallel Distributed Comput. 106 (2017)
Pei Zhang, Aaron Mills, Joseph Zambreno, Phillip H. Jones
A software configurable and parallelized coprocessor architecture for LQR control. ReConFig (2015)
Aaron Mills, Pei Zhang, Sudhanshu Vyas, Joseph Zambreno, Phillip H. Jones
A software configurable coprocessor-based state-space controller. FPL (2015)