Miroslav Pajic

Pajic

Dickinson Family Associate Professor

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.

Appointments and Affiliations

  • Dickinson Family Associate Professor
  • Associate Professor 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

Contact Information

  • Email Address: miroslav.pajic@duke.edu
  • Websites:

Education

  • Ph.D. University of Pennsylvania, 2012

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

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
  • 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

In the News

Representative Publications

  • Pajic, M; Park, J; Lee, I; Pappas, GJ; Sokolsky, O, Automatic Verification of Linear Controller Software (2015), pp. 217-226 [10.1109/EMSOFT.2015.7318277] [abs].
  • Ivanov, R, ; Atanasov, N, ; Pajic, M; Pappas, G.J., ; Lee, I, , Robust Estimation Using Context-Aware Filtering (2015) [abs].
  • 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, vol 35 no. 2 (2015), pp. 190-199 [10.1108/AA-10-2014-077] [abs].
  • Jakovljevic, Z; Puzovic, R; Pajic, M, Recognition of Planar Segments in Point Cloud based on Wavelet Transform, IEEE Transactions on Industrial Informatics (2015), pp. 342-352 [10.1109/TII.2015.2389195] [abs].
  • Gatsis, K; Pajic, M; Ribeiro, A; Pappas, GJ, Opportunistic Control Over Shared Wireless Channels, IEEE Transactions on Automatic Control (2015), pp. 3140-3155 [10.1109/TAC.2015.2416922] [abs].
  • Park, J; Ivanov, R; Weimer, J; Pajic, M; Lee, I, Sensor attack detection in the presence of transient faults., Proceedings of the 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (2015), pp. 1-10 [10.1145/2735960.2735984] [abs].
  • Faruque, MAA; Regazzoni, F; Pajic, M, Design methodologies for securing cyber-physical systems., Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (2015), pp. 30-36 [10.1109/CODESISSS.2015.7331365] [abs].
  • Pajic, M; Weimer, J; Bezzo, N; Tabuada, P; Sokolsky, O; Lee, I; Pappas, GJ, Robustness of attack-resilient state estimators, Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on (2014), pp. 163-174 [10.1109/ICCPS.2014.6843720] [abs].
  • Gatsis, K; Pajic, M; Ribeiro, A; Pappas, GJ, Opportunistic scheduling of control tasks over shared wireless channels, Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on (2014), pp. 48-59 [10.1109/ICCPS.2014.6843710] [abs].
  • 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, vol 16 no. 2 (2014), pp. 191-213 [10.1007/s10009-013-0289-7] [abs].
  • Ivanov, R; Pajic, M; Lee, I, Attack-resilient sensor fusion, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 (2014), pp. 1-6 [10.7873/DATE.2014.067] [abs].
  • 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, vol 13 no. 4 SPEC. ISSUE (2014) [10.1145/2584651] [abs].
  • Pajic, M; Sundaram, S; Pappas, GJ, Stabilizability over deterministic relay networks, Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on (2013), pp. 4018-4023 [10.1109/CDC.2013.6760504] [abs].
  • Pajic, M; Mangharam, R; Pappas, GJ; Sundaram, S, Topological conditions for in-network stabilization of dynamical systems, IEEE Journal on Selected Areas in Communications, vol 31 no. 4 (2013), pp. 794-807 [10.1109/JSAC.2013.130415] [abs].
  • Pajic, M; Chernoguzov, A; Mangharam, R, Robust architectures for embedded wireless network control and actuation, Transactions on Embedded Computing Systems, vol 11 no. 4 (2012) [10.1145/2362336.2362349] [abs].
  • 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) [10.1109/tii.2012.2226594] [abs].
  • Pajic, M; Jiang, Z; Lee, I; Sokolsky, O; Mangharam, R, 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 (2012), pp. 173-184 [10.1109/RTAS.2012.25] [abs].
  • Pajic, M; Sundaram, S; Le Ny, J; Pappas, GJ; Mangharam, R, Closing the Loop: A Simple Distributed Method for Control over Wireless Networks, Proceedings of the 11th International Conference on Information Processing in Sensor Networks (2012), pp. 25-36 [10.1145/2185677.2185681] [abs].
  • Jiang, Z; Pajic, M; Moarref, S; Alur, R; Mangharam, R, Modeling and Verification of a Dual Chamber Implantable Pacemaker, vol 7214 (2012), pp. 188-203 [10.1007/978-3-642-28756-5_14] [abs].
  • Zhihao, J; Pajic, M; Mangharam, R, Cyber-Physical Modeling of Implantable Cardiac Medical Devices, Proceedings of the IEEE, vol 100 no. 1 (2012), pp. 122-137 [10.1109/JPROC.2011.2161241] [abs].
  • Jiang, Z; Pajic, M; Moarref, S; Alur, R; Mangharam, R, Modeling and Verification of a Dual Chamber Implantable Pacemaker, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2012), pp. 188-203 [10.1007/978-3-642-28756-5_14] [abs].
  • Pajic, M; Sundaram, S; Pappas, GJ; Mangharam, R, The wireless control network: A new approach for control over networks, IEEE Transactions on Automatic Control, vol 56 no. 10 (2011), pp. 2305-2318 [10.1109/TAC.2011.2163864] [abs].
  • Ivanov, R., ; Pajic, M; Lee, I., , Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems, ACM Transactions on Embedded Computing Systems [abs].
  • Pajic, M; Tabuada, P., ; Lee, I., ; Pappas, G.J., , Attack-Resilient State Estimation in the Presence of Noise, pp. 527-532 [abs].