In 2010, 20.3 million vehicles were recalled in the United States. Increasingly, these recalls are the result of buggy software controlling safety-critical functionality. At PRECISE we focus on designing next-generation programmable automobiles that will enable remote diagnostics, remote software updates, and traffic congestion management.

Follow

Papers from 2016

PDF

Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions, Deepak Gangadharan, Jin Hyun Kim, Insup Lee, Oleg Sokolsky, BaekGyu Kim, and Shin'ichi Shiraishi

PDF

APEX: Autonomous Vehicle Plan Verification and Execution, Matthew O'Kelly, Houssam Abbas, Sicun Gao, Shin'ichi Shiraishi, Shinpei Kato, and Rahul Mangharam

Papers from 2015

PDF

Robust Localization Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George Pappas

PDF

Robust Estimation Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee

PDF

Verified ROS-Based Deployment of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, and Insup Lee

PDF

Sensor Attack Detection in the Presence of Transient Faults, Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee

Papers from 2014

PDF

Attack-Resilient Sensor Fusion, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

Resilient Multidimensional Sensor Fusion Using Measurement History, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

Robustness of Attack-Resilient State Estimators, Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George Pappas

Papers from 2013

PDF

A Trust Model for Vehicular Network-Based Incident Reports, Cong Liao, Jian Chang, Insup Lee, and Krishna K. Venkatasubramanian

PDF

Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract, Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee

PDF

Resilient Parameter-Invariant Control With Application to Vehicle Cruise Control, James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup Lee

Papers from 2010

PDF

Modeling Buffers With Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee