Biblio
Filters: Keyword is 1505701 [Clear All Filters]
A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.
.
Submitted. to appear
Automatic Verification of Finite Precision Implementations of Linear Controllers. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. :153–169.
.
2017.
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Transactions on Cyber-Physical Systems. 1:15:1–15:23.
.
2017.
Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 4:106-117.
.
2017.
Towards Plug-n-Play Numerical Control for Reconfigurable Manufacturing Systems. 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). :1-8.
.
2016.
A Real-time Digital-microfluidic Platform for Epigenetics. Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems. :10:1–10:10.
.
2016.
Making the Internet-of-things a Reality: From Smart Models, Sensing and Actuation to Energy-efficient Architectures. Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis. :25:1–25:10.
.
2016.
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators. IEEE Control Systems. 37:66-81.
.
2017.
Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Transactions on Control of Network Systems. 4:82-92.
.
2017.
Estimation of Blood Oxygen Content Using Context-Aware Filtering. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
.
2016.
Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
.
2016.
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 15:21:1–21:24.
.
2016.
Robust Localization Using Context-Aware Filtering. Workshop on Multi VIew Geometry in Robotics (MVIGRO), in conjunction with RSS.
.
2015.
Robust estimation using context-aware filtering. 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton). :590-597.
.
2015.
Attack-Resilient State Estimation in the Presence of Noise. 54th IEEE Annual Conference on Decision and Control (CDC). :5827–5832.
.
2015.
Design Methodologies for Securing Cyber-physical Systems. Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis. :30–36.
.
2015.
Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.
.
2015.
Automatic Verification of Linear Controller Software. Proceedings of the 12th International Conference on Embedded Software. :217–226.
.
2015.
Network Scheduling for Secure Cyber-Physical Systems. IEEE Real-Time Systems Symposium (RTSS).
.
2017. to appear
Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst.. 16:127:1–127:22.
.
2017.
Security-Aware Scheduling of Embedded Control Tasks. ACM Trans. Embed. Comput. Syst.. 16:188:1–188:21.
.
2017.
Relaxing Integrity Requirements for Resilient Control Systems. 56th IEEE Conference on Decision and Control (CDC).
.
2017.
Cyber-Physical Manufacturing Systems (CPMS). Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :199–214.
.
2017.
Cyber Physical Production Systems–-An IEC 61499 Perspective. Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :27–39.
.
2017.