Sign in
Pengyuan Lu
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 13
Top Topics
Risk Factors
Model Free Reinforcement Learning
Confidence Scores
Sensor Fusion
Top Venues
CoRR
CHASE
ACM Trans. Embed. Comput. Syst.
RTSS
</>
Publications
</>
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)