# 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
- Assistant Professor of Computer Science

###### 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 459: Introduction to Embedded Systems
- ECE 495: Special Topics 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]. - 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 [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].