Publications

Google Scholar

C90) S. Hallyburton, Y. Liu, and M. Pajic, "Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles", 2021, under review

C89) A. K. Bozkurt, Y. Wang, and M. Pajic, “Learning Optimal Strategies for Temporal Tasks in Stochastic Games”, 2021, under review. 

C88) Q. Gao, D.  Wang, J. Amason, S. Yuan, C. Tao, R. Henao, M. Hadziahmetovic, L. Carin, M. Pajic, “Imputation-Free Learning from Incomplete Observations”, submitted.

C87) A. Khazraei, S. Hallyburton, Q. Gao, Y. Wang, and M. Pajic, “Learning-Based Vulnerability Analysis of Cyber-Physical Systems”, under review

C86) Y. Wang, A. K. Bozkurt, and M. Pajic, “Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes”, under review.

C85) Y. Wang, Q. Gao, and M. Pajic, “Deep Learning for Stable Monotone Dynamical Systems”, under review.

C84) S. Sun, Y. Zhang, X. Luo, P. Vlantis, M. Pajic, and M. Zavlanos, “Formal Verification of Stochastic Systems with ReLU Neural Network Controllers”, under review.

J40) Y. Wang, A.K. Bozkurt, and M. Pajic, "Attack-Resilient Supervisory Control of Discrete Event Systems”, under review.

J39) V. Lesi, Z. Jakovljevic, and M. Pajic, "Distributing Numerical Control for Reconfigurable Manufacturing Systems”, under review.

J38) A. Khazraei and M. Pajic, "Attack-Resilient State Estimation with Intermittent Data Authentication”, Automatica, to appear.  

C83) A. K. Bozkurt, Y. Wang, and M. Pajic, “Model-Free Learning of Safe yet Effective Controllers”, 60th IEEE Conference on Decision and Control (CDC), 2021, accepted.

J37) M. Elfar, T.C. Liang, K. Chakrabarty, and M. Pajic, "Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systemsto appear.

J36) V. Lesi, Z. Jakovljevic and M. Pajic, "Security-Analysis for Distributed IoT-Based Industrial Automation”, IEEE Transactions on Automation Science and Engineering, to appear.

J35) Q. Gao, J. Amason, S. Cousins, M. Pajic, and M. Hadziahmetovic, "Automated Remote Diagnosis Tool for Multi-modal Identification of Retinal Pathology", ARVO’s Translational Vision Science & Technology (TVST), vol. 10, no. 30, pp. 30.1-30.12, May 2021.

C82) Y. Wang, S. Nalluri, B. Bonakdarpour, and M. Pajic, “Statistical Model Checking for Probabilistic Hyperproperties”, IEEE Computer Security Foundations Symposium (CSF), 2021.

C81) A. K. Bozkurt, Y. Wang and M. Pajic, “Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning”, IEEE International Conference on Robotics and Automation (ICRA), 2021.

C80) A. K. Bozkurt, Y. Wang, M. M. Zavlanos and M. Pajic, “Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives”, IEEE International Conference on Robotics and Automation (ICRA), 2021.

C79) Y. Wang, M. Zarei, B. Bonakdarpour, and M. Pajic, "Probabilistic Conformance for Cyber-Physical Systems", 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2021.

C78) M. Elfar, T. Liang, K. Chakrabarty, and M. Pajic, “Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips”, Design, Automation and Test in Europe Conference (DATE), 2021.

J34) Z. Jakovljevic, V. Lesi, and M. Pajic, "Attacks on Distributed Sequential Control in Manufacturing Automation”, IEEE Transactions on Industrial Informatics17(2), 775-786, Feb. 2021.

J33) X. Luo, M. Pajic, and M. Zavlanos, "A Scalable and Optimal Graph-Search Method for Secure State Estimation”, Automatica, 123(109323), Jan. 2021.

J32) T.C. Liang, Z. Zhong, M. Pajic, and K. Chakrabarty, "Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes", IEEE Transactions on Computer-Aided Design, part of the ESWEEK-TCAD special issue, in the 2020 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), 39(11), 3531-3543, Nov. 2020.

J31) Z. Jakovljevic, V. Lesi, S. Mitrovic, and M. Pajic, "Distributing Sequential Control for Manufacturing Automation Systems”, IEEE Transactions on Control Systems Technology, 28(4), 1586-1594, July 2020.

C77) M. Elfar, Y. Wang, and M. Pajic, “Context-Aware Temporal Logic for Probabilistic Systems”, 18th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020.

C76) A. K. Bozkurt, Y. Wang, M. M. Zavlanos and M. Pajic, “Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning”, IEEE International Conference on Robotics and Automation (ICRA), 2020

C75) Y. Wang, S. Nalluri and M. Pajic, “Hyperproperties for Robotics: Planning via HyperLTL”, IEEE International Conference on Robotics and Automation (ICRA), 2020.

C74) Q. Gao, M. Pajic, and M. Zavlanos, “Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations", IEEE International Conference on Robotics and Automation (ICRA), 2020.

J30) Q. Gao, Y. Xu, J. Amason, A. Loksztejn, S. Cousins, M. Pajic, and M. Hadziahmetovic, "Automated Recognition of Retinal Pigment Epithelium Cells on Limited Training Samples Using Neural Networks", ARVO’s Translational Vision Science & Technology (TVST), 9(2), 31.1-31.13, June 2020.

C73) A. Khazraei and M. Pajic, “Perfect Attackability of Linear Dynamical Systems with Bounded Noise”, 2020 American Control Conference (ACC), 2020.

J29) V. Lesi, I. Jovanov, and M. Pajic, "Integrating Security in Resource-Constrained Cyber-Physical Systems", ACM Transcations on Cyber-Physical Systems, 2020, 4(3), 28:1-28:7, May 2020.

C72) Q. Gao, M. Naumann, I. Jovanov, V. Lesi, K. Kumaravelu, W. Grill, and M. Pajic, “Model-based Design of Closed-Loop Deep Brain Stimulation Controllers using Reinforcement Learning”, 11th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2020.

C71) M. Zarei, Y. Wang and M. Pajic, “Statistical Verification of Learning-Enabled Controlled Systems”, 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2020.

J28) I. Jovanov and M. Pajic, "Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems", IEEE Transactions on Automatic Control, 64(12), 4843-4858, December 2019.

J27) H. Zhu, M.L. Cummings, M. Elfar, Z. Wang, and M. Pajic, "Operator Strategy Model Development in UAV Hacking Detection", IEEE Transactions on Human-Machine Systems (THMS), 49(6), 540-549, December 2019.

C70) Y. Wang and M. Pajic, “Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks”, 58th IEEE Conference on Decision and Control (CDC), 2019.

C69) Y. Wang and M. Pajic, “Attack-Resilient Supervisory Control with Intermittently Secure Communication”, 58th IEEE Conference on Decision and Control (CDC), 2019.

J26/C68) Y. Wang, M. Zarei, B. Bonakdarpour and M. Pajic, "Statistical Verification of Hyper-properties for Cyber-Physical Systems", ACM Transactions on Embedded Computing Systems, part of the ESWEEK-TECS special issue, the 19th ACM SIGBED International Conference on Embedded Software (EMSOFT), 18(5s), 92:1-92:23, October 2019. (Best Paper Award Finalist)

C67) V. Lesi, Z. Jakovljevic, and M. Pajic, “Synchronization of Distributed Controllers in Cyber-Physical Systems”, 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019.

C66) M. Elfar, Y. Wang, and M. Pajic, “Security-Aware Synthesis using Delayed-Action Games”, 31st International Conference on Computer-Aided Verification (CAV), 2019.

C65) M. Elfar, H. Zhu, M.L. Cummings, and M. Pajic, "Security-Aware Synthesis of Human-UAV Protocols", IEEE International Conference on Robotics and Automation (ICRA), 2019.

C64) V. Lesi, Z. Jakovljevic, and M. Pajic, "Reliable Industrial IoT-Based Distributed Automation", ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI), CPS-IoT Week , 2019.

C63) J. Park, M. Pajic, O. Sokolsky, and I. Lee, "LCV: A Verification Tool for Linear Controller Software", International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019.

C62) V. Lesi, Z. Jakovljevic, and M. Pajic, "Towards Resilient and Reliable Distributed Automation for Smart Manufacturing Systems", Workshop on Smart Manufacturing Modeling and Analysis (SM²N), CPS-IoT Week, 2019.

J25) R. Ivanov, N. Atanasov, M. Pajic, J. Weimer, G.J. Pappas, and I. Lee, "Continuous Estimation Using Context-Dependent Discrete Measurements", IEEE Transactions on Automatic Control, 64(1), 235-250, January 2019.

C61) I. Jovanov and M. Pajic, "Secure State Estimation with Cumulative Message Authentication", 57th IEEE Conference on Decision and Control (CDC), 2018.

C60) B. Bonakdarpour, J. Deshmukh, and M. Pajic, "Opportunities and Challenges in Monitoring Cyber-Physical Systems Security", International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), 2018.

J24) F. Miao, Q. Zhu, M. Pajic, and G.J. Pappas, "A Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems", Automatica, 93, 55-63, July 2018.

C59) I. Jovanov, M. Naumann, K. Kumaravelu, W. Grill, and M. Pajic, "Platform for Model-Based Design and Testing for Deep Brain Stimulation", 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2018.

J23) Z. Li, Yi-Tse K. 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, 37(3), 601-614, March 2018.

C58) H. Zhu, M. Elfar, M. Pajic, and M. L. Cummings, "Human Augmentation of UAV Cyber-Attack Detection", International Conference on Human-Computer Interaction (HCII), 2018.

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

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

J20) 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, 1(3), 15:1-15:23, May 2017.

J22/C55) 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, the 17th ACM SIGBED International Conference on Embedded Software (EMSOFT), 16(5s), 188:1-188:21, October 2017. (Best Paper Award)

J21/Ct4) 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, 2017 ACM International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 16(5s), 127:1-127:22, October 2017.

J19) M. Pajic, J. Weimer, N. Bezzo, O. Sokolsky, G.J. Pappas, and I. Lee, "Design and Implementation of Attack-Resilient Cyber-Physical Systems", IEEE Control Systems, 37(2), 66-81, April 2017. 

J18) M. Pajic, I. Lee, and G.J. Pappas, "Attack-Resilient State Estimation for Noisy Dynamical Systems", IEEE Transactions on Control of Network Systems, 4(1), 82-92, March 2017.

J17) F. Miao, Q. Zhu, M. Pajic, and G.J. Pappas, "Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks", IEEE Transactions on Control of Network Systems, 4(1), 106-117, March 2017.

C53) 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.

C52) 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.

C51) 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.

C50) 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.

C49) M. Ibrahim, C. Boswell, K. Chakrabarty, K. Scott, and M. Pajic, "A real-time digital-microfluidic platform for epigenetics", International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), 2016.

C48) P. Bogdan, M. Pajic, P. Pande, and V. 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.

C47) Z. Li, Yi-Tse Lai K. 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.

C46) 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.

J16) R. Ivanov, M. Pajic, and I. Lee, "Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems", ACM Transactions on Embedded Computing Systems, 15(1), 21:1-21:24, February 2016. 

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

C44) J. Park, M. Pajic, I. Lee, and O. Sokolsky, "Scalable Verification of Linear Controller Software", Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016.

C43) R. Mangharam, H. Abbas, M. Behl, K. Jang, M. Pajic, and Z. Jiang, "Three Challenges in Cyber-Physical Systems", 8th International Conference on Communication Systems and Networks (COMSNETS), 2016.

C42) M. Pajic, P. Tabuada, I. Lee, and G.J. Pappas, "Attack-Resilient State Estimation in the Presence of Noise", 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015.

C41) M. Pajic, J. Park, I. Lee, G.J. Pappas, and O. Sokolsky, "Automatic Verification of Linear Controller Software", ACM SIGBED International Conference on Embedded Software (EMSOFT), Amsterdam, Netherlands, 2015.

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

C39) R. Ivanov, N. Atanasov, M. Pajic, G.J. Pappas, and I. Lee, "Robust Estimation Using Context-Aware Filtering", 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2015.

C38) R. Ivanov, N. Atanasov, M. Pajic, I. Lee, and G.J. Pappas, "Robust Localization Using Context-Aware Filtering", Workshop on Multi VIew Geometry in Robotics, in conjunction with RSS (MVIGRO), Rome, Italy, 2015.

C37) J. Park, R. Ivanov, J. Weimer, M. Pajic, and I. Lee, "Sensor attack detection in the presence of transient faults", 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, 2015. 

J15) Z. Jakovljevic, R. Puzovic, and M. Pajic, "Recognition of Planar Segments in Point Cloud based on Wavelet Transform", IEEE Transactions on Industrial Informatics,  11(2), 342-352, April 2015.

J14) Z. Jakovljevic, 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(2), 190-199, April 2015.

J13) K. Gatsis, M. Pajic, A. Ribeiro, and G.J. Pappas, "Opportunistic Control Over Shared Wireless Channels", IEEE Transactions on Automatic Control, 60(12), 3140-3155, March 2015. 

C36) K. Gatsis, M. Pajic, A. Ribeiro, and G.J. Pappas, "Opportunistic Sensor Scheduling in Wireless Control Systems", 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, 2014.

C35) F. Miao, Q. Zhu, M. Pajic, and G.J. Pappas, "Coding Sensor Outputs for Injection Attacks Detection", 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, 2014.

J12) Z. Jakovljevic, P.B. Petrovic, V. Mikovic, and M. Pajic, "Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly", Journal of Intelligent Manufacturing, 25(3), 571-587, June 2014.

C34) O. Sokolsky, M. Pajic, N. Bezzo, and I. 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.

C33) N. Bezzo, J. Weimer, M. Pajic, G.J. Pappas, O. Sokolsky, and I. Lee, "Attack Resilient State Estimation for Autonomous Robotic Systems", IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014.

C32) J. Weimer, N. Bezzo, M. Pajic, O. Sokolsky, and I. Lee, "Attack-Resilient Minimum-Variance Estimation", American Control Conference (ACC), 2014.

C31) M. Pajic, J. Weimer, N. Bezzo, P. Tabuada, O. Sokolsky, I. Lee, and G.J. Pappas, "Robustness of Attack-resilient State Estimators", 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany 2014. (Best Paper Award).

C30) K. Gatsis, M. Pajic, A. Ribeiro, and G.J. Pappas, "Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels" In 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany 2014. (Best Paper Award Finalist).

C29) R. Ivanov, M. Pajic, and I. Lee, "Resilient multidimensional sensor fusion using measurement history", 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS), Berlin, Germany, 2014.

J11) Z. Jiang, 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(2), 191-213, April 2014.

J10) M. Pajic, Z. Jiang, I. Lee, O. Sokolsky, and R. Mangharam, "Safety-critical medical device development using the UPP2SF model translation tool", ACM Transactions on Embedded Computing Systems,  13(4s), 127.1-127.26, March 2014.

J9) M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman, and I. Lee, "Model-Driven Safety Analysis of Closed-Loop Medical Systems", IEEE Transactions on Industrial Informatics, 10(1), 3-16, February 2014.

C28) R. Ivanov, M. Pajic, and I. Lee, "Attack-Resilient Sensor Fusion", Design, Automation and Test in Europe (DATE), Dresden, Germany, 2014.

C27) M. Pajic, S. Sundaram, and G.J. Pappas, "Stabilizability over Deterministic Relay Networks", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, 2013.

C26) F. Miao, M. Pajic, and G.J. Pappas, "Stochastic Game Approach for Replay Attack Detection", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, 2013.

C25) K. Gatsis, M. Pajic, A. Ribeiro, and G.J. Pappas, "Power-aware communication for wireless sensor-actuator systems", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, 2013.

C24) F. Miao, M. Pajic, R. Mangharam, and G.J. Pappas, "Networked Realization of Discrete-Time Controllers", American Control Conference (ACC), Washington DC, 2013.

J8) R. Mangharam, and M. Pajic, "Distributed Control for Cyber-Physical Systems", Journal of the Indian Institute of Science, 93(3), 353-387, July - September 2013. 

C23) J. Weimer, N. Bezzo, M. Pajic, G.J. Pappas, O. Sokolsky, and I. Lee, "Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control", Control of Cyber-Physical Systems, Workshop held at Johns Hopkins University, Lecture Notes in Control and Information Sciences, 2013.

C22) M. Pajic, O. Sokolsky, R. Alur, R. Mangharam, N. Michael, G.J. Pappas, P. Tabuada, S. Weirich, and I. Lee, "Towards synthesis of platform-aware attack-resilient control systems", 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), Philadelphia, PA, 2013.

J7) M. Pajic, 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(4), 794-807, April 2013.

 

J6) M. Pajic, A. Chernoguzov, and R. Mangharam, "Robust architectures for embedded wireless network control and actuation", ACM Transactions on Embedded Computing Systems,  11(4), 82:1-82:24, December 2012.

C21) M. Pajic, Z. Jiang, I. Lee, O. Sokolsky, and R. 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).

C20) M. Pajic, S. Sundaram, J. Le Ny, G.J. Pappas, and R. 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).

C19) Z. Jiang, M. Pajic, S. Moarref, R. Alur, and R. 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).

J5) Z. Jiang, M. Pajic, and R. Mangharam, "Cyber-Physical Modeling of Implantable Cardiac Medical Devices", Proceedings of the IEEE, 100(1), 122-137, January 2012.

J4) M. Hadziahmetovic, M. Pajic, S. Grieco, Y. Song, D. Song, Y. Li, A. Cwanger, J. Iacovelli, S. Chu, J. Connelly et al. "The Oral Iron Chelator Deferiprone Protects Against Retinal Degeneration Induced Through Diverse Mechanisms", Translational Vision Science and Technology, 1(3), 2012.

C18) M. Pajic, S. Sundaram, G.J. Pappas, and R. Mangharam, "Topological Conditions for Wireless Control Networks", 50th IEEE Conference on Decision and Control (CDC), Orlando, FL, 2011.

J3) M. Pajic, 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(10), 2305-2318, October 2011.

C17) M. Pajic, S. Sundaram, G.J. Pappas, and R. Mangharam, "Network Synthesis for Dynamical System Stabilization", 45th Annual Asilomar Conference on Signals, Systems, and Computers (Asilomar), Pacific Grove, CA, 2011.

C16) Z. Jiang, M. Pajic, and R. Mangharam, "Model-based Closed-loop Testing of Implantable Pacemakers", 2nd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Chicago, IL, 2011.

C15) M. Pajic, S. Sundaram, G.J. Pappas, and R. Mangharam, "A Simple Distributed Method for Control over Wireless Networks", CPS Week Workshop on Real-Time Wireless for Industrial Applications (RealWIN), Chicago, IL, 2011.

C14) Z. Jakovljevic, M. Pajic, D. Aleksendric, and D. Milkovic, "Wireless Sensors Network Application in Machining Operations Control", 34th International Conference on Production Engineering (ICPE), Nis, Serbia, 2011.

C13) S. Sundaram, M. Pajic, C.N. Hadjicostis, R. Mangharam, and G.J. Pappas, "The Wireless Control Network: Monitoring for Malicious Behavior", 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010.

C12) M. Pajic, S. Sundaram, J. Le Ny, G.J. Pappas, and R. Mangharam, "The Wireless Control Network: Synthesis and Robustness", 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010.

C11) M. Pajic and R. Mangharam, "Embedded Virtual Machines for Robust Wireless Control and Actuation", 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)Stockholm, Sweden, 2010.

C10) D. Arney, M. Pajic, J.M. Goldman, I. Lee, R. Mangharam, and O. Sokolsky, "Toward patient safety in closed-loop medical device systems", First ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Stockholm, Sweden, 2010.

J2) M. Pajic, and R. Mangharam, "Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks,EURASIP Journal on Wireless Communication and Networking, vol. 2010, ID 819318, doi: 10.1155/2010/819318, 2010.

C9) Z. Jiang, M. Pajic, A. Connolly, S. Dixit, and R. Mangharam, "Real-time Heart Model for Implantable Cardiac Device Validation and Verification", IEEE Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium, 2010.

C8) M. Pajic, and R. Mangharam, "Anti-Jamming for Embedded Wireless Networks", 8th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), San Francisco, CA, 2009. 

C7) R. Mangharam, and M. Pajic, "Embedded Virtual Machines for Robust Wireless Control Systems", 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW), Montreal, Canada, 2009. 

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

C5) M. Jorgovanovic, M. Pajic, G. Kvascev, and J. Popovic, "FPGA Design of Arbitrary Down-sampler", 26th IEEE International Conference on Microelectronics (MIEL), Nis, Serbia, 2008.

J1) C. Dick, F. Harris, M. Pajic, and D. Vuletic, "Implementing a Real-Time Beamformer on an FPGA Platform", XCell Journal, Second Quarter 2007, 36-40, May 2007.

C4) C. Dick, F. Harris, M. Pajic, and D. Vuletic, "Real-Time QRD-Based Beamforming on an FPGA Platform", Fortieth Asilomar Conference on Signals, Systems and Computers (ASILOMAR), Pacific Grove, CA, 2006.

C3) M. Pajic and S. Tadic, "QR Matrix Decomposition Algorithm Based on Virtex-4 FPGA Architecture", 50th Conference for Electronics, Telecommunications, Computers, Automatic Control and Nuclear Engineering (ETRAN), Belgrade, Serbia, 2006.

C2) M. Pajic, S. Denic, and S. Tadic, "Timing Synchronization in Burst PAM Modem", 13th Telecommunications Forum (TELFOR), Belgrade, Serbia, 2005.

C1) S. Tadic, S. Denic, M. Pajic, and D.M. Dramicanin, "SDR implementation of CPFSK modem for land mobile radio", 12th Telecommunications Forum (TELFOR), Belgrade, Serbia, 2004.

 

Book Chapter 

1) R. Ivanov, M. Pajic, and I. Lee, "Attack-Resilient Sensor Fusion for CPS", In Multisensor Data Fusion: From Algorithm and Architecture Design to Applications, CRC Press, August 2015.