Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2022
[j30]Amir Khazraei, Miroslav Pajic:
Attack-resilient state estimation with intermittent data authentication. Autom. 138: 110035 (2022)- [i28]Amir Khazraei, Miroslav Pajic:
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CoRR abs/2204.03217 (2022) - [i27]R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic:
Optimal Myopic Attacks on Nonlinear Estimation. CoRR abs/2204.06996 (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, 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
- [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) - [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
- [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) - [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]