Modeling

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
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
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles
Environment Modeling During Model Checking of Cyber-Physical Systems
A domain-independent framework which can balance coverage and expressiveness of environment models during closed-loop model checking of Cyber-Physical Systems.
Guangyao Chen, Zhihao Jiang
Cite Project DOI
Environment Modeling During Model Checking of Cyber-Physical Systems
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
Driver's Perception Model in Driving Assist
Identify driver’s perception model from observing behaviors to provide more accurate driving assistance.
Renzhi Tang, Zhihao Jiang
Cite Project DOI
Driver's Perception Model in Driving Assist
Model-based Clinical Assist System for Cardiac Ablation
Enumerate suspected heart conditions during the procedure to provide more rigorous and intuitive interpretation of current understanding of the patient’s heart, which improves the accuracy and efficiency of the diagnosis and relieves the physicians from demanding low-level reasoning.
Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
Cite Project DOI
Model-based Clinical Assist System for Cardiac Ablation
Digital Behavioral Twins for Safe Connected Cars
Driving is a social activity which involves endless interactions with other agents on the road. Failing to locate these agents and …
X Chen, E Kang, S Shiraishi, VM Preciado, Zhihao Jiang
Cite Project DOI
Digital Behavioral Twins for Safe Connected Cars
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
Computer Aided Clinical Trials for Implantable Cardiac Devices