![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Miroslav Pajic
Person information
- affiliation: Duke University, NC, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j36]Yiran Chen
, Suman Banerjee, Shaundra Daily, Jeffery Krolik, Hai (Helen) Li, Daniel B. Limbrick, Miroslav Pajic, Rajashi Runton, Lin Zhong:
Athena - The NSF AI Institute for Edge Computing. AI Mag. 45(1): 15-21 (2024) - [j35]Xiaoxuan Yang
, Zhangyang Wang
, X. Sharon Hu
, Chris H. Kim
, Shimeng Yu
, Miroslav Pajic
, Rajit Manohar
, Yiran Chen
, Hai Helen Li
:
Neuro-Symbolic Computing: Advancements and Challenges in Hardware-Software Co-Design. IEEE Trans. Circuits Syst. II Express Briefs 71(3): 1683-1689 (2024) - 2023
- [j34]Mahmoud Elfar
, Yi-Chen Chang
, Harrison Hao-Yu Ku
, Tung-Che Liang, Krishnendu Chakrabarty
, Miroslav Pajic
:
Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4): 1212-1222 (2023) - [j33]Vuk Lesi
, Zivana Jakovljevic
, Miroslav Pajic
:
IoT-Enabled Motion Control: Architectural Design Challenges and Solutions. IEEE Trans. Ind. Informatics 19(3): 2284-2294 (2023) - 2022
- [j32]Amir Khazraei, Miroslav Pajic:
Attack-resilient state estimation with intermittent data authentication. Autom. 138: 110035 (2022) - [j31]Vuk Lesi
, Zivana Jakovljevic
, Miroslav Pajic
:
Security Analysis for Distributed IoT-Based Industrial Automation. IEEE Trans Autom. Sci. Eng. 19(4): 3093-3108 (2022) - [j30]Mahmoud Elfar
, Tung-Che Liang
, Krishnendu Chakrabarty
, Miroslav Pajic
:
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2504-2517 (2022) - 2021
- [j29]Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos:
An optimal graph-search method for secure state estimation. Autom. 123: 109323 (2021) - [j28]Zivana Jakovljevic
, Vuk Lesi
, Miroslav Pajic
:
Attacks on Distributed Sequential Control in Manufacturing Automation. IEEE Trans. Ind. Informatics 17(2): 775-786 (2021) - 2020
- [j27]Tung-Che Liang
, Zhanwei Zhong
, Miroslav Pajic
, Krishnendu Chakrabarty
:
Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3531-3543 (2020) - [j26]Vuk Lesi, Ilija Jovanov, Miroslav Pajic
:
Integrating Security in Resource-Constrained Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 4(3): 28:1-28:27 (2020) - [j25]Zivana Jakovljevic
, Vuk Lesi
, Stefan Mitrovic, Miroslav Pajic
:
Distributing Sequential Control for Manufacturing Automation Systems. IEEE Trans. Control. Syst. Technol. 28(4): 1586-1594 (2020) - 2019
- [j24]Radoslav Ivanov
, Nikolay Atanasov
, Miroslav Pajic
, James Weimer
, George J. Pappas
, Insup Lee
:
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64(1): 235-250 (2019) - [j23]Ilija Jovanov
, Miroslav Pajic
:
Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. IEEE Trans. Autom. Control. 64(12): 4843-4858 (2019) - [j22]Yu Wang
, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
:
Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 92:1-92:23 (2019) - [j21]Haibei Zhu
, Mary L. Cummings, Mahmoud Elfar
, Ziyao Wang, Miroslav Pajic
:
Operator Strategy Model Development in UAV Hacking Detection. IEEE Trans. Hum. Mach. Syst. 49(6): 540-549 (2019) - 2018
- [j20]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
:
A hybrid stochastic game for secure control of cyber-physical systems. Autom. 93: 55-63 (2018) - [j19]Zipeng Li
, Kelvin Yi-Tse Lai, John McCrone, Po-Hsien Yu, Krishnendu Chakrabarty
, Miroslav Pajic
, Tsung-Yi Ho
, Chen-Yi Lee:
Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(3): 601-614 (2018) - [j18]Insup Lee, Miroslav Pajic:
Guest Editorial: Special Issue on Medical Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 2(4): 29:1-29:2 (2018) - 2017
- [j17]Miroslav Pajic
, Insup Lee, George J. Pappas
:
Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Trans. Control. Netw. Syst. 4(1): 82-92 (2017) - [j16]Fei Miao, Quanyan Zhu, Miroslav Pajic
, George J. Pappas
:
Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Trans. Control. Netw. Syst. 4(1): 106-117 (2017) - [j15]Junkil Park, Radoslav Ivanov
, James Weimer, Miroslav Pajic
, Sang Hyuk Son, Insup Lee:
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. 1(3): 15:1-15:23 (2017) - [j14]Mahmoud Elfar
, Zhanwei Zhong
, Zipeng Li
, Krishnendu Chakrabarty
, Miroslav Pajic
:
Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst. 16(5s): 127:1-127:22 (2017) - [j13]Vuk Lesi, Ilija Jovanov, Miroslav Pajic
:
Security-Aware Scheduling of Embedded Control Tasks. ACM Trans. Embed. Comput. Syst. 16(5s): 188:1-188:21 (2017) - 2016
- [j12]Radoslav Ivanov
, Miroslav Pajic
, Insup Lee:
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 15(1): 21:1-21:24 (2016) - 2015
- [j11]Konstantinos Gatsis
, Miroslav Pajic
, Alejandro Ribeiro
, George J. Pappas
:
Opportunistic Control Over Shared Wireless Channels. IEEE Trans. Autom. Control. 60(12): 3140-3155 (2015) - [j10]Zivana Jakovljevic
, Radovan Puzovic
, Miroslav Pajic
:
Recognition of Planar Segments in Point Cloud Based on Wavelet Transform. IEEE Trans. Ind. Informatics 11(2): 342-352 (2015) - 2014
- [j9]Zivana Jakovljevic
, Petar B. Petrovic, Vladimir Dj. Mikovic, Miroslav Pajic
:
Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly. J. Intell. Manuf. 25(3): 571-587 (2014) - [j8]Zhihao Jiang
, Miroslav Pajic, Rajeev Alur, Rahul Mangharam:
Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. 16(2): 191-213 (2014) - [j7]Miroslav Pajic
, Zhihao Jiang
, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4s): 127:1-127:26 (2014) - [j6]Miroslav Pajic
, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee:
Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics 10(1): 3-16 (2014) - 2013
- [j5]Miroslav Pajic
, Rahul Mangharam, George J. Pappas
, Shreyas Sundaram
:
Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE J. Sel. Areas Commun. 31(4): 794-807 (2013) - 2012
- [j4]Zhihao Jiang
, Miroslav Pajic
, Rahul Mangharam:
Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proc. IEEE 100(1): 122-137 (2012) - [j3]Miroslav Pajic
, Alexander Chernoguzov, Rahul Mangharam:
Robust architectures for embedded wireless network control and actuation. ACM Trans. Embed. Comput. Syst. 11(4): 82:1-82:24 (2012) - 2011
- [j2]Miroslav Pajic
, Shreyas Sundaram
, George J. Pappas
, Rahul Mangharam:
The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Autom. Control. 56(10): 2305-2318 (2011) - 2010
- [j1]Miroslav Pajic
, Rahul Mangharam:
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. EURASIP J. Wirel. Commun. Netw. 2010 (2010)
Conference and Workshop Papers
- 2024
- [c107]Hao-Lun Hsu, Qitong Gao, Miroslav Pajic:
ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. ICCPS 2024: 224-234 - [c106]Ge Gao, Qitong Gao, Xi Yang, Song Ju, Miroslav Pajic, Min Chi:
On Trajectory Augmentations for Off-Policy Evaluation. ICLR 2024 - [c105]Hao-Lun Hsu, Haocheng Meng, Shaocheng Luo, Juncheng Dong, Vahid Tarokh, Miroslav Pajic:
REFORMA: Robust REinFORceMent Learning via Adaptive Adversary for Drones Flying under Disturbances. ICRA 2024: 5169-5175 - [c104]David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic:
RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. ICRA 2024: 12269-12275 - [c103]Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang:
On the uniqueness of solution for the Bellman equation of LTL objectives. L4DC 2024: 428-439 - [c102]Hao-Lun Hsu, Miroslav Pajic:
Robust exploration with adversary via Langevin Monte Carlo. L4DC 2024: 1592-1605 - 2023
- [c101]Oyendrila Dobe
, Stefan Schupp
, Ezio Bartocci
, Borzoo Bonakdarpour
, Axel Legay
, Miroslav Pajic
, Yu Wang
:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c100]Qitong Gao
, Stephen L. Schmidt
, Afsana Chowdhury
, Guangyu Feng
, Jennifer J. Peters
, Katherine Genty
, Warren M. Grill
, Dennis A. Turner
, Miroslav Pajic
:
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. ICCPS 2023: 44-55 - [c99]Robert Spencer Hallyburton
, Shucheng Zhang
, Miroslav Pajic
:
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. ICCPS 2023: 209-220 - [c98]R. Spencer Hallyburton
, Nate Zelter
, David Hunt
, Kristen Angell
, Miroslav Pajic
:
A Modular Platform For Collaborative, Distributed Sensor Fusion. ICCPS 2023: 268-269 - [c97]Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic:
Variational Latent Branching Model for Off-Policy Evaluation. ICLR 2023 - [c96]Amir Khazraei, Haocheng Meng, Miroslav Pajic:
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. ICRA 2023: 3346-3352 - [c95]Sangjun Eom
, Ritvik Janamsetty
, Majda Hadziahmetovic
, Miroslav Pajic
, Maria Gorlatova
:
Demo Abstract: Edge-based Augmented Reality Guidance System for Retinal Laser Therapy via Feature Matching. IPSN 2023: 366-367 - [c94]Aleksandar Jokic, Amir Khazraei, Milica Petrovic, Zivana Jakovljevic, Miroslav Pajic:
Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control. IROS 2023: 6342-6348 - [c93]Muhammad Abdullah Naeem, Miroslav Pajic:
Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. L4DC 2023: 653-664 - [c92]Filip Mazurek
, Arya Tschand
, Yu Wang
, Miroslav Pajic
, Daniel J. Sorin
:
Rigorous Evaluation of Computer Processors with Statistical Model Checking. MICRO 2023: 1242-1254 - [c91]Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic:
Off-Policy Evaluation for Human Feedback. NeurIPS 2023 - 2022
- [c90]Yu Wang
, Qitong Gao, Miroslav Pajic:
Learning Monotone Dynamics by Neural Networks. ACC 2022: 1485-1490 - [c89]R. Spencer Hallyburton
, Amir Khazraei, Miroslav Pajic:
Optimal Myopic Attacks on Nonlinear Estimation. CDC 2022: 5480-5485 - [c88]Amir Khazraei, Miroslav Pajic:
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CDC 2022: 7109-7114 - [c87]Mahmoud Elfar
, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic:
Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. DATE 2022: 640-645 - [c86]Erick Rojas, Stephen L. Schmidt, Afsana Chowdhury, Miroslav Pajic, Dennis A. Turner, Deborah S. Won:
A comparison of an implanted accelerometer with a wearable accelerometer for closed-loop DBS. EMBC 2022: 3439-3442 - [c85]Qitong Gao, Stephen L. Schmidt, Karthik Kamaravelu, Dennis A. Turner, Warren M. Grill, Miroslav Pajic:
Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers. ICCPS 2022: 80-91 - [c84]Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang
, Miroslav Pajic:
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. ICCPS 2022: 259-269 - [c83]Qitong Gao, Dong Wang, Joshua David Amason, Siyang Yuan, Chenyang Tao, Ricardo Henao, Majda Hadziahmetovic, Lawrence Carin, Miroslav Pajic:
Gradient Importance Learning for Incomplete Observations. ICLR 2022 - [c82]Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos:
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. ICRA 2022: 6800-6806 - [c81]Ge Gao, Qitong Gao, Xi Yang, Miroslav Pajic, Min Chi:
A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification. IJCAI 2022: 2994-3000 - [c80]Amir Khazraei, Henry D. Pfister, Miroslav Pajic:
Resiliency of Perception-Based Controllers Against Attacks. L4DC 2022: 713-725 - [c79]Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan
, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic:
Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. MILCOM 2022: 1065-1069 - [c78]Sangjun Eom, Majda Hadziahmetovic, Miroslav Pajic, Maria Gorlatova:
Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching. SenSys 2022: 784-785 - [c77]R. Spencer Hallyburton, Yupei Liu, Yulong Cao, Z. Morley Mao, Miroslav Pajic:
Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles. USENIX Security Symposium 2022: 1903-1920 - 2021
- [c76]Alper Kamil Bozkurt, Yu Wang
, Miroslav Pajic:
Model-Free Learning of Safe yet Effective Controllers. CDC 2021: 6560-6565 - [c75]Yiran Chen, Ang Li, Huanrui Yang, Tunhou Zhang, Yuewei Yang, Hai Li, Suman Banerjee, Miroslav Pajic:
AI-Powered IoT System at the Edge. CogMI 2021: 242-251 - [c74]Yu Wang
, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Hyperproperties. CSF 2021: 1-16 - [c73]Mahmoud Elfar
, Tung-Che Liang, Krishnendu Chakrabarty
, Miroslav Pajic:
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. DATE 2021: 324-329 - [c72]Yu Wang
, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic conformance for cyber-physical systems. ICCPS 2021: 55-66 - [c71]Alper Kamil Bozkurt, Yu Wang
, Michael M. Zavlanos, Miroslav Pajic:
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. ICRA 2021: 10649-10655 - [c70]Alper Kamil Bozkurt, Yu Wang
, Miroslav Pajic:
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. ICRA 2021: 10656-10662 - 2020
- [c69]Amir Khazraei, Miroslav Pajic:
Perfect Attackability of Linear Dynamical Systems with Bounded Noise. ACC 2020: 749-754 - [c68]Mahmoud Elfar
, Yu Wang
, Miroslav Pajic
:
Context-Aware Temporal Logic for Probabilistic Systems. ATVA 2020: 215-232 - [c67]Mojtaba Zarei, Yu Wang
, Miroslav Pajic
:
Statistical verification of learning-based cyber-physical systems. HSCC 2020: 12:1-12:7 - [c66]Qitong Gao, Michael Naumann, Ilija Jovanov, Vuk Lesi, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic:
Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning. ICCPS 2020: 108-118 - [c65]Yu Wang
, Siddhartha Nalluri, Miroslav Pajic:
Hyperproperties for Robotics: Planning via HyperLTL. ICRA 2020: 8462-8468 - [c64]Qitong Gao, Miroslav Pajic, Michael M. Zavlanos:
Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations. ICRA 2020: 8490-8496 - [c63]Alper Kamil Bozkurt, Yu Wang
, Michael M. Zavlanos, Miroslav Pajic:
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. ICRA 2020: 10349-10355 - 2019
- [c62]Mahmoud Elfar
, Yu Wang
, Miroslav Pajic
:
Security-Aware Synthesis Using Delayed-Action Games. CAV (1) 2019: 180-199 - [c61]Yu Wang
, Miroslav Pajic
:
Attack-Resilient Supervisory Control with Intermittently Secure Communication. CDC 2019: 2015-2020 - [c60]Yu Wang
, Miroslav Pajic
:
Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. CDC 2019: 5350-5355 - [c59]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
:
Synchronization of Distributed Controllers in Cyber-Physical Systems. ETFA 2019: 710-717 - [c58]Mahmoud Elfar
, Haibei Zhu
, Mary L. Cummings, Miroslav Pajic
:
Security-Aware Synthesis of Human-UAV Protocols. ICRA 2019: 8011-8017 - [c57]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
:
Reliable industrial IoT-based distributed automation. IoTDI 2019: 94-105 - [c56]Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
LCV: A Verification Tool for Linear Controller Software. TACAS (1) 2019: 213-225 - 2018
- [c55]Ilija Jovanov, Miroslav Pajic
:
Secure State Estimation with Cumulative Message Authentication. CDC 2018: 2074-2079 - [c54]Haibei Zhu
, Mahmoud Elfar
, Miroslav Pajic, Ziyao Wang, Mary L. Cummings:
Human Augmentation of UAV Cyber-Attack Detection. HCI (16) 2018: 154-167 - [c53]Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic
:
Platform for model-based design and testing for deep brain stimulation. ICCPS 2018: 263-274 - [c52]Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren M. Grill, Miroslav Pajic
:
Learning-based control design for deep brain stimulation. ICCPS 2018: 349-350 - [c51]Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic:
Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. ISoLA (4) 2018: 9-18 - 2017
- [c50]Ilija Jovanov, Miroslav Pajic
:
Sporadic data integrity for secure state estimation. CDC 2017: 163-169 - [c49]Mahmoud Elfar
, Haibei Zhu
, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Mary L. Cummings, Miroslav Pajic:
Platform for security-aware design of human-on-the-loop cyber-physical systems. ICCPS 2017: 93 - [c48]Vuk Lesi, Ilija Jovanov, Miroslav Pajic
:
Network Scheduling for Secure Cyber-Physical Systems. RTSS 2017: 45-55 - [c47]Junkil Park, Miroslav Pajic
, Oleg Sokolsky, Insup Lee:
Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) 2017: 153-169 - 2016
- [c46]Mohamed Ibrahim, Craig Boswell, Krishnendu Chakrabarty
, Kristin Scott, Miroslav Pajic
:
A real-time digital-microfluidic platform for epigenetics. CASES 2016: 10:1-10:10 - [c45]Paul Bogdan, Miroslav Pajic
, Partha Pratim Pande, Vijay Raghunathan:
Making the internet-of-things a reality: from smart models, sensing and actuation to energy-efficient architectures. CODES+ISSS 2016: 25:1-25:10 - [c44]Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic
, Zhihao Jiang
:
Three challenges in cyber-physical systems. COMSNETS 2016: 1-8 - [c43]Vuk Lesi, Zivana Jakovljevic
, Miroslav Pajic
:
Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems. ETFA 2016: 1-8 - [c42]Zipeng Li, Kelvin Yi-Tse Lai, Po-Hsien Yu, Krishnendu Chakrabarty
, Miroslav Pajic
, Tsung-Yi Ho
, Chen-Yi Lee:
Error recovery in a micro-electrode-dot-array digital microfluidic biochip? ICCAD 2016: 105 - [c41]Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic
, Allan F. Simpao
, Mohamed A. Rehman, George J. Pappas
, Insup Lee:
Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS 2016: 28:1-28:10 - [c40]Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky:
Scalable Verification of Linear Controller Software. TACAS 2016: 662-679 - 2015
- [c39]Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic
, George J. Pappas
, Insup Lee:
Robust estimation using context-aware filtering. Allerton 2015: 590-597 - [c38]Miroslav Pajic
, Paulo Tabuada
, Insup Lee, George J. Pappas
:
Attack-resilient state estimation in the presence of noise. CDC 2015: 5827-5832 - [c37]Mohammad Abdullah Al Faruque
, Francesco Regazzoni
, Miroslav Pajic:
Design methodologies for securing cyber-physical systems. CODES+ISSS 2015: 30-36 - [c36]Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas
, Oleg Sokolsky:
Automatic verification of linear controller software. EMSOFT 2015: 217-226 - [c35]Junkil Park, Radoslav Ivanov
, James Weimer, Miroslav Pajic
, Insup Lee:
Sensor attack detection in the presence of transient faults. ICCPS 2015: 1-10 - 2014
- [c34]James Weimer, Nicola Bezzo, Miroslav Pajic
, Oleg Sokolsky
, Insup Lee:
Attack-resilient minimum mean-squared error estimation. ACC 2014: 1114-1119 - [c33]Konstantinos Gatsis
, Miroslav Pajic
, Alejandro Ribeiro
, George J. Pappas
:
Opportunistic sensor scheduling in wireless control systems. CDC 2014: 3777-3782 - [c32]Fei Miao, Quanyan Zhu, Miroslav Pajic
, George J. Pappas
:
Coding sensor outputs for injection attacks detection. CDC 2014: 5776-5781 - [c31]Radoslav Ivanov, Miroslav Pajic
, Insup Lee:
Attack-resilient sensor fusion. DATE 2014: 1-6 - [c30]Radoslav Ivanov, Miroslav Pajic
, Insup Lee:
Resilient multidimensional sensor fusion using measurement history. HiCoNS 2014: 1-10 - [c29]Konstantinos Gatsis
, Miroslav Pajic
, Alejandro Ribeiro
, George J. Pappas
:
Opportunistic scheduling of control tasks over shared wireless channels. ICCPS 2014: 48-59 - [c28]Miroslav Pajic
, James Weimer, Nicola Bezzo, Paulo Tabuada
, Oleg Sokolsky, Insup Lee, George J. Pappas
:
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - [c27]Nicola Bezzo, James Weimer, Miroslav Pajic
, Oleg Sokolsky, George J. Pappas
, Insup Lee:
Attack resilient state estimation for autonomous robotic systems. IROS 2014: 3692-3698 - 2013
- [c26]Fei Miao, Miroslav Pajic
, Rahul Mangharam, George J. Pappas:
Networked realization of discrete-time controllers. ACC 2013: 2996-3001 - [c25]Fei Miao, Miroslav Pajic
, George J. Pappas
:
Stochastic game approach for replay attack detection. CDC 2013: 1854-1859 - [c24]Konstantinos Gatsis
, Miroslav Pajic
, Alejandro Ribeiro
, George J. Pappas
:
Power-aware communication for wireless sensor-actuator systems. CDC 2013: 4006-4011 - [c23]Miroslav Pajic
, Shreyas Sundaram
, George J. Pappas
:
Stabilizability over deterministic relay networks. CDC 2013: 4018-4023 - [c22]James Weimer, Nicola Bezzo, Miroslav Pajic
, George J. Pappas
, Oleg Sokolsky, Insup Lee:
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS 2013: 197-216 - [c21]Miroslav Pajic
, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas
, Oleg Sokolsky, Paulo Tabuada
, Stephanie Weirich
, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c20]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas
, Paulo Tabuada
, Insup Lee:
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251 - 2012
- [c19]Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. ICCPS 2012: 221 - [c18]Miroslav Pajic
, Shreyas Sundaram
, Jerome Le Ny, George J. Pappas
, Rahul Mangharam:
Closing the loop: a simple distributed method for control over wireless networks. IPSN 2012: 25-36 - [c17]Miroslav Pajic
, Zhihao Jiang
, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 173-184 - [c16]Zhihao Jiang
, Miroslav Pajic
, Salar Moarref, Rajeev Alur, Rahul Mangharam:
Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS 2012: 188-203 - 2011
- [c15]Miroslav Pajic
, Shreyas Sundaram
, George J. Pappas
, Rahul Mangharam:
Network synthesis for dynamical system stabilization. ACSCC 2011: 821-825 - [c14]Miroslav Pajic
, Shreyas Sundaram
, George J. Pappas
, Rahul Mangharam:
Topological conditions for wireless control networks. CDC/ECC 2011: 2353-2360 - [c13]Zhihao Jiang
, Miroslav Pajic
, Rahul Mangharam:
Model-Based Closed-Loop Testing of Implantable Pacemakers. ICCPS 2011: 131-140 - [c12]Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas:
Architecture for a fully distributed Wireless Control Network. IPSN 2011: 117-118 - [c11]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo abstract: Closed-loop testing for implantable cardiac pacemakers. IPSN 2011: 119-120 - 2010
- [c10]Shreyas Sundaram
, Miroslav Pajic
, Christoforos N. Hadjicostis
, Rahul Mangharam, George J. Pappas
:
The wireless control network: Monitoring for malicious behavior. CDC 2010: 5979-5984 - [c9]Miroslav Pajic
, Shreyas Sundaram
, Jerome Le Ny, George J. Pappas
, Rahul Mangharam:
The Wireless Control Network: Synthesis and robustness. CDC 2010: 7576-7581 - [c8]Zhihao Jiang
, Miroslav Pajic
, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ECRTS 2010: 239-248 - [c7]David Arney, Miroslav Pajic
, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky:
Toward patient safety in closed-loop medical device systems. ICCPS 2010: 139-148 - [c6]Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation. IPSN 2010: 418-419 - [c5]Miroslav Pajic
, Rahul Mangharam:
Embedded Virtual Machines for Robust Wireless Control and Actuation. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 79-88 - [c4]Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation: demo abstract. Wireless Health 2010: 208-209 - 2009
- [c3]Rahul Mangharam, Miroslav Pajic:
Embedded Virtual Machines for Robust Wireless Control Systems. ICDCS Workshops 2009: 38-43 - [c2]Miroslav Pajic, Rahul Mangharam:
Anti-jamming for embedded wireless networks. IPSN 2009: 301-312 - [c1]Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry:
Demo abstract: Embedded Virtual Machines for wireless industrial automation. IPSN 2009: 413-414
Editorship
- 2019
- [e1]Xue Liu, Paulo Tabuada, Miroslav Pajic, Linda Bushnell:
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6285-6 [contents]
Informal and Other Publications
- 2024
- [i50]R. Spencer Hallyburton, David Hunt, Shaocheng Luo, Miroslav Pajic:
A Multi-Agent Security Testbed for the Analysis of Attacks and Defenses in Collaborative Sensor Fusion. CoRR abs/2401.09387 (2024) - [i49]David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic:
RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. CoRR abs/2403.05964 (2024) - [i48]Hao-Lun Hsu, Qitong Gao, Miroslav Pajic:
ε-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. CoRR abs/2403.06814 (2024) - [i47]R. Spencer Hallyburton, Miroslav Pajic:
Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy. CoRR abs/2403.16956 (2024) - [i46]Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang:
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives. CoRR abs/2404.05074 (2024) - [i45]Hao-Lun Hsu, Weixin Wang, Miroslav Pajic, Pan Xu:
Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2404.10728 (2024) - 2023
- [i44]Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic:
Variational Latent Branching Model for Off-Policy Evaluation. CoRR abs/2301.12056 (2023) - [i43]Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic:
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. CoRR abs/2302.02477 (2023) - [i42]Amir Khazraei, Haocheng Meng, Miroslav Pajic:
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. CoRR abs/2303.02112 (2023) - [i41]R. Spencer Hallyburton, Miroslav Pajic:
Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data. CoRR abs/2303.03470 (2023) - [i40]R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic:
A Modular Platform For Collaborative, Distributed Sensor Fusion. CoRR abs/2303.07430 (2023) - [i39]Muhammad Abdullah Naeem, Miroslav Pajic:
High Dimensional Geometry and Limitations in System Identification. CoRR abs/2305.12083 (2023) - [i38]Juncheng Dong, Hao-Lun Hsu, Qitong Gao, Vahid Tarokh, Miroslav Pajic:
Robust Reinforcement Learning through Efficient Adversarial Herding. CoRR abs/2306.07408 (2023) - [i37]Ahmed Aloui, Ali Hasan, Yuting Ng, Miroslav Pajic, Vahid Tarokh:
Individual Treatment Effects in Extreme Regimes. CoRR abs/2306.11697 (2023) - [i36]Amir Khazraei, Miroslav Pajic:
Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks. CoRR abs/2310.04516 (2023) - [i35]Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic:
Off-Policy Evaluation for Human Feedback. CoRR abs/2310.07123 (2023) - [i34]Muhammad Abdullah Naeem, Amir Khazraei, Miroslav Pajic:
From Spectral Theorem to Statistical Independence with Application to System Identification. CoRR abs/2310.10523 (2023) - [i33]R. Spencer Hallyburton, Miroslav Pajic:
Datasets, Models, and Algorithms for Multi-Sensor, Multi-agent Autonomy Using AVstack. CoRR abs/2312.04970 (2023) - [i32]Muhammad Abdullah Naeem, Miroslav Pajic:
Spectral Statistics of the Sample Covariance Matrix for High Dimensional Linear Gaussians. CoRR abs/2312.05794 (2023) - 2022
- [i31]Amir Khazraei, Miroslav Pajic:
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CoRR abs/2204.03217 (2022) - [i30]R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic:
Optimal Myopic Attacks on Nonlinear Estimation. CoRR abs/2204.06996 (2022) - [i29]Muhammad Abdullah Naeem, Miroslav Pajic:
Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. CoRR abs/2205.12448 (2022) - [i28]Amir Khazraei, Henry D. Pfister, Miroslav Pajic:
Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits. CoRR abs/2206.07150 (2022) - [i27]R. Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic:
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. CoRR abs/2212.13857 (2022) - 2021
- [i26]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Learning Optimal Strategies for Temporal Tasks in Stochastic Games. CoRR abs/2102.04307 (2021) - [i25]Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos:
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. CoRR abs/2103.05142 (2021) - [i24]Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic:
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. CoRR abs/2103.06271 (2021) - [i23]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Model-Free Learning of Safe yet Effective Controllers. CoRR abs/2103.14600 (2021) - [i22]Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic:
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. CoRR abs/2104.01612 (2021) - [i21]R. Spencer Hallyburton, Yupei Liu, Miroslav Pajic:
Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles. CoRR abs/2106.07098 (2021) - [i20]Qitong Gao, Dong Wang, Joshua D. Amason, Siyang Yuan, Chenyang Tao, Ricardo Henao, Majda Hadziahmetovic, Lawrence Carin, Miroslav Pajic:
Imputation-Free Learning from Incomplete Observations. CoRR abs/2107.01983 (2021) - 2020
- [i19]Amir Khazraei, Miroslav Pajic:
Attack-Resilient State Estimation with Intermittent Data Authentication. CoRR abs/2005.08122 (2020) - [i18]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic:
Security Analysis for Distributed IoT-Based Industrial Automation. CoRR abs/2006.00044 (2020) - [i17]Yu Wang, Qitong Gao, Miroslav Pajic:
Deep Learning for Stable Monotone Dynamical Systems. CoRR abs/2006.06417 (2020) - [i16]Muhammad Abdullah Naeem, Miroslav Pajic:
Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View. CoRR abs/2006.08105 (2020) - [i15]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Context-Aware Temporal Logic for Probabilistic Systems. CoRR abs/2007.05793 (2020) - [i14]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic Conformance for Cyber-Physical Systems. CoRR abs/2008.01135 (2020) - [i13]Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic:
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. CoRR abs/2010.01050 (2020) - [i12]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. CoRR abs/2011.01882 (2020) - 2019
- [i11]Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Probabilistic Hyperproperties. CoRR abs/1902.04111 (2019) - [i10]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Security-Aware Synthesis Using Delayed-Action Games. CoRR abs/1902.04618 (2019) - [i9]Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos:
A Scalable and Optimal Graph-Search Method for Secure State Estimation. CoRR abs/1903.10620 (2019) - [i8]Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic:
Attack-Resilient Supervisory Control of Discrete-Event Systems. CoRR abs/1904.03264 (2019) - [i7]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR abs/1906.07253 (2019) - [i6]Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic:
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. CoRR abs/1909.07299 (2019) - [i5]Yu Wang, Siddhartha Nalluri, Miroslav Pajic:
Hyperproperties for Robotics: Motion Planning via HyperLTL. CoRR abs/1911.11870 (2019) - 2018
- [i4]Vuk Lesi, Ilija Jovanov, Miroslav Pajic:
Integrating Security in Resource-Constrained Cyber-Physical Systems. CoRR abs/1811.03538 (2018) - 2017
- [i3]Ilija Jovanov, Miroslav Pajic:
Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. CoRR abs/1707.02950 (2017) - [i2]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas:
A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. CoRR abs/1710.00288 (2017) - 2016
- [i1]Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas:
Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. CoRR abs/1605.08962 (2016)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint