Miroslav Pajic, Ph.D. - Publications

Affiliations: 
2012 Electrical and Systems Engineering University of Pennsylvania, Philadelphia, PA, United States 
Area:
Circuits and Computer Engineering

52 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Ivanov R, Pajic M, Lee I. Attack-resilient sensor fusion for safety-critical cyber-physical systems Acm Transactions On Embedded Computing Systems. 15. DOI: 10.1145/2847418  1
2016 Pajic M, Tabuada P, Lee I, Pappas GJ. Attack-resilient state estimation in the presence of noise Proceedings of the Ieee Conference On Decision and Control. 2016: 5827-5832. DOI: 10.1109/CDC.2015.7403135  1
2016 Park J, Pajic M, Lee I, Sokolsky O. Scalable verification of linear controller software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9636: 662-679. DOI: 10.1007/978-3-662-49674-9_43  1
2015 Park J, Ivanov R, Weimer J, Lee I, Pajic M. Sensor attack detection in the presence of transient faults Acm/Ieee 6th International Conference On Cyber-Physical Systems, Iccps 2015. 1-10. DOI: 10.1145/2735960.2735984  1
2015 Jakovljevic Z, Puzovic R, Pajic M. Recognition of Planar Segments in Point Cloud Based on Wavelet Transform Ieee Transactions On Industrial Informatics. 11: 342-352. DOI: 10.1109/TII.2015.2389195  1
2015 Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Opportunistic Control Over Shared Wireless Channels Ieee Transactions On Automatic Control. 60: 3140-3155. DOI: 10.1109/TAC.2015.2416922  1
2015 Pajic M, Park J, Lee I, Pappas GJ, Sokolsky O. Automatic verification of linear controller software 2015 Proceedings of the International Conference On Embedded Software, Emsoft 2015. 217-226. DOI: 10.1109/EMSOFT.2015.7318277  1
2015 Faruque MA, Regazzoni F, Pajic M. Design methodologies for securing cyber-physical systems 2015 International Conference On Hardware/Software Codesign and System Synthesis, Codes+Isss 2015. 30-36. DOI: 10.1109/CODESISSS.2015.7331365  1
2015 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. 35: 190-199. DOI: 10.1108/AA-10-2014-077  1
2014 Pajic M, Jiang Z, Lee I, Sokolsky O, Mangharam R. Safety-critical medical device development using the UPP2SF model translation tool Transactions On Embedded Computing Systems. 13. DOI: 10.1145/2584651  1
2014 Ivanov R, Pajic M, Lee I. Resilient multidimensional sensor fusion using measurement history Hicons 2014 - Proceedings of the 3rd International Conference On High Confidence Networked Systems (Part of Cps Week). 1-10. DOI: 10.1145/2566468.2566475  1
2014 Bezzo N, Weimer J, Pajic M, Sokolsky O, Pappas GJ, Lee I. Attack resilient state estimation for autonomous robotic systems Ieee International Conference On Intelligent Robots and Systems. 3692-3698. DOI: 10.1109/IROS.2014.6943080  1
2014 Pajic M, Weimer J, Bezzo N, Tabuada P, Sokolsky O, Lee I, Pappas GJ. Robustness of attack-resilient state estimators 2014 Acm/Ieee International Conference On Cyber-Physical Systems, Iccps 2014. 163-174. DOI: 10.1109/ICCPS.2014.6843720  1
2014 Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Opportunistic scheduling of control tasks over shared wireless channels 2014 Acm/Ieee International Conference On Cyber-Physical Systems, Iccps 2014. 48-59. DOI: 10.1109/ICCPS.2014.6843710  1
2014 Miao F, Zhu Q, Pajic M, Pappas GJ. Coding sensor outputs for injection attacks detection Proceedings of the Ieee Conference On Decision and Control. 2015: 5776-5781. DOI: 10.1109/CDC.2014.7040293  1
2014 Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Opportunistic sensor scheduling in wireless control systems Proceedings of the Ieee Conference On Decision and Control. 2015: 3777-3782. DOI: 10.1109/CDC.2014.7039977  1
2014 Weimer J, Bezzo N, Pajic M, Sokolsky O, Lee I. Attack-resilient minimum mean-squared error estimation Proceedings of the American Control Conference. 1114-1119. DOI: 10.1109/ACC.2014.6859478  1
2014 Jakovljevic Z, Petrovic PB, Mikovic VD, Pajic M. Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly Journal of Intelligent Manufacturing. 25: 571-587. DOI: 10.1007/s10845-012-0706-x  1
2014 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. 16: 191-213. DOI: 10.1007/s10009-013-0289-7  1
2013 Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, Pappas GJ, Sokolsky O, Tabuada P, Weirich S, Lee I. Towards synthesis of platform-aware attack-resilient control systems: Extended abstract Hicons 2013 - Proceedings of the 2nd Acm International Conference On High Confidence Networked Systems, Part of Cpsweek 2013. 75-76. DOI: 10.1145/2461446.2461457  1
2013 Pajic M, Mangharam R, Pappas GJ, Sundaram S. Topological conditions for in-network stabilization of dynamical systems Ieee Journal On Selected Areas in Communications. 31: 794-807. DOI: 10.1109/JSAC.2013.130415  1
2013 Pajic M, Bezzo N, Weimer J, Sokolsky O, Michael N, Pappas GJ, Tabuada P, Lee I. Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems 2013 Acm/Ieee International Conference On Cyber-Physical Systems, Iccps 2013. 251. DOI: 10.1109/ICCPS.2013.6604030  1
2013 Pajic M, Sundaram S, Pappas GJ. Stabilizability over deterministic relay networks Proceedings of the Ieee Conference On Decision and Control. 4018-4023. DOI: 10.1109/CDC.2013.6760504  1
2013 Gatsis K, Pajic M, Ribeiro A, Pappas GJ. Power-aware communication for wireless sensor-actuator systems Proceedings of the Ieee Conference On Decision and Control. 4006-4011. DOI: 10.1109/CDC.2013.6760502  1
2013 Miao F, Pajic M, Pappas GJ. Stochastic game approach for replay attack detection Proceedings of the Ieee Conference On Decision and Control. 1854-1859. DOI: 10.1109/CDC.2013.6760152  1
2013 Weimer J, Bezzo N, Pajic M, Pappas GJ, Sokolsky O, Lee I. Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control Lecture Notes in Control and Information Sciences. 449: 197-216. DOI: 10.1007/978-3-319-01159-2_11  1
2013 Miao F, Pajic M, Mangharam R, Pappas GJ. Networked realization of discrete-time controllers Proceedings of the American Control Conference. 2996-3001.  1
2013 Mangharam R, Pajic M. Distributed control for cyber-physical systems Journal of the Indian Institute of Science. 93: 353-387.  1
2012 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 / a Publication of the Ieee Industrial Electronics Society. PMID 24177176 DOI: 10.1109/TII.2012.2226594  1
2012 Pajic M, Chernoguzov A, Mangharam R. Robust architectures for embedded wireless network control and actuation Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2362336.2362349  1
2012 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. 25-36. DOI: 10.1145/2185677.2185681  1
2012 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. 173-184. DOI: 10.1109/RTAS.2012.25  1
2012 Jiang Z, Pajic M, Mangharam R. Cyber-physical modeling of implantable cardiac medical devices Proceedings of the Ieee. 100: 122-137. DOI: 10.1109/JPROC.2011.2161241  1
2012 Sarode S, Radhakrishnan S, Sampath V, Jiang Z, Pajic M, Mangharam R. Demo abstract: Model-based testing of implantable cardiac devices Proceedings - 2012 Ieee/Acm 3rd International Conference On Cyber-Physical Systems, Iccps 2012. 221. DOI: 10.1109/ICCPS.2012.42  1
2012 Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and verification of a dual chamber implantable pacemaker Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7214: 188-203. DOI: 10.1007/978-3-642-28756-5_14  1
2011 Pajic M, Sundaram S, Pappas GJ, Mangharam R. The wireless control network: A new approach for control over networks Ieee Transactions On Automatic Control. 56: 2305-2318. DOI: 10.1109/TAC.2011.2163864  1
2011 Jiang Z, Pajic M, Mangharam R. Model-based closed-loop testing of implantable pacemakers Proceedings - 2011 Ieee/Acm 2nd International Conference On Cyber-Physical Systems, Iccps 2011. 131-140. DOI: 10.1109/ICCPS.2011.28  1
2011 Pajic M, Sundaram S, Pappas GJ, Mangharam R. Topological conditions for wireless control networks Proceedings of the Ieee Conference On Decision and Control. 2353-2360. DOI: 10.1109/CDC.2011.6161347  1
2011 Pajic M, Sundaram S, Pappas GJ, Mangharam R. Network synthesis for dynamical system stabilization Conference Record - Asilomar Conference On Signals, Systems and Computers. 821-825. DOI: 10.1109/ACSSC.2011.6190122  1
2011 Pajic M, Sundaram S, Aneja M, Vemuri S, Mangharam R, Pappas GJ. Architecture for a fully distributed Wireless Control Network Proceedings of the 10th Acm/Ieee International Conference On Information Processing in Sensor Networks, Ipsn'11. 117-118.  1
2011 Jiang Z, Pajic M, Mangharam R. Demo abstract: Closed-loop testing for implantable cardiac pacemakers Proceedings of the 10th Acm/Ieee International Conference On Information Processing in Sensor Networks, Ipsn'11. 119-120.  1
2010 Mangharam R, Pajic M. Spatio-temporal techniques for anti-jamming in embedded wireless networks Eurasip Journal On Wireless Communications and Networking. 2010. DOI: 10.1155/2010/819318  1
2010 Jiang Z, Pajic M, Connolly A, Dixit S, Mangharam R. Demo abstract: A platform for implantable medical device validation Proceedings - Wireless Health 2010, Wh'10. 208-209. DOI: 10.1145/1921081.1921115  1
2010 Arney D, Pajic M, Goldman JM, Lee I, Mangharam R, Sokolsky O. Toward patient safety in closed-loop medical device systems Proceedings of the 1st Acm/Ieee International Conference On Cyber-Physical Systems, Iccps '10. 139-148. DOI: 10.1145/1795194.1795214  1
2010 Pajic M, Jiang Z, Connolly A, Dixit S, Mangharam R. A platform for implantable medical device validation Proceedings of the 9th Acm/Ieee International Conference On Information Processing in Sensor Networks, Ipsn '10. 418-419. DOI: 10.1145/1791212.1791284  1
2010 Pajic M, Mangharam R. Embedded virtual machines for robust wireless control and actuation Real-Time Technology and Applications - Proceedings. 79-88. DOI: 10.1109/RTAS.2010.43  1
2010 Jiang Z, Pajic M, Connolly A, Dixit S, Mangharam R. Real-time heart model for implantable cardiac device validation and verification Proceedings - Euromicro Conference On Real-Time Systems. 239-248. DOI: 10.1109/ECRTS.2010.36  1
2010 Sundaram S, Pajic M, Hadjicostis CN, Mangharam R, Pappas GJ. The wireless control network: Monitoring for malicious behavior Proceedings of the Ieee Conference On Decision and Control. 5979-5984. DOI: 10.1109/CDC.2010.5717166  1
2010 Pajic M, Sundaram S, Le Ny J, Pappas GJ, Mangharam R. The wireless control network: Synthesis and robustness Proceedings of the Ieee Conference On Decision and Control. 7576-7581. DOI: 10.1109/CDC.2010.5717159  1
2009 Mangharam R, Pajic M, Sastry S. Demo abstract: Embedded virtual machines for wireless industrial automation 2009 International Conference On Information Processing in Sensor Networks, Ipsn 2009. 413-414.  1
2009 Pajic M, Mangharam R. Anti-jamming for embedded wireless networks 2009 International Conference On Information Processing in Sensor Networks, Ipsn 2009. 301-312.  1
2006 Dick C, Harris F, Pajic M, Vuletic D. Real-time QRD-based beamforming on an FPGA platform Conference Record - Asilomar Conference On Signals, Systems and Computers. 1200-1204. DOI: 10.1109/ACSSC.2006.354945  1
Show low-probability matches.