Miroslav Pajic

Image of Miroslav Pajic

Assistant Professor in the Department of Electrical and Computer 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.

Appointments and Affiliations
  • Assistant Professor in the Department of Electrical and Computer Engineering
Contact Information:
  • Email Address: miroslav.pajic@duke.edu
  • Web Page:
Education:

  • Ph.D. University of Pennsylvania, 2012

Research Interests:

Miroslav Pajic's research focuses on the design and analysis of cyber-physical systems. In particular, his research explores real-time and embedded systems, distributed/networked control systems, and high-confidence medical device systems. Because his research is frequently motivated by problems that occur during implementation and system integration, all of his projects involve system building and thorough experimental evaluation.

Awards, Honors, and Distinctions:

    Courses Taught:
    • ECE 392: Undergraduate Research in Electrical and Computer Engineering
    • ECE 590: Advanced Topics in Electrical and Computer Engineering
    • ECE 899: Special Readings in Electrical Engineering

    Representative Publications: (More 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].
      • 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].
      • 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].
      • Pajic, M; Jiang, Z; Lee, I; Sokolsky, O; Mangharam, R, Safety-critical medical device development using the UPP2SF model translation tool, ACM Transactions on Embedded Computing Systems, vol 13 no. 4s (2014), pp. 1-26 [10.1145/2584651] [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].
      • 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].
      • 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, vol 10 no. 1 (2014), pp. 3-16 [10.1109/TII.2012.2226594] [abs].
      • Ivanov, R; Pajic, M; Lee, I, Attack-resilient sensor fusion., DATE (2014), pp. 1-6 [10.7873/DATE.2014.067] [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; Sundaram, S; Pappas, GJ, Stabilizability over deterministic relay networks, Proceedings of the IEEE Conference on Decision and Control (2013), pp. 4018-4023 [10.1109/CDC.2013.6760504] [abs].
      • Pajic, M; Chernoguzov, A; Mangharam, R, Robust architectures for embedded wireless network control and actuation, ACM Transactions on Embedded Computing Systems, vol 11 no. 4 (2012), pp. 1-24 [10.1145/2362336.2362349] [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 Technology and Applications - Proceedings (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, IPSN'12 - 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, Lecture notes in computer science, vol 7214 LNCS (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 Institute of Electrical and Electronics Engineers (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, vol 7214 (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].