Pei Zhang

According to our database, Pei Zhang authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.

Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2020

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2.

Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2017

The design and integration of a software configurable and parallelized coprocessor architecture for LQR control.

Pei Zhang, Aaron Mills, Joseph Zambreno, Phillip H. Jones

J. Parallel Distributed Comput., 2017

An embedded scalable linear model predictive hardware-based controller using ADMM.

Pei Zhang, Joseph Zambreno, Phillip H. Jones

Proceedings of the 28th IEEE International Conference on Application-specific Systems, 2017

2015

A software configurable and parallelized coprocessor architecture for LQR control.

Pei Zhang, Aaron Mills, Joseph Zambreno, Phillip H. Jones

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2015

A software configurable coprocessor-based state-space controller.

Aaron Mills, Pei Zhang, Sudhanshu Vyas, Joseph Zambreno, Phillip H. Jones

Proceedings of the 25th International Conference on Field Programmable Logic and Applications, 2015