Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMiroslav Pajic
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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)- [i36]Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic:
Variational Latent Branching Model for Off-Policy Evaluation. CoRR abs/2301.12056 (2023) - [i35]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) - [i34]Amir Khazraei, Haocheng Meng, Miroslav Pajic:
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. CoRR abs/2303.02112 (2023) - [i33]R. Spencer Hallyburton, Miroslav Pajic:
Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data. CoRR abs/2303.03470 (2023) - [i32]R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic:
A Modular Platform For Collaborative, Distributed Sensor Fusion. CoRR abs/2303.07430 (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) - [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 - [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
- [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) - [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 - [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
- [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) - [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 - [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)
2010 – 2019
- 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) - [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 - [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] - [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
- [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) - [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 - [i4]Vuk Lesi, Ilija Jovanov, Miroslav Pajic:
Integrating Security in Resource-Constrained Cyber-Physical Systems. CoRR abs/1811.03538 (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) - [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 - [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
- [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) - [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 - [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) - 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) - [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
- [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) - [c34]James Weimer, Nicola Bezzo,