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

  • 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 496: Special Topics in Electrical and Computer Engineering
  • ECE 590: Advanced Topics in Electrical and Computer Engineering
  • ECE 891: Internship
  • ECE 899: Special Readings in Electrical Engineering
  • EGR 393: Research Projects in 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; 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].
  • 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].
  • 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].
  • 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].
  • 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, Acm 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, Proceedings of the Ieee Conference on Decision and Control (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, Acm 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 Technology and Applications Proceedings (2012), pp. 173-184 [10.1109/RTAS.2012.25] [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].
  • 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, 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].
  • 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].