Visible to the public Biblio

Filters: First Letter Of Last Name is I  [Clear All Filters]
2018-05-23
O. Sokolsky, I. Lee, M. Heimdahl.  2011.  Challenges in the regulatory approval of medical cyber-physical systems. Proceedings of the 11$^{th}$ International Conference on Embedded Software EMSOFT '11). :227–232.
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
Pajic, M., Zhihao Jiang, Insup Lee, Sokolsky, O., Mangharam, R..  2012.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.
I. Lee, O. Sokolsky, S. Chen, John Hatcliff, E. Jee, B. Kim, A. King, M. Fortino-Mullen, S. Park, A. Roederer et al..  2012.  Challenges and Research Directions in Medical Cyber-Physical Systems. Proceedings of the {IEEE} (special issue on Cyber-Physical Systems). 100:75–90.
2018-05-17
D. Orol, J. Das, L. Vacek, I. Orr, M. Paret, C. J. Taylor, V. Kumar.  2017.  An aerial phytobiopsy system: Design, evaluation, and lessons learned. 2017 International Conference on Unmanned Aircraft Systems (ICUAS). :188-195.
Greenwood, Garrison, Gallagher, John, Matson, Eric.  2015.  Cyber-Physical Systems: The Next Generation of Evolvable Hardware Research and Applications. Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1. :285–296.

Since the late 1990s the sales of processors targeted for embedded systems has exceeded sales for the PC market. Some embedded systems tightly link the computing resources to the physical world. Such systems are called cyber-physical systems. Autonomous cyber-physical systems often have safety-critical missions, which means they must be fault tolerant. Unfortunately fault recovery options are limited; adapting the physical system behavior may be the only viable option. Consequently, autonomous cyber-physical systems are a class of adaptive systems. The evolvable hardware field has developed a number of techniques that should prove to be useful for designing cyber-physical systems although work along those lines has only recently begun. In this paper we provide an overview of cyber-physical systems and then describe how two evolvable hardware techniques can be used to adapt the physical system behavior in real-time. The goal is to introduce cyber-physical systems to the evolvable hardware community and encourage those researchers to begin working in this emerging field.

2018-05-16
Ibrahim, Mohamed, Boswell, Craig, Chakrabarty, Krishnendu, Scott, Kristin, Pajic, Miroslav.  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.
M. Pajic, I. Lee, G. J. Pappas.  2017.  Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Transactions on Control of Network Systems. 4:82-92.
R. Ivanov, N. Atanasov, J. Weimer, M. Pajic, A. Simpao, M. Rehman, G. Pappas, I. Lee.  2016.  Estimation of Blood Oxygen Content Using Context-Aware Filtering. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
Ivanov, Radoslav, Pajic, Miroslav, Lee, Insup.  2016.  Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 15:21:1–21:24.
Ivanov, R., Atanasov, N., Pajic, M., Lee, I., Pappas, G. J..  2015.  Robust Localization Using Context-Aware Filtering. Workshop on Multi VIew Geometry in Robotics (MVIGRO), in conjunction with RSS.
R. Ivanov, N. Atanasov, M. Pajic, G. Pappas, I. Lee.  2015.  Robust estimation using context-aware filtering. 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton). :590-597.
Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Lee, Insup.  2015.  Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.
V. Lesi, I. Jovanov, M. Pajic.  2017.  Network Scheduling for Secure Cyber-Physical Systems. IEEE Real-Time Systems Symposium (RTSS).

to appear

I. Jovanov, M. Pajic.  2017.  Relaxing Integrity Requirements for Resilient Control Systems. 56th IEEE Conference on Decision and Control (CDC).
2018-05-15
Subhojeet Mukherjee, Jacob Walker, Indrakshi Ray, Jeremy Daily.  2017.  A Precedence Graph-Based Approach to Detect Message Injection Attacks in J1939 Based Networks. Privacy, Security, and Trust - 12th International Conference, {PST} 2017, Calgary, Canada, August 28-30, 2017, Proceedings.