Miroslav Pajic

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.

Appointments and Affiliations

  • Nortel Networks Assistant Professor in the Pratt School of Engineering
  • Assistant Professor in the Department of Electrical and Computer Engineering
  • Assistant Professor of Computer Science

Contact Information

  • Email Address: mp275@duke.edu
  • Websites:

Education

  • Ph.D. University of Pennsylvania, 2012

Research Interests

Design and analysis of cyber-physical systems (CPS), in particular, embedded systems, distributed/networked control systems, CPS security, and high-confidence medical systems

Courses Taught

  • COMPSCI 391: Independent Study
  • ECE 391: Projects in Electrical and Computer Engineering
  • ECE 392: Projects in Electrical and Computer Engineering
  • ECE 459: Introduction to Embedded Systems
  • ECE 493: Projects in Electrical and Computer Engineering
  • ECE 494: Projects in Electrical and Computer Engineering
  • ECE 495: Special Topics in Electrical and Computer Engineering
  • ECE 590: Advanced Topics in Electrical and Computer Engineering
  • ECE 891: Internship
  • EGR 393: Research Projects in Engineering

In the News

Representative Publications

  • Ivanov, R; Atanasov, N; Pajic, M; Pappas, G; Lee, I, Robust estimation using context-aware filtering, 2015 53rd Annual Allerton Conference on Communication, Control, and Computing, Allerton 2015 (2016), pp. 590-597 [10.1109/ALLERTON.2015.7447058] [abs].
  • Ivanov, R; Pajic, M; Lee, I, Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems, Acm Transactions on Embedded Computing Systems, vol 15 no. 1 (2016), pp. 1-24 [10.1145/2847418] [abs].
  • 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].
  • 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].
  • 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].
  • 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].
  • 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 [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 (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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 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].
  • Pajic, M; Tabuada, P., ; Lee, I., ; Pappas, G.J., , Attack-Resilient State Estimation in the Presence of Noise, pp. 527-532 [abs].