☰

Miroslav Pajic, Ph.D. - Publications

Affiliations: 
2012 Electrical and Systems Engineering University of Pennsylvania, Philadelphia, PA, United States 
Area:
Circuits and Computer Engineering
Tree Info Similar researchers PubMed Report error

41 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
2020 Jakovljevic Z, Lesi V, Pajic M. Attacks on Distributed Sequential Control in Manufacturing Automation Ieee Transactions On Industrial Informatics. 1-1. DOI: 10.1109/Tii.2020.2987629  0.406
2020 Jakovljevic Z, Lesi V, Mitrovic S, Pajic M. Distributing Sequential Control for Manufacturing Automation Systems Ieee Transactions On Control Systems Technology. 28: 1586-1594. DOI: 10.1109/Tcst.2019.2912776  0.472
2019 Wang Y, Zarei M, Bonakdarpour B, Pajic M. Statistical Verification of Hyperproperties for Cyber-Physical Systems Acm Transactions On Embedded Computing Systems. 18: 1-23. DOI: 10.1145/3358232  0.368
2019 Zhu H, Cummings ML, Elfar M, Wang Z, Pajic M. Operator Strategy Model Development in UAV Hacking Detection Ieee Transactions On Human-Machine Systems. 49: 540-549. DOI: 10.1109/Thms.2018.2888578  0.306
2019 Jovanov I, Pajic M. Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems Ieee Transactions On Automatic Control. 64: 4843-4858. DOI: 10.1109/Tac.2019.2898510  0.407
2018 Lee I, Pajic M. Guest Editorial: Special Issue on Medical Cyber-Physical Systems Acm Transactions On Cyber-Physical Systems. 2: 29. DOI: 10.1145/3243122  0.323
2018 Li Z, Lai KY, McCrone J, Yu P, Chakrabarty K, Pajic M, Ho T, Lee C. 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: 601-614. DOI: 10.1109/Tcad.2017.2729347  0.305
2018 Miao F, Zhu Q, Pajic M, Pappas GJ. A hybrid stochastic game for secure control of cyber-physical systems Automatica. 93: 55-63. DOI: 10.1016/J.Automatica.2018.03.012  0.388
2017 Lesi V, Jovanov I, Pajic M. Security-Aware Scheduling of Embedded Control Tasks Acm Transactions On Embedded Computing Systems. 16: 1-21. DOI: 10.1145/3126518  0.377
2017 Pajic M, Weimer J, Bezzo N, Sokolsky O, Pappas GJ, Lee I. Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators Ieee Control Systems Magazine. 37: 66-81. DOI: 10.1109/Mcs.2016.2643239  0.398
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  0.3
2016 Mangharam R, Abbas H, Behl M, Jang K, Pajic M, Jiang Z. Three challenges in cyber-physical systems 2016 8th International Conference On Communication Systems and Networks, Comsnets 2016. DOI: 10.1109/COMSNETS.2016.7440015  0.748
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  0.33
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  0.676
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  0.692
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  0.608
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  0.687
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  0.331
2013 Miao F, Pajic M, Mangharam R, Pappas GJ. Networked realization of discrete-time controllers Proceedings of the American Control Conference. 2996-3001.  0.33
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  0.698
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  0.709
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  0.682
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  0.618
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  0.676
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  0.655
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  0.671
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  0.691
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  0.651
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  0.667
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  0.658
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.  0.335
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.  0.371
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  0.647
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  0.62
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  0.663
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  0.618
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  0.678
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  0.618
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  0.648
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  0.667
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.  0.377
Show low-probability matches.