Pengyuan Lu

According to our database, Pengyuan Lu authored at least 13 papers between 2018 and 2024.

Collaborative distances:

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

2024

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works.

Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee

ACM Comput. Surv., August, 2024

Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning.

Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Repairing Learning-Enabled Controllers While Preserving What Works.

Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning.

Pengyuan Lu, Michele Caprio, Eric Eaton, Insup Lee

CoRR, 2023

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning.

Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee

CoRR, 2023

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems.

Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Causal Repair of Learning-Enabled Cyber-Physical Systems.

Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks.

Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Confidence Composition for Monitors of Verification Assumptions.

Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.

Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee

ACM Trans. Embed. Comput. Syst., 2021

RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk.

Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data.

Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, Insup Lee

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

2018

Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control.

Pengyuan Lu, Limin Zhang, B. Brian Park, Lu Feng

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018