Pengyuan Lu

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 16

Top Topics

Simplifying Assumptions

Confidence Scores

Reinforcement Learning

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. 56 (8) (2024)
Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works. CoRR (2024)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS (2024)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR (2023)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA (2023)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR (2023)
Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS (2023)
Pengyuan Lu, Michele Caprio, Eric Eaton, Insup Lee
Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning. CoRR (2023)
Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR (2023)
Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS (2022)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. ICCPS (2022)
Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
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
FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE (2021)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. CoRR (2021)
Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer
RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE (2021)
Pengyuan Lu, Limin Zhang, B. Brian Park, Lu Feng
Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control. ITSC (2018)