Peng Xu

According to our database, Peng Xu authored at least 7 papers between 2020 and 2024.

Collaborative distances:

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

2024

Optimal verification strategy for general development plans using a belief-based approach.

Aditya U. Kulkarni, Ashley Girod, Peng Xu, Alejandro Salado

Syst. Eng., January, 2024

2023

A UCB-Based Tree Search Approach to Joint Verification-Correction Strategy for Large-Scale Systems.

Peng Xu, Xinwei Deng, Alejandro Salado

IEEE Trans. Syst. Man Cybern. Syst., September, 2023

2022

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems.

Peng Xu, Alejandro Salado, Xinwei Deng

IEEE Trans. Syst. Man Cybern. Syst., 2022

Expert Opinion Fusion Framework Using Subjective Logic for Fault Diagnosis.

Peng Xu, Jin-Hee Cho, Alejandro Salado

IEEE Trans. Cybern., 2022

Modeling correction activities in the context of verification strategies.

Peng Xu, Alejandro Salado

Syst. Eng., 2022

2021

An evaluation of the optimality of frequent verification for vertically integrated systems.

Aditya U. Kulkarni, Alejandro Salado, Peng Xu, Christian Wernz

Syst. Eng., 2021

2020

A Reinforcement Learning Approach to Design Verification Strategies of Engineered Systems.

Peng Xu, Alejandro Salado, Guangrui Xie

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020