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.
Papers from 2018
Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges, Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, and Shinichi Shiraishi
Papers from 2017
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles, Houssam Abbas, Matthew O'Kelly, Alena Rodionova, and Rahul Mangharam
MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology, Rahul Mangharam, Megan Ryerson, Steve Viscelli, Hamsa Balakrishnan, Alexander Bayen, Surabh Amin, Leslie Richards, Leo Bagley, and George Pappas
Computer-Aided Design for Safe Autonomous Vehicles, Matthew O'Kelly, Houssam Abbas, and Rahul Mangharam
Papers from 2016
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
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
Robust Localization Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George Pappas
Robust Estimation Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee
Verified ROS-Based Deployment of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, and Insup Lee
Sensor Attack Detection in the Presence of Transient Faults, Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee
Papers from 2014
Attack-Resilient Sensor Fusion, Radoslav Ivanov, Miroslav Pajic, and Insup Lee
Resilient Multidimensional Sensor Fusion Using Measurement History, Radoslav Ivanov, Miroslav Pajic, and Insup Lee
Robustness of Attack-Resilient State Estimators, Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George Pappas
Papers from 2013
A Trust Model for Vehicular Network-Based Incident Reports, Cong Liao, Jian Chang, Insup Lee, and Krishna K. Venkatasubramanian
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
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
Modeling Buffers With Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee