Follow

Papers from 2016

PDF

Design Principles for a Family of Direct-Drive Legged Robots, Gavin Kenneally, Avik De, and D. E. Koditschek

Papers from 2015

PDF

Controller Synthesis for Autonomous Systems Interacting With Human Operators, Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu

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

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical, Radoslav Ivanov, Miroslav Pajic, 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

Scalable Scheduling of Energy Control Systems, Truong X. Nghiem and Rahul Mangharam

PDF

Automatic Verification of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky

PDF

Attack-Resilient State Estimation in the Presence of Noise, Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas

PDF

Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong Nghiem, Joesph Deveitti, and Rahul Mangharam

PDF

A drift-diffusion model for robotic obstacle avoidance, Paul B. Reverdy, B. Deniz Ilhan, and Daniel E. Koditschek

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

Robust Model Predictive Control with Anytime Estimation, Truong X Nghiem, Yash Vardhan Pant, and Rahul Mangharam

PDF

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

PDF

Architecture-Centric Software Development for Cyber-Physical Systems, Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee

PDF

Attack-Resilient Minimum Mean-Squared Error Estimation, James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup Lee

PDF

Towards Assurance Cases for Resilient Control Systems, James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee

Papers from 2013

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

Papers from 2012

PDF

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

PDF

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

PDF

Robust Stability of Multi-Hop Networks, Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl H. Johansson, and George J. Pappas

PDF

Specification and Analysis of Network Resource Requirements of Control Systems, Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur