Publications

Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
Guangyao Chen, Peilin He, ziqi, zixin, Zhihao Jiang
Cite Project DOI
Decision support for personalized therapy in implantable medical devices: A digital twin approach
Haochen Yang, Zhihao Jiang
Cite Project DOI
Cognitive-Digital-Twin-Based Driving Assistance
Junyu Diao, Renzhi Tang, Yi Gu, Sen Tian, Zhihao Jiang
Cite Project DOI
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation
Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang
Cite Project DOI
Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators
Mincai Lai, Haochen Yang, Jicheng Gu, Xinye Chen, Zhihao Jiang
Project DOI
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles
M. Pirani, Yining She, Renzhi Tang, Zhihao Jiang, Y. Pant
Project DOI
Environment Modeling During Model Checking of Cyber-Physical Systems
Guangyao Chen, Zhihao Jiang
Cite Project DOI
Predicting Synthetic Lethality in Human Cancers Via Multi-Graph Ensemble Neural Network
Mincai Lai, Guangyao Chen, Haochen Yang, J. Yang, Zhihao Jiang, M. Wu, J. Zheng
DOI
US Patent: Digital behavioral twin system for intersection management in connected environments
CW Lin, Zhihao Jiang
Project Source Document
US Patent: Context system for improved understanding of vehicle-to-everything (V2X) communications by V2X receivers
H Kobayashi, Zhihao Jiang
Project Source Document
US Patent: Vehicle data reservation service
BG Kim, Zhihao Jiang
Project Source Document
Driver's Perception Model in Driving Assist
Renzhi Tang, Zhihao Jiang
Cite Project DOI
US Patent: Collision avoidance for a connected vehicle based on a digital behavioral twin
Zhihao Jiang, S Shiraishi, BG Kim
Project Source Document
Model-based Clinical Assist System for Cardiac Ablation
Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
Cite Project DOI
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
N Paoletti, Zhihao Jiang, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, SA Smolka
Cite Project DOI
Digital Behavioral Twins for Safe Connected Cars
X Chen, E Kang, S Shiraishi, VM Preciado, Zhihao Jiang
Cite Project DOI
Property-Driven Runtime Resolution of Feature Interactions
SG Raghavan, K Watanabe, E Kang, CW Lin, Zhihao Jiang, S Shiraishi
Cite Project Project DOI
Computer Aided Clinical Trials for Implantable Cardiac Devices
K Jang, J Weimer, H Abbas, Zhihao Jiang, J Liang, S Dixit, R Mangharam
Cite Project DOI
High-level modeling for computer-aided clinical trials of medical devices
H Abbas, Zhihao Jiang, KJ Jang, M Beccani, J Liang, R Mangharam
Cite Project DOI
In silico pre clinical trials for implantable cardioverter defibrillators
Zhihao Jiang, H Abbas, K Jang, M Beccani, J Liang, S Dixit, R Mangharam
Cite Project DOI
Towards Model Checking of Implantable Cardioverter Defibrillators
H Abbas, KJ Jang, Zhihao Jiang, R Mangharam
Cite Project Project DOI
The Challenges of High-Confidence Medical Device Software
Zhihao Jiang, H Abbas, KJ Jang, R Mangharam
Cite DOI
High-Confidence Medical Device Software Development
Zhihao Jiang, R Mangharam
Cite Project DOI
Safety-critical medical device development using the UPP2SF model translation tool
M Pajic, Zhihao Jiang, I Lee, O Sokolsky, R Mangharam
Cite Project Project DOI
Closed-loop verification of medical devices with model abstraction and refinement
Zhihao Jiang, M Pajic, R Alur, R Mangharam
Cite Project Project DOI
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Zhihao Jiang, M Pajic, S Moarref, R Alur, R Mangharam
Cite Project Project DOI
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
M Pajic, Zhihao Jiang, I Lee, O Sokolsky, R Mangharam
Cite Project Project DOI
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Zhihao Jiang, R Mangharam
Cite Project DOI
Cyber Physical Modeling of Implantable Cardiac Medical Devices
Zhihao Jiang, M Pajic, R Mangharam
Cite Project Project DOI
Model Based Closed-Loop Testing of Implantable Pacemakers
Zhihao Jiang, M Pajic, R Mangharam
Cite Project DOI
Using the Virtual Heart Model to validate the mode switch pacemaker operation
Zhihao Jiang, AT Connolly, R Mangharam
Cite Project DOI
Real Time Heart Model for Implantable Cardiac Device Validation and Verification
Zhihao Jiang, M Pajic, AT Connolly, S Dixit, R Mangharam
Cite Project DOI