Pajic

Miroslav Pajic

Professor in the Department of Electrical and Computer Engineering

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

Bio

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.

Education

  • Ph.D. University of Pennsylvania, 2012

Positions

  • Professor in the Department of Electrical and Computer Engineering
  • PROFESSOR in the Thomas Lord Department of Mechanical Engineering & Materials Science
  • Associate Professor of Computer Science

Courses Taught

  • MENG 553: Master of Engineering Assessment
  • 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
  • EGRCOOP 501: Engineering Graduate Cooperative Education 1
  • 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 494: Projects in Electrical and Computer Engineering
  • ECE 493: Projects in Electrical and Computer Engineering
  • ECE 459: Introduction to Embedded Systems
  • ECE 391: Projects in Electrical and Computer Engineering

In the News

Representative Publications

  • Pajic, M., J. Park, I. Lee, G. J. Pappas, and O. Sokolsky. “Automatic Verification of Linear Controller Software,” 217–26. IEEE, 2015. https://doi.org/10.1109/EMSOFT.2015.7318277.
  • Ivanov, R, Atanasov, N, M. Pajic, Pappas, G.J., and Lee, I. “Robust Estimation Using Context-Aware Filtering,” 2015.
  • Jakovljevic, Z., P. B. Petrovic, D. Milkovic, and M. Pajic. “Diagnosis of irregularities in the robotized part mating process based on contextual recognition of contact states transitions.” Assembly Automation 35, no. 2 (April 7, 2015): 190–99. https://doi.org/10.1108/AA-10-2014-077.
  • Jakovljevic, Z., R. Puzovic, and M. Pajic. “Recognition of Planar Segments in Point Cloud based on Wavelet Transform.” IEEE Transactions on Industrial Informatics, April 2015, 342–52. https://doi.org/10.1109/TII.2015.2389195.
  • Gatsis, K., M. Pajic, A. Ribeiro, and G. J. Pappas. “Opportunistic Control Over Shared Wireless Channels.” IEEE Transactions on Automatic Control, March 2015, 3140–55. https://doi.org/10.1109/TAC.2015.2416922.
  • Park, J., R. Ivanov, J. Weimer, M. Pajic, and I. Lee. “Sensor attack detection in the presence of transient faults.” In Proceedings of the 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), edited by A. M. Bayen and M. S. Branicky, 1–10. ACM, 2015. https://doi.org/10.1145/2735960.2735984.
  • Faruque, M. A. A., F. Regazzoni, and M. Pajic. “Design methodologies for securing cyber-physical systems.” In Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), edited by G. Nicolescu and A. Gerstlauer, 30–36. IEEE, 2015. https://doi.org/10.1109/CODESISSS.2015.7331365.
  • Gatsis, K., M. Pajic, A. Ribeiro, and G. J. Pappas. “Opportunistic scheduling of control tasks over shared wireless channels.” In Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference On, 48–59, 2014. https://doi.org/10.1109/ICCPS.2014.6843710.
  • Pajic, M., J. Weimer, N. Bezzo, P. Tabuada, O. Sokolsky, Insup Lee, and G. J. Pappas. “Robustness of attack-resilient state estimators.” In Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference On, 163–74, 2014. https://doi.org/10.1109/ICCPS.2014.6843720.
  • Jiang, Z., M. Pajic, R. Alur, and R. Mangharam. “Closed-loop verification of medical devices with model abstraction and refinement.” International Journal on Software Tools for Technology Transfer 16, no. 2 (April 1, 2014): 191–213. https://doi.org/10.1007/s10009-013-0289-7.
  • Ivanov, R., M. Pajic, and Insup Lee. “Attack-resilient sensor fusion.” In Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, 1–6, 2014. https://doi.org/10.7873/DATE.2014.067.
  • Pajic, M., Z. Jiang, I. Lee, O. Sokolsky, and R. Mangharam. “Safety-critical medical device development using the UPP2SF model translation tool.” Transactions on Embedded Computing Systems 13, no. 4 SPEC. ISSUE (January 1, 2014). https://doi.org/10.1145/2584651.
  • Pajic, M., S. Sundaram, and G. J. Pappas. “Stabilizability over deterministic relay networks.” In Decision and Control (CDC), 2013 IEEE 52nd Annual Conference On, 4018–23, 2013. https://doi.org/10.1109/CDC.2013.6760504.
  • Pajic, M., R. Mangharam, G. J. Pappas, and S. Sundaram. “Topological conditions for in-network stabilization of dynamical systems.” IEEE Journal on Selected Areas in Communications 31, no. 4 (April 4, 2013): 794–807. https://doi.org/10.1109/JSAC.2013.130415.
  • Pajic, M., A. Chernoguzov, and R. Mangharam. “Robust architectures for embedded wireless network control and actuation.” Transactions on Embedded Computing Systems 11, no. 4 (December 1, 2012). https://doi.org/10.1145/2362336.2362349.
  • Pajic, Miroslav, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian Goldman, and Insup Lee. “Model-Driven Safety Analysis of Closed-Loop Medical Systems.” IEEE Transactions on Industrial Informatics, October 2012. https://doi.org/10.1109/tii.2012.2226594.
  • Pajic, M., Zhihao Jiang, Insup Lee, O. Sokolsky, and R. Mangharam. “From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.” In Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th, 173–84, 2012. https://doi.org/10.1109/RTAS.2012.25.
  • Pajic, Miroslav, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam. “Closing the Loop: A Simple Distributed Method for Control over Wireless Networks.” In Proceedings of the 11th International Conference on Information Processing in Sensor Networks, 25–36. ACM, 2012. https://doi.org/10.1145/2185677.2185681.
  • Jiang, Zhihao, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 188–203. Springer-Verlag, 2012. https://doi.org/10.1007/978-3-642-28756-5_14.
  • Jiang, Zhihao, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” In Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara KÃ nig, 7214:188–203. Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-28756-5_14.
  • Zhihao, Jiang, M. Pajic, and R. Mangharam. “Cyber-Physical Modeling of Implantable Cardiac Medical Devices.” Proceedings of the IEEE 100, no. 1 (January 2012): 122–37. https://doi.org/10.1109/JPROC.2011.2161241.
  • Pajic, M., S. Sundaram, G. J. Pappas, and R. Mangharam. “The wireless control network: A new approach for control over networks.” IEEE Transactions on Automatic Control 56, no. 10 (October 1, 2011): 2305–18. https://doi.org/10.1109/TAC.2011.2163864.
  • Pajic, M., M. Tabuada, P., M. Lee, I., and M. Pappas, G.J. “Attack-Resilient State Estimation in the Presence of Noise,” 527–32, n.d.
  • Ivanov, R., M. Pajic, and Lee, I. “Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems (Accepted).” ACM Transactions on Embedded Computing Systems, n.d.