| SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems |
Peer-reviewed Publications:
Automatic Verification of Finite Precision Implementations of Linear Controllers. Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee. To appear in Proceedings of 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Uppsala, Sweden, April 2017.
Automatic Verification of Linear Controller Software. Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky. In Proceedings of International Conference on Embedded Software (EMSOFT 2015), Amsterdam, the Netherlands, October 2015.
Robust Estimation Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee. In Proceedings of 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, IL, September/October 2015.
Robust Localization Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George Pappas. In Proceedings of Workshop on Multi-View Geometry in Robotics (MVIGRO 2015) (in conjunction with the 2015 Robotics: Science and Systems Conference (RSS 2015)), Rome, Italy, July 2015.
Verified ROS-Based Deployment of Platform-Independent Control Systems. Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, and Insup Lee. In Proceedings of 7th NASA Formal Methods Symposium (NFM 2015), Pasadena, CA, April 2015.
Sensor attack detection in the presence of transient faults. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee. In Proceedings of 6th International Conference on Cyber-Physical Systems (ICCPS 2015), Seattle, WA, April 2015.
Architecture-Centric Software Development for Cyber-Physical Systems. Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee. In Proceedings of First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014), New Delhi, India, October 2014.
Towards Assurance Cases for Resilient Control Systems. James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee. In Proceedings of 2nd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014), Hong Kong, China, August 2014.
Attack-Resilient Minimum Mean-Squared Error Estimation. James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup Lee. In Proceedings of 2014 American Control Conference (ACC 2014), Portland, Oregon, USA, June 2014.
Robustness of Attack-resilient State Estimators. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George Pappas. In Proceedings of 5th International Conference on Cyber-Physical Systems (ICCPS 2014), Berlin, Germany, April 2014. Best paper award at ICCPS 2014
Resilient Multidimensional Sensor Fusion using Measurement History. Radoslav Ivanov, Miroslav Pajic, Insup Lee. In Proceedings of 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS 2014), Berlin, Germany, April 2014.
Attack-Resilient Sensor Fusion. Radoslav Ivanov, Miroslav Pajic, Insup Lee. To appear in Design, Automation and Test in Europe (DATE 2014), Dresden, Germany, March 2014.
Stochastic Game Approach for Replay Attack Detection. Miao Fei, Miroslav Pajic, and George J. Pappas. To appear in 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, December 2013.
Towards Synthesis of Platform-aware Attack-Resilient Control Systems. Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee. In 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, Pennsylvania, April 2013.
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup Lee. In Workshop on Control of Cyber-Physical Systems, Johns Hopkins University, Baltimore, MD, March 2013.
Demos:
Synthesis of Platform-aware Attack-Resilient Vehicular Systems. Miroslav Pajic, Nicola Bezzo, James Weimer, Oleg Sokolsky, Nathan Michael, George J. Pappas, Paulo Tabuada, and Insup Lee. Demonstration at the 4th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS, CPSWEEK 2013), Philadelphia, Pennsylvania, April 2013.