Miroslav Pajic | Scholars@Duke

Miroslav Pajic
Nortel Networks Assistant Professor in the Pratt School of Engineering

Miroslav Pajic's research focuses on design and analysis of cyber-physical systems and in particular, embedded and distributed/networked control, real-time and embedded systems, and high-confidence medical device systems.

Current Appointments & Affiliations

Nortel Networks Assistant Professor in the Pratt School of Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2018
Assistant Professor in the Department of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2015
Assistant Professor of Computer Science, Computer Science, Trinity College of Arts & Sciences 2016

Contact Information

Background
Education, Training, & Certifications
- Ph.D., University of Pennsylvania 2012
Duke Appointment History
- Adjunct Assistant Professor in the Department of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2014 - 2015
Recognition
In the News
- OCT 12, 2018 Pratt School of Engineering
  
  Finding Free Bytes for Security
- AUG 31, 2015
  
  Duke Partners with NSF, Others to Secure and Protect the Emerging Internet of Things
- APR 2, 2015 Pratt School of Engineering
  
  Miroslav Pajic: Making Smart Systems That Interact with the Physical World
Research
Selected Grants
- IUCRC Proposal Phase 1 Duke: Center for Alternative Sustainable and Intelligent Computing (ASIC) awarded by National Science Foundation 2018 - 2023
- CAREER: Foundations for Secure Control of Cyber-Physical Systems awarded by National Science Foundation 2017 - 2022
- CPS: Medium: Collaborative Research: Smart Ultrasound Elastography for Improved Medical Imaging awarded by National Science Foundation 2018 - 2021
- Design of High-Assurance Cyber-Physical Systems awarded by Office of Naval Research 2017 - 2020
- Development of Control-Aware Cyber Techniques for Attack-Resilient Industrial Control & Combat Systems awarded by University of Pennsylvania 2017 - 2019
- Planning IUCRC Duke University: Center for Alternative Sustainable and Intelligent Computing awarded by National Science Foundation 2017 - 2018
- Synergy: Collaborative Research: Security and Privacy-Aware Cyber-Physical Systems awarded by Intel Corporation 2015 - 2018
- Design of High-Assurance Autonomous Vehicles awarded by University of Pennsylvania 2015 - 2016
Publications & Artistic Works
Selected Publications
- Book Sections
  - Ivanov, R, Pajic, M, and Lee, I. "Attack-resilient sensor fusion for CPS." In Multisensor Data Fusion: From Algorithms and Architectural Design to Applications, 409-421. January 1, 2017. Full Text
  - Weimer, J, Bezzo, N, Pajic, M, Pappas, GJ, Sokolsky, O, and Lee, I. "Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control." 197-216. January 1, 2013. Full Text
  - Jiang, Z, Pajic, M, Moarref, S, Alur, R, and Mangharam, R. "Modeling and Verification of a Dual Chamber Implantable Pacemaker." In Tools and Algorithms for the Construction and Analysis of Systems, edited by C Flanagan and B KÃ nig, 188-203. Springer Berlin Heidelberg, 2012. Full Text
  - Ivanov, R, , Pajic, M, Lee, and I, . "Attack-Resilient Sensor Fusion for CPS." ,edited by Fourati, H., , 409-424.: CRC Press,. (Chapter)
- Conference Papers
  - Jovanov, I, Nauman, M, Kumaravelu, K, Lesi, V, Zutshi, A, Grill, WM, and Pajic, M. "Learning-Based Control Design for Deep Brain Stimulation." August 21, 2018. Full Text
  - Jovanov, I, Naumann, M, Kumaravelu, K, Grill, WM, and Pajic, M. "Platform for Model-Based Design and Testing for Deep Brain Stimulation." August 21, 2018. Full Text
  - Lesi, V, Jovanov, I, and Pajic, M. "Network Scheduling for Secure Cyber-Physical Systems." January 31, 2018. Full Text
  - Jovanov, I, and Pajic, M. "Sporadic data integrity for secure state estimation." January 18, 2018. Full Text
  - Zhu, H, Elfar, M, Pajic, M, Wang, Z, and Cummings, ML. "Human augmentation of UAV cyber-attack detection." January 1, 2018. Full Text
  - Elfar, M, Zhong, Z, Li, Z, Chakrabarty, K, and Pajic, M. "Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips." September 27, 2017. Full Text
  - Lesi, V, Jovanov, I, and Pajic, M. "Security-Aware Scheduling of Embedded Control Tasks." September 27, 2017. Full Text
  - Elfar, M, Zhu, H, Raghunathan, A, Tay, YY, Wubbenhorst, J, Cummings, ML, and Pajic, M. "WiP abstract: Platform for security-aware design of human-on-the-loop cyber-physical systems." April 18, 2017. Full Text
  - Fricks, RWB, Tseng, HH, Pajic, M, and Trivedi, KS. "Transient performance & availability modeling in high volume outpatient clinics." March 29, 2017. Full Text
  - Park, J, Pajic, M, Sokolsky, O, and Lee, I. "Automatic verification of finite precision implementations of linear controllers." January 1, 2017. Full Text
  - Bogdan, P, Pajic, M, Pande, PP, and Raghunathan, V. "Making the Internet-of-Things a reality: From smart models, sensing and actuation to energy-efficient architectures." November 21, 2016. Full Text
  - Li, Z, Lai, KYT, Yu, PH, Chakrabarty, K, Pajic, M, Ho, TY, and Lee, CY. "Error recovery in a micro-electrode-dot-array digital microfluidic biochip?." November 7, 2016. Full Text
  - Lesi, V, Jakovljevic, Z, and Pajic, M. "Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems." November 3, 2016. Full Text
  - Ibrahim, M, Boswell, C, Chakrabarty, K, Scott, K, and Pajic, M. "A real-time digital-microfluidic platform for epigenetics." October 1, 2016. Full Text
  - Ivanov, R, Atanasov, N, Weimer, J, Pajic, M, Simpao, A, Rehman, M, Pappas, G, and Lee, I. "Estimation of Blood Oxygen Content Using Context-Aware Filtering." May 25, 2016. Full Text
  - Ivanov, R, Atanasov, N, Pajic, M, Pappas, G, and Lee, I. "Robust estimation using context-aware filtering." April 4, 2016. Full Text Open Access Copy
  - Mangharam, R, Abbas, H, Behl, M, Jang, K, Pajic, M, and Jiang, Z. "Three challenges in cyber-physical systems." March 23, 2016. Full Text
  - Park, J, Pajic, M, Lee, I, and Sokolsky, O. "Scalable verification of linear controller software." January 1, 2016. Full Text
  - Pajic, M, Park, J, Lee, I, Pappas, GJ, and Sokolsky, O. "Automatic Verification of Linear Controller Software." The ACM SIGBED International Conference on Embedded Software (EMSOFT). Amsterdam, Netherlands. October 5, 2015 - October 8, 2015.: IEEE, October 4, 2015. Full Text Open Access Copy
  - Ivanov, R, , Atanasov, N, , Pajic, M, Lee, I, , Pappas, and G J, . "Robust Localization Using Context-Aware Filtering." Workshop on Multi VIew Geometry in Robotics (MVIGRO). Rome, Italy. July 31, 2015.
  - Park, J, Ivanov, R, Weimer, J, Lee, I, and Pajic, M. "Sensor attack detection in the presence of transient faults." April 14, 2015. Full Text
  - Pajic, M, Tabuada, P, Lee, I, and Pappas, GJ. "Attack-resilient state estimation in the presence of noise." February 8, 2015. Full Text
  - Faruque, MAA, Regazzoni, F, and Pajic, M. "Design methodologies for securing cyber-physical systems." Amsterdam, Netherlands. October 5, 2015 - October 8, 2015.: IEEE, 2015. Full Text Open Access Copy
  - Weimer, J, Bezzo, N, Pajic, M, Sokolsky, O, and Lee, I. "Attack-resilient minimum mean-squared error estimation." June 2014. Full Text
  - Gatsis, K, Pajic, M, Ribeiro, A, and Pappas, GJ. "Opportunistic scheduling of control tasks over shared wireless channels." April 2014. Full Text
  - Pajic, M, Weimer, J, Bezzo, N, Tabuada, P, Sokolsky, O, Lee, I, and Pappas, GJ. "Robustness of attack-resilient state estimators." April 2014. Full Text Open Access Copy
  - Bezzo, N, Weimer, J, Pajic, M, Sokolsky, O, Pappas, GJ, and Lee, I. "Attack resilient state estimation for autonomous robotic systems." : IEEE, 2014.
  - Gatsis, K, Pajic, M, Ribeiro, A, and Pappas, GJ. "Opportunistic sensor scheduling in wireless control systems." : IEEE, 2014.
  - Ivanov, R, Pajic, M, and Lee, I. "Attack-resilient sensor fusion." European Design and Automation Association, 2014.
  - Ivanov, R, Pajic, M, and Lee, I. "Resilient Multidimensional Sensor Fusion Using Measurement History." : ACM, 2014. Full Text
  - Miao, F, Zhu, Q, Pajic, M, and Pappas, GJ. "Coding sensor outputs for injection attacks detection." January 1, 2014. Full Text
  - Pajic, M, Bezzo, N, Weimer, J, Sokolsky, O, Michael, N, Pappas, GJ, Tabuada, P, and Lee, I. "Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems." October 15, 2013. Full Text
  - Pajic, M, Bezzo, N, Weimer, J, Alur, R, Mangharam, R, Michael, N, Pappas, GJ, Sokolsky, O, Tabuada, P, Weirich, S, and Lee, I. "Towards synthesis of platform-aware attack-resilient control systems: Extended abstract." May 15, 2013. Full Text
  - Gatsis, K, Pajic, M, Ribeiro, A, and Pappas, GJ. "Power-aware communication for wireless sensor-actuator systems." January 1, 2013. Full Text
  - Miao, F, Pajic, M, Mangharam, R, and Pappas, GJ. "Networked realization of discrete-time controllers." IEEE, 2013.
  - Miao, F, Pajic, M, and Pappas, GJ. "Stochastic game approach for replay attack detection." : IEEE, 2013.
  - Pajic, M, Sundaram, S, and Pappas, GJ. "Stabilizability over deterministic relay networks." January 1, 2013. Full Text
  - Pajic, M, Jiang, Z, Lee, I, Sokolsky, O, and Mangharam, R. "From verification to implementation: A model translation tool and a pacemaker case study." June 14, 2012. Full Text
  - Sarode, S, Radhakrishnan, S, Sampath, V, Jiang, Z, Pajic, M, and Mangharam, R. "Demo abstract: Model-based testing of implantable cardiac devices." May 31, 2012. Full Text
  - Pajic, M, Sundaram, S, Le Ny, J, Pappas, GJ, and Mangharam, R. "Closing the loop: A simple distributed method for control over wireless networks." May 8, 2012. Full Text
  - Jiang, Z, Pajic, M, Moarref, S, Alur, R, and Mangharam, R. "Modeling and verification of a dual chamber implantable pacemaker." April 9, 2012. Full Text
  - Pajic, M, Sundaram, S, Pappas, GJ, and Mangharam, R. "Network synthesis for dynamical system stabilization." December 1, 2011. Full Text
  - Pajic, M, Sundaram, S, Pappas, GJ, and Mangharam, R. "Topological conditions for wireless control networks." December 1, 2011. Full Text
  - Jiang, Z, Pajic, M, and Mangharam, R. "Model-based closed-loop testing of implantable pacemakers." August 10, 2011. Full Text
  - Jiang, Z, Pajic, M, and Mangharam, R. "Demo abstract: Closed-loop testing for implantable cardiac pacemakers." June 23, 2011.
  - Pajic, M, Sundaram, S, Aneja, M, Vemuri, S, Mangharam, R, and Pappas, GJ. "Architecture for a fully distributed Wireless Control Network." June 23, 2011.
  - Jiang, Z, Pajic, M, Connolly, A, Dixit, S, and Mangharam, R. "Demo abstract: A platform for implantable medical device validation." December 1, 2010. Full Text
  - Pajic, M, Sundaram, S, Le Ny, J, Pappas, GJ, and Mangharam, R. "The wireless control network: Synthesis and robustness." December 1, 2010. Full Text
  - Sundaram, S, Pajic, M, Hadjicostis, CN, Mangharam, R, and Pappas, GJ. "The wireless control network: Monitoring for malicious behavior." December 1, 2010. Full Text
  - Pajic, M, Jiang, Z, Connolly, A, Dixit, S, and Mangharam, R. "A platform for implantable medical device validation." July 16, 2010. Full Text
  - Pajic, M, and Mangharam, R. "Embedded virtual machines for robust wireless control and actuation." June 28, 2010. Full Text
  - Pajic, M, and Mangharam, R. "Embedded Virtual Machines for Robust Wireless Control and Actuation." April 2010. Full Text
  - Arney, D, Pajic, M, Goldman, JM, Lee, I, Mangharam, R, and Sokolsky, O. "Toward patient safety in closed-loop medical device systems." ACM, 2010. Full Text
  - Jiang, Z, Pajic, M, Connolly, A, Dixit, S, and Mangharam, R. "Real-Time Heart Model for Implantable Cardiac Device Validation and Verification." IEEE Computer Society, 2010. Full Text
  - Mangharam, R, Pajic, M, and Sastry, S. "Demo abstract: Embedded virtual machines for wireless industrial automation." November 16, 2009.
  - Pajic, M, and Mangharam, R. "Anti-jamming for embedded wireless networks." November 16, 2009.
  - Mangharam, R, and Pajic, M. "Embedded Virtual Machines for Robust Wireless Control Systems." IEEE Computer Society, 2009. Full Text
  - Jorgovanović, M, Pajić, M, Kvaščev, G, and Popović, J. "FPGA design of arbitrary down-sampler." September 19, 2008. Full Text
  - Dick, C, Harris, F, Pajic, M, and Vuletic, D. "Real-time QRD-based beamforming on an FPGA platform." December 1, 2006. Full Text
  - Pajic, M, Tabuada, P., , Lee, I., , Pappas, and G.J., . "Attack-Resilient State Estimation in the Presence of Noise." 54th IEEE Conference on Decision and Control (CDC). Osaka, Japan. December 15, 2015 - December 18, 2015. Open Access Copy
- Journal Articles
  - Miao, F, Zhu, Q, Pajic, M, and Pappas, GJ. "A hybrid stochastic game for secure control of cyber-physical systems." Automatica 93 (July 2018): 55-63. Full Text
  - Li, Z, Lai, KY-T, McCrone, J, Yu, P-H, Chakrabarty, K, Pajic, M, Ho, T-Y, and Lee, C-Y. "Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip." Ieee Transactions on Computer Aided Design of Integrated Circuits and Systems 37, no. 3 (March 2018): 601-614. Full Text
  - Ivanov, R, Atanasov, N, Pajic, M, Weimer, J, Pappas, GJ, and Lee, I. "Continuous Estimation Using Context-Dependent Discrete Measurements." Ieee Transactions on Automatic Control (2018): 1-1. Full Text
  - Pajic, M, Weimer, J, Bezzo, N, Sokolsky, O, Pappas, GJ, and Lee, I. "Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators." Ieee Control Systems 37, no. 2 (April 2017): 66-81. Full Text
  - Miao, F, Zhu, Q, Pajic, M, and Pappas, GJ. "Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks." Ieee Transactions on Control of Network Systems 4, no. 1 (March 2017): 106-117. Full Text
  - Pajic, M, Lee, I, and Pappas, GJ. "Attack-Resilient State Estimation for Noisy Dynamical Systems." Ieee Transactions on Control of Network Systems 4, no. 1 (March 2017): 82-92. Full Text
  - Jakovljevic, Z, Majstorovic, V, Stojadinovic, S, Zivkovic, S, Gligorijevic, N, and Pajic, M. "Cyber-physical manufacturing systems (CPMS)." Lecture Notes in Mechanical Engineering (January 1, 2017): 199-214. Full Text
  - Jakovljevic, Z, Mitrovic, S, and Pajic, M. "Cyber physical production systems-an IEC 61499 perspective." Lecture Notes in Mechanical Engineering (January 1, 2017): 27-39. Full Text
  - Ivanov, R, Pajic, M, and Lee, I. "Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems." ACM Transactions on Embedded Computing Systems 15, no. 1 (February 20, 2016): 1-24. Full Text Open Access Copy
  - Jakovljevic, Z, Petrovic, PB, Milkovic, D, and Pajic, M. "Diagnosis of irregularities in the robotized part mating process based on contextual recognition of contact states transitions." Assembly Automation 35, no. 2 (April 7, 2015): 190-199. Full Text
  - Jakovljevic, Z, Puzovic, R, and Pajic, M. "Recognition of Planar Segments in Point Cloud based on Wavelet Transform." Ieee Transactions on Industrial Informatics (April 2015): 342-352. Full Text Open Access Copy
  - Gatsis, K, Pajic, M, Ribeiro, A, and Pappas, GJ. "Opportunistic Control Over Shared Wireless Channels." Ieee Transactions on Automatic Control (March 2015): 3140-3155. Full Text Open Access Copy
  - Jakovljevic, Z, Petrovic, PB, Mikovic, VD, and Pajic, M. "Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly." Journal of Intelligent Manufacturing 25, no. 3 (June 2014): 571-587. Full Text
  - Jiang, Z, Pajic, M, Alur, R, and Mangharam, R. "Closed-loop verification of medical devices with model abstraction and refinement." International Journal on Software Tools for Technology Transfer 16, no. 2 (April 2014): 191-213. Full Text
  - Pajic, M, Jiang, Z, Lee, I, Sokolsky, O, and Mangharam, R. "Safety-critical medical device development using the UPP2SF model translation tool." ACM Transactions on Embedded Computing Systems 13, no. 4s (April 1, 2014): 1-26. Full Text Open Access Copy
  - Pajic, M, Mangharam, R, Sokolsky, O, Arney, D, Goldman, J, and Lee, I. "Model-Driven Safety Analysis of Closed-Loop Medical Systems." IEEE Transactions on Industrial Informatics 10, no. 1 (February 2014): 3-16. Full Text Open Access Copy
  - Mangharam, R, and Pajic, M. "Distributed control for cyber-physical systems." Journal of the Indian Institute of Science 93, no. 3 (July 1, 2013): 353-387. (Review)
  - Pajic, M, Mangharam, R, Pappas, GJ, and Sundaram, S. "Topological Conditions for In-Network Stabilization of Dynamical Systems." IEEE Journal on Selected Areas in Communications 31, no. 4 (April 2013): 794-807. Full Text Open Access Copy
  - Pajic, M, Michael, N, Bezzo, N, Pappas, GJ, Weimer, J, Tabuada, P, Sokolsky, O, and Lee, I. "Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems." Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013 (2013): 251--. Full Text
  - Pajic, M, Chernoguzov, A, and Mangharam, R. "Robust architectures for embedded wireless network control and actuation." ACM Transactions on Embedded Computing Systems 11, no. 4 (December 1, 2012): 1-24. Full Text
  - Hadziahmetovic, M, Pajic, M, Grieco, S, Song, Y, Song, D, Li, Y, Cwanger, A, Iacovelli, J, Chu, S, Ying, G-S, Connelly, J, Spino, M, and Dunaief, JL. "The Oral Iron Chelator Deferiprone Protects Against Retinal Degeneration Induced through Diverse Mechanisms." Translational Vision Science & Technology 1, no. 3 (January 2012): 2-null. Full Text
  - Zhihao, J, Pajic, M, and Mangharam, R. "Cyber-Physical Modeling of Implantable Cardiac Medical Devices." Proceedings of the Ieee 100, no. 1 (January 2012): 122-137. Full Text
  - Pajic, M, Sundaram, S, Pappas, GJ, and Mangharam, R. "The Wireless Control Network: A New Approach for Control Over Networks." Ieee Transactions on Automatic Control 56, no. 10 (October 2011): 2305-2318. Full Text Open Access Copy
  - Pajic, M, and Mangharam, R. "Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks." EURASIP Journal on Wireless Communications and Networking 2010 (2010): 1-16. Full Text
Teaching & Mentoring
Recent Courses

Some information on this profile has been compiled automatically from Duke databases and external sources. (Our About page explains how this works.) If you see a problem with the information, please write to Scholars@Duke and let us know. We will reply promptly.

Education, Training, & Certifications

Duke Appointment History

In the News

Selected Grants

Selected Publications

Book Sections

Conference Papers

Journal Articles

Recent Courses