Menu:

Google Scholar citations

Publications (chronological order)


Journal Papers

  1. V. Lesi, I. Jovanov, and M. Pajic, "Security-Aware Scheduling of Embedded Control Tasks", ACM Transactions on Embedded Computing Systems, part of the ESWEEK-TECS special issue, presented in the International Conference on Embedded Software (EMSOFT), 2017. (Best Paper Award).

  2. M. Elfar, Z. Zhong, Z. Li, K. Chakrabarty, and M. Pajic, "Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips", ACM Transactions on Embedded Computing Systems, part of the ESWEEK-TECS special issue, presented in the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2017.

  3. F. Miao, Q. Zhu, M. Pajic, and G. J. Pappas, "A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems", Automatica, to appear.

  4. Z. Li, K. Yi-Tse Lai, P.H. Yu, K. Chakrabarty, M. Pajic, T.Y. Ho and C.Y. Lee, "Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017.

  5. J. Park, R. Ivanov, J. Weimer, M. Pajic, I. Lee, and S. H. Son, "Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults", ACM Transactions on Cyber-Physical Systems, 2017.

  6. Miroslav Pajic, Insup Lee, and George J. Pappas, "Attack-Resilient State Estimation for Noisy Dynamical Systems", IEEE Transactions on Control of Network Systems, 2017.

  7. Miroslav Pajic, James Weimer, Nicola Bezzo, Oleg Sokolsky, George J. Pappas, and Insup Lee "Design and Implementation of Attack-Resilient Cyber-Physical Systems", IEEE Control Systems, 2017.

  8. Fei Miao, Quanyan Zhu, Miroslav Pajic, and George J. Pappas, "Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks", IEEE Transactions on Control of Network Systems, 2017.

  9. Radoslav Ivanov, Miroslav Pajic, and Insup Lee, "Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems", ACM Transactions on Embedded Computing Systems, 2016.

  10. Zivana Jakovljevic, Radovan Puzovic, and Miroslav Pajic, "Recognition of Planar Segments in Point Cloud based on Wavelet Transform", Transactions on Industrial Informatics, 2015.

  11. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Opportunistic Control Over Shared Wireless Channels", IEEE Transactions on Automatic Control, 2015.

  12. Zivana Jakovljevic, Petar B. Petrovic, Dragan Milkovic, and Miroslav Pajic, "Diagnosis of irregularities in the robotized part mating process based on contextual recognition of contact states transitions", Assembly Automation, 2015.

  13. Zivana Jakovljevic, Petar Petrovic, Vladimir Mikovic, and Miroslav Pajic, "Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly", Journal of Intelligent Manufacturing, 2014.

  14. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam, "Safety-critical medical device development using the UPP2SF model translation tool", ACM Transactions on Embedded Computing Systems, 2014.

  15. Miroslav Pajic, 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, 2014.

  16. Zhihao Jiang, Miroslav Pajic, Rajeev Alur, and Rahul Mangharam, "Closed-loop Verification of Medical Devices with Model Abstraction and Refinement", International Journal on Software Tools for Technology Transfer, 2014. Invited paper.

  17. Rahul Mangharam and Miroslav Pajic, "Distributed Control for Cyber-Physical Systems", Journal of the Indian Institute of Science, 2013. Invited paper.

  18. Miroslav Pajic, Rahul Mangharam, George J. Pappas, and Shreyas Sundaram,"Topological Conditions for In-Network Stabilization of Dynamical Systems", IEEE Journal on Selected Areas in Communications, 2013.

  19. Miroslav Pajic, Alexander Chernoguzov, and Rahul Mangharam, "Robust architectures for embedded wireless network control and actuation", ACM Transactions on Embedded Computing Systems, 2012.

  20. M. Hadziahmetovic, Miroslav Pajic, S. Grieco, Y. Song, D. Song, Y. Li, A. Cwanger, J. Iacovelli, S. Chu, J. Connelly, M. Spino, and J. Dunaief, "The oral iron chelator deferiprone protects against retinal degeneration induced through diverse mechanisms", Translational Vision Science and Technology, 2012.

  21. Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam, "Cyber-Physical Modeling of Implantable Cardiac Medical Devices", Proceedings of the IEEE, 2012.

  22. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam, "The Wireless Control Network: A New Approach for Control over Networks", IEEE Transactions on Automatic Control, 2011.

  23. Miroslav Pajic and Rahul Mangharam, "Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks", EURASIP Journal on Wireless Communication and Networking, 2010.

  24. Chris Dick, fred harris, Miroslav Pajic, and Dragan Vuletic, "Implementing a Real-Time Beamformer on an FPGA Platform", XCell Journal, 2007.


Book Chapters

  1. Radoslav Ivanov, Miroslav Pajic, and Insup Lee, "Attack-Resilient Sensor Fusion for CPS", Multisensor Data Fusion: From Algorithm and Architecture Design to Applications, CRC Press, 2015.


Conference Papers

  1. I. Jovanov and M. Pajic, "Sporadic Data Integrity for Secure State Estimation", 56th IEEE Conference on Decision and Control (CDC), 2017, accepted.

  2. V. Lesi, I. Jovanov, and M. Pajic, "Network Scheduling for Secure Cyber-Physical Systems", IEEE Real-Time Systems Symposium (RTSS), 2017, to appear.

  3. V. Lesi, I. Jovanov, and M. Pajic, "Security-Aware Scheduling of Embedded Control Tasks", ACM International Conference on Embedded Software (EMSOFT) - journal version appears in ACM Transactions on Embedded Computing Systems, Seoul, Korea, 2017. (Best Paper Award).

  4. M. Elfar, Z. Zhong, Z. Li, K. Chakrabarty, and M. Pajic, "Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips", ACM International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, (CASES) - journal version appears in ACM Trans. on Embedded Computing Systems, Seoul Korea, 2017.

  5. J. Park, M. Pajic, O. Sokolsky, and I. Lee, "Automatic Verification of Finite Precision Implementations of Linear Controllers", International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017.

  6. Z. Jakovljevic, V. Majstorovic, S. Stojadinovic, S. Zivkovic, N. Gligorijevic and M. Pajic, "Cyber-Physical Manufacturing Systems", 5th International Conference on Advanced Manufacturing Engineering and Technologies (NEWTECH), 2017.

  7. Z. Jakovljevic, S. Mitrovic and M. Pajic, "Cyber Physical Production Systems - An IEC 61499 Perspective", 5th International Conference on Advanced Manufacturing Engineering and Technologies (NEWTECH), 2017.

  8. R. Fricks, H. Tseng, M. Pajic, and K. Trivedi, "Transient Performance and Availability Modeling in High Volume Eye Care Clinics", 63rd Annual Reliability and Maintainability Symposium (RAMS), 2017.

  9. Mohammed Ibrahim, Craig Boswell, Krishnendu Chakrabarty, Kristin Scott, and Miroslav Pajic, "A real-time digital-microfluidic platform for epigenetics", International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), 2016.

  10. Paul Bogdan, Miroslav Pajic, Partha Pande, and Vijay Raghunathan, "Making the internet-of-things a reality: from smart models, sensing and actuation to energy-efficient architectures", International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2016.

  11. Vuk Lesi, Zivana Jakovljevic, and Miroslav Pajic, "Towards Plug-n-Play Numerical Control for Reconfigurable Manufacturing Systems", 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016.

  12. Z. Li, K. Yi-Tse Lai Lai, P. H. Yu, K. Chakrabarty, M. Pajic, T. Y. Ho, and C.Y. Lee, "Error recovery in a micro-electrode-dot-array digital microfluidic biochip", International Conference on Computer Aided Design (ICCAD), 2016.

  13. Junkil Park, Miroslav Pajic, Insup Lee, and Oleg Sokolsky, "Scalable Verification of Linear Controller Software", Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016.

  14. R. Ivanov, N. Atanasov, J. Weimer, M. Pajic, A. Simpao, M. Rehman, G. J. Pappas, and I. Lee, "Estimation of Blood Oxygen Content Using Context-Aware Filtering", 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2016.

  15. Rahul Mangharam, Hassam Abbas, Madhur Behl, Kuk Jang, Miroslav Pajic and Zhihao Jiang "Three Cchallenges in Cyber-Physical Systems", 8th International Conference on Communication Systems and Networks (COMSNETS), 2016.

  16. Miroslav Pajic, Paulo Tabuada, Insup Lee, and George J. Pappas, "Attack-Resilient State Estimation in the Presence of Noise", 54rd IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015.

  17. Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky, "Automatic Verification of Linear Controller Software", ACM SIGBED International Conference on Embedded Software (EMSOFT), Amsterdam, Netherlands, 2015.

  18. Mohammad Al Faruque, Francesco Regazzoni, and Miroslav Pajic, "Design Methodologies for Securing Cyber-Physical Systems", International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Amsterdam, Netherlands, 2015.

  19. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, and Insup Lee, Robust Estimation Using Context-Aware Filtering", 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2015.

  20. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George J. Pappas, Robust Localization Using Context-Aware Filtering", Workshop on Multi VIew Geometry in Robotics, in conjunction with RSS (MVIGRO), Rome, Italy, 2015.

  21. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic and Insup Lee, "Sensor attack detection in the presence of transient faults", 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, 2015.

  22. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Opportunistic Sensor Scheduling in Wireless Control Systems", 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014.

  23. Fei Miao, Quanyan Zhu, Miroslav Pajic, and George J. Pappas, "Coding Sensor Outputs for Injection Attacks Detection", 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014.

  24. James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup Lee, "Attack-Resilient Minimum-Variance Estimation", American Control Conference, (ACC), 2014.

  25. Nicola Bezzo, James Weimer, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup Lee, "Attack Resilient State Estimation for Autonomous Robotic Systems", IEEE/RSJ International Conference on Intelligent Robots and Systems, (IROS), 2014.

  26. Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee, "Architecture-Centric Software Development for Cyber-Physical Systems", Workshop on Cyber-Physical System Architectures and Design Methodologies at ESWeek (CPSArch), New Delhi, India 2014.

  27. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George J. Pappas, "Robustness of Attack-resilient State Estimators", 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany 2014. (Best Paper Award).

  28. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels", 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany 2014. (Best Paper Award Finalist).

  29. Radoslav Ivanov, Miroslav Pajic, and Insup Lee, "Resilient multidimensional sensor fusion using measurement history", 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS), Berlin, Germany 2014.

  30. Radoslav Ivanov, Miroslav Pajic, and Insup Lee, "Attack-Resilient Sensor Fusion", Design, Automation and Test in Europe (DATE), Dresden, Germany 2014.

  31. Miroslav Pajic, Shreyas Sundaram, and George J. Pappas, "Stabilizability over Deterministic Relay Networks", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy 2013.

  32. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Power-aware communication for wireless sensor-actuator systems", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy 2013.

  33. Fei Miao, Miroslav Pajic, and George J. Pappas, "Stochastic Game Approach for Replay Attack Detection", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy 2013.

  34. Fei Miao, Miroslav Pajic, Rahul Mangharam, and George J. Pappas, "Networked Realization of Discrete-Time Controllers", American Control Conference (ACC), Washington DC, 2013.

  35. James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup Lee, "Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control", in Control of Cyber-Physical Systems (Workshop held at Johns Hopkins University), Lecture Notes in Control and Information Sciences, 2013.

  36. Miroslav Pajic, Oleg Sokolsky, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Paulo Tabuada, Stephanie Weirich, and Insup Lee, "Towards synthesis of platform-aware attack-resilient control systems", 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, PA, 2013.

  37. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam, "Closing the loop: a simple distributed method for control over wireless networks", 11th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), Beijing, China, 2012 (Best Presentation Award).

  38. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam, "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study", 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Beijing, China, 2012 (Best Student Paper Award).

  39. Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam, "Modeling and Verification of a Dual Chamber Implantable Pacemaker", 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Tallinn, Estonia, 2012 (Best Paper Candidate).

  40. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam, "Topological Conditions for Wireless Control Networks", Proc. of the 50th IEEE Conference on Decision and Control (CDC), Orlando, FL, 2011.

  41. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam, "Network Synthesis for Dynamical System Stabilization", Proc. of the 45th Annual Asilomar Conference on Signals, Systems, and Computers (Asilomar), Pacific Grove, CA, 2011.

  42. Zivana Jakovljevic, Miroslav Pajic, Dragan Aleksendric, and Dragan Milkovic, "Wireless Sensors Network Application in Machining Operations Control", Proc. of the 34th International Conference on Production Engineering (ICPE), Nis, Serbia, 2011.

  43. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam, "A Simple Distributed Method for Control over Wireless Networks", CPS Week Workshop on Real-Time Wireless for Industrial Applications (RealWIN), Chicago, IL, 2011.

  44. Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam, "Model-based Closed-loop Testing of Implantable Pacemakers", Proc. of the 2nd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Chicago, IL, 2011.

  45. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam, "The Wireless Control Network: Synthesis and Robustness", Proc. of the 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010.

  46. Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, and George J. Pappas, "The Wireless Control Network: Monitoring for Malicious Behavior", Proc. of the 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010.

  47. Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, and Rahul Mangharam, "Real-time Heart Model for Implantable Cardiac Device Validation and Verification", Proc. of the IEEE Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium, 2010.

  48. Miroslav Pajic and Rahul Mangharam, "Embedded Virtual Machines for Robust Wireless Control and Actuation", Proc. of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Stockholm, Sweden, 2010.

  49. David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, and Oleg Sokolsky, "Toward patient safety in closed-loop medical device systems", Proc. of the First ACM/IEEE International Conference on Cyber-Physical Systems, (ICCPS), Stockholm, Sweden, 2010.

  50. Miroslav Pajic and Rahul Mangharam, "Anti-Jamming for Embedded Wireless Networks", Proc. of the 8th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), San Francisco, CA, 2009.

  51. Rahul Mangharam and Miroslav Pajic, "Embedded Virtual Machines for Robust Wireless Control Systems ", Proc. of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW), Montreal, Canada, 2009.

  52. Miroslav Pajic and Rahul Mangharam, "WisperNet: Anti-Jamming for Wireless Sensor Networks ", Proc. of the 2nd Workshop on Embedded Systems Security - Workshop of the IEEE/ACM EMSOFT and the Embedded Systems Week (WESS), Atlanta, GA, 2008.

  53. Milos Jorgovanovic, Miroslav Pajic, Goran Kvascev, and Jelena Popovic, "FPGA Design of Arbitrary Down-sampler", Proc. of the 26th IEEE International Conference on Microelectronics (MIEL), Nis, Serbia, 2008.

  54. Chris Dick, fred harris, Miroslav Pajic, and Dragan Vuletic, "Real-Time QRD-Based Beamforming on an FPGA Platform", Proc. of the Fortieth Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2006.

  55. Miroslav Pajic and Srdjan Tadic, "QR Matrix Decomposition Algorithm Based on Virtex-4 FPGA Architecture", Proc. of the 50th Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering (ETRAN), Belgrade, Serbia, 2006.

  56. Miroslav Pajic, Slobodan Denic, and Srdjan Tadic, "Timing Synchronization in Burst PAM Modem ", Proc. of the 13th Telecommunications Forum (TELFOR), Belgrade, Serbia, 2005.

  57. Srdjan Tadic, Slobodan Denic, Miroslav Pajic and Dejan M. Dramicanin, "SDR implementation of CPFSK modem for land mobile radio", Proc. of the 12th Telecommunications Forum (TELFOR), Belgrade, Serbia, 2004.