Papers from 2019
Technical Report: Anytime Computation and Control for Autonomous Systems, Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, and Rahul Mangharam
Papers from 2018
Joint Rate Control and Demand Balancing for Electric Vehicle Charging, Fanxin Kong, Xue Liu, and Insup Lee
Papers from 2016
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical, Radoslav Ivanov, Miroslav Pajic, and Insup Lee
Design Principles for a Family of Direct-Drive Legged Robots, Gavin Kenneally, Avik De, and Daniel E. Koditschek
Papers from 2015
Controller Synthesis for Autonomous Systems Interacting With Human Operators, Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu
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
Scalable Scheduling of Energy Control Systems, Truong X. Nghiem and Rahul Mangharam
Automatic Verification of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky
Attack-Resilient State Estimation in the Presence of Noise, Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas
Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong Nghiem, Joesph Deveitti, and Rahul Mangharam
A drift-diffusion model for robotic obstacle avoidance, Paul B. Reverdy, B. Deniz Ilhan, and Daniel E. Koditschek
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
Robust Model Predictive Control with Anytime Estimation, Truong X Nghiem, Yash Vardhan Pant, and Rahul Mangharam
Robustness of Attack-Resilient State Estimators, Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George Pappas
Architecture-Centric Software Development for Cyber-Physical Systems, Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee
Attack-Resilient Minimum Mean-Squared Error Estimation, James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup Lee
Towards Assurance Cases for Resilient Control Systems, James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee
Papers from 2013
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
Papers from 2012
HMM-Based Characterization of Channel Behavior for Networked Control Systems, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, and Insup Lee
Papers from 2011
Reputation-Based Networked Control With Data-Corrupting Channels, Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, and George Pappas
Papers from 2009
Robust Stability of Multi-Hop Networks, Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl H. Johansson, and George J. Pappas
Specification and Analysis of Network Resource Requirements of Control Systems, Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur