Miroslav Pajic

Electrical and Computer Engineering

Director of Master's Studies, Professor in the Department of ECE

Miroslav Pajic Profile Photo

Research Interests

Design and analysis of autonomous cyber-physical systems (CPS), and in particular, embedded systems, AI, learning and controls, CPS security and high-assurance autonomy, with various application domains including robotics, automotive, and medical systems

Bio

Miroslav Pajic's research focuses on design and analysis of cyber-physical systems with varying levels of autonomy and human interaction, at the intersection of (more traditional) areas of embedded systems, AI, learning and controls, formal methods and robotics.

Education

Ph.D. University of Pennsylvania, 2012

Positions

Professor in the Department of Electrical and Computer Engineering
Director of Master Studies in the Department of Electrical and Computer Engineering
Associate Professor in the Thomas Lord Department of Mechanical Engineering and Materials Science
Associate Professor of Computer Science

Courses Taught

MENG 552: Master of Engineering Supplemental Internship
MENG 551: Master of Engineering Internship/Project Assessment
MENG 550: Master of Engineering Internship/Project
ME 592: Research Independent Study in Mechanical Engineering or Material Science
ME 591: Research Independent Study in Mechanical Engineering or Material Science
EGRCOOP 501: Engineering Graduate Cooperative Education 1
EGR 393: Research Projects in Engineering
ECE 899: Special Readings in Electrical Engineering
ECE 891: Internship
ECE 701S: Being a Successful ECE Masters Student
ECE 567: Cyber-Physical System Design
ECE 495: Special Topics in Electrical and Computer Engineering
ECE 494: Projects in Electrical and Computer Engineering
ECE 493: Projects in Electrical and Computer Engineering
ECE 459: Introduction to Embedded Systems
ECE 392: Projects in Electrical and Computer Engineering
ECE 292: Projects in Electrical and Computer Engineering

Publications

Schmidt SL, Chowdhury AH, Mitchell KT, Peters JJ, Gao Q, Lee H-J, et al. At home adaptive dual target deep brain stimulation in Parkinson's disease with proportional control. Brain. 2024 Mar 1;147(3):911–22.
Yang X, Wang Z, Hu XS, Kim CH, Yu S, Pajic M, et al. Neuro-Symbolic Computing: Advancements and Challenges in Hardware-Software Co-Design. IEEE Transactions on Circuits and Systems II: Express Briefs. 2024 Mar 1;71(3):1683–9.
Chen Y, Banerjee S, Daily S, Krolik J, Li H, Limbrick D, et al. Athena – The NSF AI Institute for Edge Computing. AI Magazine. 2024 Mar 1;45(1):15–21.
French A, Cummings ML, Zhu H, Pajic M. Determining Novice and Expert Status in Human–Automation Interaction Through Hidden Markov Models. Applied Artificial Intelligence. 2024 Jan 1;38(1).
Hsu HL, Pajic M. Robust Exploration with Adversary via Langevin Monte Carlo. In: Proceedings of Machine Learning Research. 2024. p. 1592–605.
Hsu HL, Meng H, Luo S, Dong J, Tarokh V, Pajic M. REFORMA: Robust REinFORceMent Learning via Adaptive Adversary for Drones Flying under Disturbances. In: Proceedings - IEEE International Conference on Robotics and Automation. 2024. p. 5169–75.
Bozkurt AK, Wang Y, Zavlanos MM, Pajic M. Learning Optimal Strategies for Temporal Tasks in Stochastic Games. IEEE Transactions on Automatic Control. 2024 Jan 1;
Xuan Z, Bozkurt AK, Pajic M, Wang Y. On the Uniqueness of Solution for the Bellman Equation of LTL Objectives. In: Proceedings of Machine Learning Research. 2024. p. 428–39.
Hunt D, Luo S, Khazraei A, Zhang X, Hallyburton S, Chen T, et al. RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. In: Proceedings - IEEE International Conference on Robotics and Automation. 2024. p. 12269–75.
Khazraei A, Pfister H, Pajic M. Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits. IEEE Transactions on Automatic Control. 2024 Jan 1;
Gao G, Gao Q, Yang X, Ju S, Pajic M, Chi M. ON TRAJECTORY AUGMENTATIONS FOR OFF-POLICY EVALUATION. In: 12th International Conference on Learning Representations, ICLR 2024. 2024.
Hsu HL, Gao Q, Pajic M. ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. In: Proceedings - 15th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2024. 2024. p. 224–34.
Mazurek F, Tschand A, Wang Y, Pajic M, Sorin D. Rigorous Evaluation of Computer Processors with Statistical Model Checking. In: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2023. 2023. p. 1242–54.
Hallyburton RS, Zelter N, Hunt D, Angell K, Pajic M. Modular Platform For Collaborative, Distributed Sensor Fusion. In: ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023. 2023. p. 268–9.
Hallyburton RS, Zhang S, Pajic M. AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. In: ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023. 2023. p. 209–20.
Eom S, Janamsetty R, Hadziahmetovic M, Pajic M, Gorlatova M. Demo Abstract: Edge-based Augmented Reality Guidance System for Retinal Laser Therapy via Feature Matching. In: IPSN 2023 - Proceedings of the 2023 22nd International Conference on Information Processing in Sensor Networks. 2023. p. 366–7.
Elfar M, Chang YC, Ku HHY, Liang TC, Chakrabarty K, Pajic M. Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2023 Apr 1;42(4):1212–22.
Gao Q, Schimdt SL, Chowdhury A, Feng G, Peters JJ, Genty K, et al. Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. ArXiv. 2023 Mar 16;
Lesi V, Jakovljevic Z, Pajic M. IoT-Enabled Motion Control: Architectural Design Challenges and Solutions. IEEE Transactions on Industrial Informatics. 2023 Mar 1;19(3):2284–94.
Khazraei A, Meng H, Pajic M. Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. In: Proceedings - IEEE International Conference on Robotics and Automation. 2023. p. 3346–52.
Jokic A, Khazraei A, Petrovic M, Jakovljevic Z, Pajic M. Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control. In: IEEE International Conference on Intelligent Robots and Systems. 2023. p. 6342–8.
Naeem MA, Pajic M. Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. In: Proceedings of Machine Learning Research. 2023. p. 653–64.
Dobe O, Schupp S, Bartocci E, Bonakdarpour B, Legay A, Pajic M, et al. Lightweight Verification of Hyperproperties. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2023. p. 3–25.
Gao Q, Gao G, Dong J, Tarokh V, Chi M, Pajic M. Off-Policy Evaluation for Human Feedback. In: Advances in Neural Information Processing Systems. 2023.
Gao Q, Gao G, Chi M, Pajic M. VARIATIONAL LATENT BRANCHING MODEL FOR OFF-POLICY EVALUATION. In: 11th International Conference on Learning Representations, ICLR 2023. 2023.
Eom S, Hadziahmetovic M, Pajic M, Gorlatova M. Demo Abstract: Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching. In: SenSys 2022 - Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems. 2022. p. 784–5.
Lesi V, Jakovljevic Z, Pajic M. Security Analysis for Distributed IoT-Based Industrial Automation. IEEE Transactions on Automation Science and Engineering. 2022 Oct 1;19(4):3093–108.
Elfar M, Liang TC, Chakrabarty K, Pajic M. Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022 Aug 1;41(8):2504–17.
Rojas E, Schmidt SL, Chowdhury A, Pajic M, Turner DA, Won DS. A comparison of an implanted accelerometer with a wearable accelerometer for closed-loop DBS. Annu Int Conf IEEE Eng Med Biol Soc. 2022 Jul;2022:3439–42.
Lee T, Hu M, Gao Q, Amason J, Borkar D, D’Alessio D, et al. Evaluation of a deep learning supported remote diagnosis model for identification of diabetic retinopathy using wide-field Optomap. Annals of Eye Science. 2022 Jun 1;7.
Khazraei A, Pajic M. Attack-resilient state estimation with intermittent data authentication. Automatica. 2022 Apr 1;138.
Sun S, Zhang Y, Luo X, Vlantis P, Pajic M, Zavlanos MM. Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. Proceedings - IEEE International Conference on Robotics and Automation. 2022 Jan 1;6800–6.
Spencer Hallyburton R, Liu Y, Cao Y, Morley Mao Z, Pajic M. Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles. Proceedings of the 31st USENIX Security Symposium, Security 2022. 2022 Jan 1;1903–20.
Kim KH, Kara D, Paruchuri V, Mohan S, Kimberly G, Osipychev D, et al. Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. In: Proceedings - IEEE Military Communications Conference MILCOM. 2022. p. 1065–9.
Wang Y, Gao Q, Pajic M. Learning Monotone Dynamics by Neural Networks. In: Proceedings of the American Control Conference. 2022. p. 1485–90.
Hallyburton RS, Khazraei A, Pajic M. Optimal Myopic Attacks on Nonlinear Estimation. In: Proceedings of the IEEE Conference on Decision and Control. 2022. p. 5480–5.
Khazraei A, Pajic M. Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. In: Proceedings of the IEEE Conference on Decision and Control. 2022. p. 7109–14.
Khazraei A, Pfister H, Pajic M. Resiliency of Perception-Based Controllers Against Attacks. In: Proceedings of Machine Learning Research. 2022. p. 713–25.
Gao Q, Wang D, Amason JD, Yuan S, Tao C, Henao R, et al. GRADIENT IMPORTANCE LEARNING FOR INCOMPLETE OBSERVATIONS. In: ICLR 2022 - 10th International Conference on Learning Representations. 2022.
Khazraei A, Hallyburton S, Gao Q, Wang Y, Pajic M. Learning-Based Vulnerability Analysis of Cyber-Physical Systems. Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022. 2022 Jan 1;259–69.
Gao Q, Schmidt SL, Kamaravelu K, Turner DA, Grill WM, Pajic M. Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers. In: Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022. 2022. p. 80–91.
Gao G, Gao Q, Yang X, Pajic M, Chi M. A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification. In: IJCAI International Joint Conference on Artificial Intelligence. 2022. p. 2994–3000.
Elfar M, Liang TC, Chakrabarty K, Pajic M. Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. In: Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. 2022. p. 640–5.
Wang Y, Zarei M, Bonakdarpoor B, Pajic M. Probabilistic conformance for cyber-physical systems. ICCPS 2021 - Proceedings of the 2021 ACM/IEEE 12th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2021). 2021 May 19;55–66.
Asare P, Feng L, Lamp J, Pajic M, Weimer J. Foreword to the MCPS 2021 Proceedings Message from the Chairs. In: MCPS 2021 - Proceedings of the 2021 Medical Cyber Physical Systems and Internet of Medical Things. 2021. p. I.
Gao Q, Amason J, Cousins S, Pajic M, Hadziahmetovic M. Automated Identification of Referable Retinal Pathology in Teleophthalmology Setting. Transl Vis Sci Technol. 2021 May 3;10(6):30.
Elfar M, Liang TC, Chakrabarty K, Pajic M. Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. In: Proceedings -Design, Automation and Test in Europe, DATE. 2021. p. 324–9.
Jakovljevic Z, Lesi V, Pajic M. Attacks on Distributed Sequential Control in Manufacturing Automation. IEEE Transactions on Industrial Informatics. 2021 Feb 1;17(2):775–86.
Bozkurt AK, Wang Y, Zavlanos MM, Pajic M. Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. Proceedings - IEEE International Conference on Robotics and Automation. 2021 Jan 1;2021-May:10649–55.
Chen Y, Li A, Yang H, Zhang T, Yang Y, Li H, et al. AI-Powered IoT System at the Edge. In: Proceedings - 2021 IEEE 3rd International Conference on Cognitive Machine Intelligence, CogMI 2021. 2021. p. 242–51.
Bozkurt AK, Wang Y, Pajic M. Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. Proceedings - IEEE International Conference on Robotics and Automation. 2021 Jan 1;2021-May:10656–62.
Wang Y, Nalluri S, Bonakdarpour B, Pajic M. Statistical Model Checking for Hyperproperties. In: Proceedings - IEEE Computer Security Foundations Symposium. 2021.
Bozkurt AK, Wang Y, Pajic M. Model-Free Learning of Safe yet Effective Controllers. Proceedings of the IEEE Conference on Decision and Control. 2021 Jan 1;2021-December:6560–5.
Luo X, Pajic M, Zavlanos MM. An optimal graph-search method for secure state estimation. Automatica. 2021 Jan 1;123.
Liang TC, Zhong Z, Pajic M, Chakrabarty K. Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020 Nov 1;39(11):3531–43.
Jakovljevic Z, Lesi V, Mitrovic S, Pajic M. Distributing Sequential Control for Manufacturing Automation Systems. IEEE Transactions on Control Systems Technology. 2020 Jul 1;28(4):1586–94.
Khazraei A, Pajic M. Perfect Attackability of Linear Dynamical Systems with Bounded Noise. In: Proceedings of the American Control Conference. 2020. p. 749–54.
Gao Q, Xu Y, Amason J, Loksztejn A, Cousins S, Pajic M, et al. Automated Recognition of Retinal Pigment Epithelium Cells on Limited Training Samples Using Neural Networks. Transl Vis Sci Technol. 2020 Jun;9(2):31.
Bozkurt AK, Wang Y, Zavlanos MM, Pajic M. Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. Proceedings - IEEE International Conference on Robotics and Automation. 2020 May 1;10349–55.
Wang Y, Nalluri S, Pajic M. Hyperproperties for Robotics: Planning via HyperLTL. Proceedings - IEEE International Conference on Robotics and Automation. 2020 May 1;8462–8.
Lesi V, Jovanov I, Pajic M. Integrating Security in Resource-Constrained Cyber-Physical Systems. ACM Transactions on Cyber-Physical Systems. 2020 May 1;4(3).
Gao Q, Pajic M, Zavlanos MM. Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations. In: Proceedings - IEEE International Conference on Robotics and Automation. 2020. p. 8490–6.
Zarei M, Wang Y, Pajic M. Statistical verification of learning-based cyber-physical systems. In: HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week. 2020.
Gao Q, Naumann M, Jovanov I, Lesi V, Kamaravelu K, Grill WM, et al. Model-based design of closed loop deep brain stimulation controller using reinforcement learning. In: Proceedings - 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems, ICCPS 2020. 2020. p. 108–18.
Elfar M, Wang Y, Pajic M. Context-Aware Temporal Logic for Probabilistic Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020 Jan 1;12302 LNCS:215–32.
Nedeljkovic DM, Jakovljevic ZB, Miljkovic ZD, Pajic M. Detection of Cyber-attacks in Systems with Distributed Control based on Support Vector Regression. Telfor Journal. 2020 Jan 1;12(2):104–9.
Zhu H, Cummings ML, Elfar M, Wang Z, Pajic M. Operator Strategy Model Development in UAV Hacking Detection. IEEE Transactions on Human-Machine Systems. 2019 Dec 1;49(6):540–9.
Wang Y, Pajic M. Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. In: Proceedings of the IEEE Conference on Decision and Control. 2019. p. 5350–5.
Wang Y, Pajic M. Attack-Resilient Supervisory Control with Intermittently Secure Communication. In: Proceedings of the IEEE Conference on Decision and Control. 2019. p. 2015–20.
Jovanov I, Pajic M. Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. IEEE Transactions on Automatic Control. 2019 Dec 1;64(12):4843–58.
Nedeljkovic DM, Jakovljevic ZB, Miljkovic ZD, Pajic M. Detection of cyber-attacks in electro-pneumatic positioning system with distributed control. In: 27th Telecommunications Forum, TELFOR 2019. 2019.
Wang Y, Zarei M, Bonakdarpour B, Pajic M. Statistical verification of hyperproperties for cyber-physical systems. In: ACM Transactions on Embedded Computing Systems. 2019.
Lesi V, Jakovljevic Z, Pajic M. Synchronization of Distributed Controllers in Cyber-Physical Systems. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 2019. p. 710–7.
Elfar M, Zhu H, Cummings ML, Pajic M. Security-aware synthesis of human-UAV protocols. In: Proceedings - IEEE International Conference on Robotics and Automation. 2019. p. 8011–7.
Pajic M, Bushnell L. Message from the general and program committee co-chairs. In: ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems. 2019.
Lesi V, Jakovljevic Z, Pajic M. Reliable industrial IoT-based distributed automation. In: IoTDI 2019 - Proceedings of the 2019 Internet of Things Design and Implementation. 2019. p. 94–105.
Ivanov R, Atanasov N, Pajic M, Weimer J, Pappas GJ, Lee I. Continuous estimation using context-dependent discrete measurements. IEEE Transactions on Automatic Control. 2019 Jan 1;64(1):238–53.
Park J, Pajic M, Sokolsky O, Lee I. LCV: A verification tool for linear controller software. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. p. 213–25.
Elfar M, Wang Y, Pajic M. Security-Aware Synthesis Using Delayed-Action Games. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. p. 180–99.
Jovanov I, Nauman M, Kumaravelu K, Lesi V, Zutshi A, Grill WM, et al. Learning-Based Control Design for Deep Brain Stimulation. In: Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. 2018. p. 349–50.
Jovanov I, Naumann M, Kumaravelu K, Grill WM, Pajic M. Platform for Model-Based Design and Testing for Deep Brain Stimulation. In: Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. 2018. p. 263–74.
Lee I, Pajic M. Guest editorial: Special issue on medical cyber-physical systems. ACM Transactions on Cyber-Physical Systems. 2018 Aug 1;2(4).
Jovanov I, Pajic M. Secure State Estimation with Cumulative Message Authentication. In: Proceedings of the IEEE Conference on Decision and Control. 2018. p. 2074–9.
Miao F, Zhu Q, Pajic M, Pappas GJ. A hybrid stochastic game for secure control of cyber-physical systems. Automatica. 2018 Jul 1;93:55–63.
Li Z, Lai KYT, McCrone J, Yu PH, Chakrabarty K, Pajic M, et al. 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. 2018 Mar 1;37(3):601–14.
Zhu H, Elfar M, Pajic M, Wang Z, Cummings ML. Human augmentation of UAV cyber-attack detection. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. p. 154–67.
Bonakdarpour B, Deshmukh JV, Pajic M. Opportunities and challenges in monitoring cyber-physical systems security. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2018. p. 9–18.
Elfar M, Zhong Z, Li Z, Chakrabarty K, Pajic M. Synthesis of error-recovery protocols for micro-electrode-dot-array digital microfluidic biochips. In: ACM Transactions on Embedded Computing Systems. 2017.
Lesi V, Jovanov I, Pajic M. Security-aware scheduling of embedded control tasks. In: ACM Transactions on Embedded Computing Systems. 2017.
Lesi V, Jovanov I, Pajic M. Network Scheduling for Secure Cyber-Physical Systems. In: Proceedings - Real-Time Systems Symposium. 2017. p. 45–55.
Jovanov I, Pajic M. Sporadic data integrity for secure state estimation. In: 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. 2017. p. 163–9.
Elfar M, Zhu H, Raghunathan A, Tay YY, Wubbenhorst J, Cummings ML, et al. WiP abstract: Platform for security-aware design of human-on-the-loop cyber-physical systems. In: Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week). 2017. p. 93.
Pajic M, Weimer J, Bezzo N, Sokolsky O, Pappas GJ, Lee I. Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators. IEEE Control Systems. 2017 Apr 1;37(2):66–81.
Fricks RWB, Tseng HH, Pajic M, Trivedi KS. Transient performance & availability modeling in high volume outpatient clinics. In: Proceedings - Annual Reliability and Maintainability Symposium. 2017.
Miao F, Zhu Q, Pajic M, Pappas GJ. Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 2017 Mar 1;4(1):106–17.
Pajic M, Lee I, Pappas GJ. Attack-resilient state estimation for noisy dynamical systems. IEEE Transactions on Control of Network Systems. 2017 Mar 1;4(1):82–92.
Jakovljevic Z, Majstorovic V, Stojadinovic S, Zivkovic S, Gligorijevic N, Pajic M. Cyber-physical manufacturing systems (CPMS). Lecture Notes in Mechanical Engineering. 2017 Jan 1;199–214.
Park J, Pajic M, Sokolsky O, Lee I. Automatic verification of finite precision implementations of linear controllers. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2017. p. 153–69.
Jakovljevic Z, Mitrovic S, Pajic M. Cyber physical production systems-an IEC 61499 perspective. Lecture Notes in Mechanical Engineering. 2017 Jan 1;27–39.
Park J, Ivanov R, Weimer J, Pajic M, Son SH, Lee I. Security of cyber-physical systems in the presence of transient sensor faults. ACM Transactions on Cyber-Physical Systems. 2017 Jan 1;1(3).
Ivanov R, Pajic M, Lee I. Attack-resilient sensor fusion for CPS. In: Multisensor Data Fusion: From Algorithms and Architectural Design to Applications. 2017. p. 409–21.
Bogdan P, Pajic M, Pande PP, Raghunathan V. Making the Internet-of-Things a reality: From smart models, sensing and actuation to energy-efficient architectures. In: 2016 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2016. 2016.
Li Z, Lai KYT, Yu PH, Chakrabarty K, Pajic M, Ho TY, et al. Error recovery in a micro-electrode-dot-array digital microfluidic biochip? In: IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. 2016.
Lesi V, Jakovljevic Z, Pajic M. Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 2016.
Ibrahim M, Boswell C, Chakrabarty K, Scott K, Pajic M. A real-time digital-microfluidic platform for epigenetics. In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2016. 2016.
Ivanov R, Atanasov N, Weimer J, Pajic M, Simpao A, Rehman M, et al. Estimation of Blood Oxygen Content Using Context-Aware Filtering. In: 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings. 2016.
Mangharam R, Abbas H, Behl M, Jang K, Pajic M, Jiang Z. Three challenges in cyber-physical systems. In: 2016 8th International Conference on Communication Systems and Networks, COMSNETS 2016. 2016.
Park J, Pajic M, Lee I, Sokolsky O. Scalable verification of linear controller software. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2016. p. 662–79.
Pajic M, Park J, Lee I, Pappas GJ, Sokolsky O. Automatic Verification of Linear Controller Software. In IEEE; 2015. p. 217–26.
Ivanov, R, Atanasov, N, Pajic M, Pappas, G.J., Lee, I. Robust Estimation Using Context-Aware Filtering. In 2015.
Ivanov, R, Atanasov, N, Pajic M, Lee, I, Pappas, G J. Robust Localization Using Context-Aware Filtering. In 2015.
Jakovljevic Z, Petrovic PB, Milkovic D, Pajic M. Diagnosis of irregularities in the robotized part mating process based on contextual recognition of contact states transitions. Assembly Automation. 2015 Apr 7;35(2):190–9.
Jakovljevic Z, Puzovic R, Pajic M. Recognition of Planar Segments in Point Cloud based on Wavelet Transform. IEEE Transactions on Industrial Informatics. 2015 Apr;342–52.
Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Opportunistic Control Over Shared Wireless Channels. IEEE Transactions on Automatic Control. 2015 Mar;3140–55.
Pajic M, Tabuada P, Lee I, Pappas GJ. Attack-resilient state estimation in the presence of noise. In: Proceedings of the IEEE Conference on Decision and Control. 2015. p. 5827–32.
Faruque MAA, Regazzoni F, Pajic M. Design methodologies for securing cyber-physical systems. In: Nicolescu G, Gerstlauer A, editors. Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). IEEE; 2015. p. 30–6.
Park J, Ivanov R, Weimer J, Pajic M, Lee I. Sensor attack detection in the presence of transient faults. In: Bayen AM, Branicky MS, editors. Proceedings of the 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). ACM; 2015. p. 1–10.
Weimer J, Bezzo N, Pajic M, Sokolsky O, Lee I. Attack-resilient minimum mean-squared error estimation. In: American Control Conference (ACC), 2014. 2014. p. 1114–9.
Jiang Z, Pajic M, Alur R, Mangharam R. Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 2014 Apr 1;16(2):191–213.
Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Opportunistic scheduling of control tasks over shared wireless channels. In: Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on. 2014. p. 48–59.
Pajic M, Weimer J, Bezzo N, Tabuada P, Sokolsky O, Lee I, et al. Robustness of attack-resilient state estimators. In: Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on. 2014. p. 163–74.
Ivanov R, Pajic M, Lee I. Attack-resilient sensor fusion. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014. 2014. p. 1–6.
Ivanov R, Pajic M, Lee I. Resilient Multidimensional Sensor Fusion Using Measurement History. In: Proceedings of the 3rd International Conference on High Confidence Networked Systems. ACM; 2014. p. 1–10.
Bezzo N, Weimer J, Pajic M, Sokolsky O, Pappas GJ, Lee I. Attack resilient state estimation for autonomous robotic systems. In: IROS. IEEE; 2014. p. 3692–8.
Jakovljevic Z, Petrovic PB, Mikovic VD, Pajic M. Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly. Journal of Intelligent Manufacturing. 2014 Jan 1;25(3):571–87.
Pajic M, Jiang Z, Lee I, Sokolsky O, Mangharam R. Safety-critical medical device development using the UPP2SF model translation tool. Transactions on Embedded Computing Systems. 2014 Jan 1;13(4 SPEC. ISSUE).
Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Opportunistic sensor scheduling in wireless control systems. In: CDC. IEEE; 2014. p. 3777–82.
Miao F, Zhu Q, Pajic M, Pappas GJ. Coding sensor outputs for injection attacks detection. In: CDC. IEEE; 2014. p. 5776–81.
Pajic M, Sundaram S, Pappas GJ. Stabilizability over deterministic relay networks. In: Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on. 2013. p. 4018–23.
Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Power-aware communication for wireless sensor-actuator systems. In: Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on. 2013. p. 4006–11.
Pajic M, Bezzo N, Weimer J, Sokolsky O, Michael N, Pappas GJ, et al. Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems. In: 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. 2013. p. 251.
Mangharam R, Pajic M. Distributed control for cyber-physical systems. Journal of the Indian Institute of Science. 2013 Jul 1;93(3):353–87.
Pajic M, Mangharam R, Pappas GJ, Sundaram S. Topological conditions for in-network stabilization of dynamical systems. IEEE Journal on Selected Areas in Communications. 2013 Apr 4;31(4):794–807.
Miao F, Pajic M, Pappas GJ. Stochastic game approach for replay attack detection. In: CDC. IEEE; 2013. p. 1854–9.
Miao F, Pajic M, Mangharam R, Pappas GJ. Networked realization of discrete-time controllers. In: ACC. IEEE; 2013. p. 2996–3001.
Weimer J, Bezzo N, Pajic M, Pappas G, Sokolsky O, Lee I. Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. In: Tarraf DC, editor. Control of Cyber-Physical Systems. Springer International Publishing; 2013. p. 197–216.
Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, et al. Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract. In: Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems. ACM; 2013. p. 75–6.
Pajic M, Chernoguzov A, Mangharam R. Robust architectures for embedded wireless network control and actuation. Transactions on Embedded Computing Systems. 2012 Dec 1;11(4).
Pajic M, Mangharam R, Sokolsky O, Arney D, Goldman J, Lee I. Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE transactions on industrial informatics. 2012 Oct;
Sarode S, Radhakrishnan S, Sampath V, Jiang Z, Pajic M, Mangharam R. Demo abstract: Model-based testing of implantable cardiac devices. In: Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. 2012. p. 221.
Pajic M, Jiang Z, Lee I, Sokolsky O, Mangharam R. From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. 2012. p. 173–84.
Zhihao J, Pajic M, Mangharam R. Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 2012 Jan;100(1):122–37.
Hadziahmetovic M, Pajic M, Grieco S, Song Y, Song D, Li Y, et al. The Oral Iron Chelator Deferiprone Protects Against Retinal Degeneration Induced through Diverse Mechanisms. Transl Vis Sci Technol. 2012;1(3):2.
Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. In: Flanagan C, KÃ nig B, editors. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg; 2012. p. 188–203.
Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag; 2012. p. 188–203.
Pajic M, Sundaram S, Le Ny J, Pappas GJ, Mangharam R. Closing the Loop: A Simple Distributed Method for Control over Wireless Networks. In: Proceedings of the 11th International Conference on Information Processing in Sensor Networks. ACM; 2012. p. 25–36.
Pajic M, Sundaram S, Pappas GJ, Mangharam R. Network synthesis for dynamical system stabilization. In: Signals, Systems and Computers (ASILOMAR), 2011 Conference Record of the Forty Fifth Asilomar Conference on. 2011. p. 821–5.
Pajic M, Sundaram S, Pappas GJ, Mangharam R. The wireless control network: A new approach for control over networks. IEEE Transactions on Automatic Control. 2011 Oct 1;56(10):2305–18.
Pajic M, Sundaram S, Aneja M, Vemuri S, Mangharam R, Pappas GJ. Architecture for a fully distributed Wireless Control Network. In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN’11. 2011. p. 117–8.
Jiang Z, Pajic M, Mangharam R. Demo abstract: Closed-loop testing for implantable cardiac pacemakers. In: Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN’11. 2011. p. 119–20.
Jiang Z, Pajic M, Mangharam R. Model-Based Closed-Loop Testing of Implantable Pacemakers. In: Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on. 2011. p. 131–40.
Pajic M, Sundaram S, Pappas GJ, Mangharam R. Topological conditions for wireless control networks. In: Proceedings of the IEEE Conference on Decision and Control. 2011. p. 2353–60.
Pajic M, Sundaram S, Le Ny J, Pappas GJ, Mangharam R. The Wireless Control Network: Synthesis and robustness. In: Decision and Control (CDC), 2010 49th IEEE Conference on. 2010. p. 7576–81.
Sundaram S, Pajic M, Hadjicostis CN, Mangharam R, Pappas GJ. The wireless control network: Monitoring for malicious behavior. In: Decision and Control (CDC), 2010 49th IEEE Conference on. 2010. p. 5979–84.
Jiang Z, Pajic M, Connolly A, Dixit S, Mangharam R. Demo abstract: A platform for implantable medical device validation. In: Proceedings - Wireless Health 2010, WH’10. 2010. p. 208–9.
Pajic M, Jiang Z, Connolly A, Dixit S, Mangharam R. A platform for implantable medical device validation. In: Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN ’10. 2010. p. 418–9.
Mangharam R, Pajic M. Spatio-temporal techniques for anti-jamming in embedded wireless networks. Eurasip Journal on Wireless Communications and Networking. 2010 Jun 18;2010.
Pajic M, Mangharam R. Embedded Virtual Machines for Robust Wireless Control and Actuation. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010 16th IEEE. 2010. p. 79–88.
Jiang Z, Pajic M, Connolly A, Dixit S, Mangharam R. Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. In: ECRTS. IEEE Computer Society; 2010. p. 239–48.
Arney D, Pajic M, Goldman JM, Lee I, Mangharam R, Sokolsky O. Toward patient safety in closed-loop medical device systems. In: Sztipanovits J, Rajkumar R, editors. ICCPS. ACM; 2010. p. 139–48.
Mangharam R, Pajic M, Sastry S. Demo abstract: Embedded virtual machines for wireless industrial automation. In: 2009 International Conference on Information Processing in Sensor Networks, IPSN 2009. 2009. p. 413–4.
Mangharam R, Pajic M. Embedded Virtual Machines for Robust Wireless Control Systems. In: Distributed Computing Systems Workshops, 2009 ICDCS Workshops ’09 29th IEEE International Conference on. 2009. p. 38–43.
Pajic M, Mangharam R. Anti-jamming for embedded wireless networks. In: Information Processing in Sensor Networks, 2009 IPSN 2009 International Conference on. 2009. p. 301–12.
Jorgovanovic M, Pajic M, Kvascev G, Popovic J. FPGA design of arbitrary down-sampler. In: Microelectronics, 2008 MIEL 2008 26th International Conference on. 2008. p. 391–4.
Dick C, Harris F, Pajic M, Vuletic D. Real-Time QRD-Based Beamforming on an FPGA Platform. In: Signals, Systems and Computers, 2006 ACSSC ’06 Fortieth Asilomar Conference on. 2006. p. 1200–4.
Pajic M, Tabuada, P., Lee, I., Pappas, G.J. Attack-Resilient State Estimation in the Presence of Noise. In p. 527–32.
Ivanov, R., Pajic M, Lee, I. Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems (Accepted). ACM Transactions on Embedded Computing Systems.
Ivanov, R, Pajic M, Lee, I. Attack-Resilient Sensor Fusion for CPS. In: Fourati, H., editor. CRC Press; p. 409–24.

In The News

Engineers Develop Hack to Make Cars Hallucinate (Feb 2, 2024 | Pratt School of Engineering)
In Driverless Cars, Objects May Be Dangerously Close (Mar 15, 2022 | Pratt School of Engineering)
Meet the Newly Tenured Faculty of 2021 (Sep 21, 2021 | Office of Faculty Advancement)
Finding Free Bytes for Security (Oct 12, 2018 | Pratt School of Engineering)
Duke Partners with NSF, Others to Secure and Protect the Emerging Internet of Things (Aug 31, 2015 | Duke Today)
Miroslav Pajic: Making Smart Systems That Interact with the Physical World (Apr 2, 2015 | Pratt School of Engineering)