Zhihao Jiang

Zhihao Jiang

Assistant Professor

ShanghaiTech University

Biography

Zhihao Jiang is currently an assistant professor in the School of Information Science and Technology (SIST) at ShanghaiTech University, and the director of the Human-Cyber-Physical-Systems Lab.

Download my resumé.

Interests
  • Human-Cyber-Physical Systems
  • Decision Support Systems
  • Digital Twins
  • Formal Methods
Education

  • PhD in Computer and Information Science, 2016

    University of Pennsylvania

  • MS.E in Robotics, 2010

    University of Pennsylvania

  • BS.E in Technology and Instruments in Measurement and Control, 2008

    University of Electronic Science and Technology of China

Experience

 
 
 
 
 
ShanghaiTech University
Assistant Professor
ShanghaiTech University
Jul 2018 – Present Shanghai, China
Director of the Human-Cyber-Physical Systems Lab
 
 
 
 
 
Toyota InfoTechnology Center USA
Researcher
Toyota InfoTechnology Center USA
Jul 2017 – Jun 2018 Mountain View, California
Project lead - Digital Twins for Safe Connected Cars.

Research

My research develops theoretical foundations for Human-Cyber-Physical Systems (HCPS) in safety-critical domains. To ensure safe and effective decision-making, two requirements must be met: (1) explicit mechanism-to-observation and decision-to-outcome causality; (2) real-time understanding of human operators' cognitive states and preferences.

I propose a dual-digital-twin framework resolving these challenges: the Environment Digital Twin enables counterfactual analysis for causality establishment, while the Cognitive Digital Twin infers decision-makers’ cognitive parameters and predicts their responses to decision supports. This architecture enables AI systems to complement—rather than replace—human experts in medical and automotive applications, achieving safe and effective human-machine collaboration. Crucially, decisions guided by these twins ensure decision-makers operate with the correct contextual understanding, while the AI-generated support becomes inherently more intuitive, easier to accept, and ultimately more effective in guiding the human towards optimal choices.​

Research Overview
Research Overview

Projects

*
All Medical Automotives Uncertainty Diagnosis Formal Methods
Clinical Assist System for Cardiac Ablation
Iterative enumeration and update of suspected heart conditions can improve the rigorousness and efficiency of cardiac ablation.
Zhihao Jiang, Guangyao Chen, Yining She, Renzhi Tang, Zeyu Li
Clinical Assist System for Cardiac Ablation
Cognitive Models for Intelligent Driving Assistance
Correct estimation of the cognitive state of the driver is essential for comprehensive driving assistance
Zhihao Jiang, Renzhi Tang, Junyu Diao, Yi Gu
Cognitive Models for Intelligent Driving Assistance
Closed-loop Model Checking of Cyber-Physical Systems
Using formal methods to evaluate the safety of Cyber-Physical Systems within their complex environment with large variability.
Zhihao Jiang, Guangyao Chen, Yining She, Haochen Yang
Closed-loop Model Checking of Cyber-Physical Systems
Patient Evaluation during Stroke Rehabilitation
Assess dynamic and static motor control of the patient during stroke rehab
Zhihao Jiang, Yilun Chen, Junyu Diao, Wentao Wang
Patient Evaluation during Stroke Rehabilitation
Safe and Personalized Implantable Cardiac Devices
Develop and validate implantable cardiac device algorithms for cardiac arrhythmia
Zhihao Jiang, Haochen Yang, Mincai Lai
Safe and Personalized Implantable Cardiac Devices

News

Personalized IMD Therapy Article Published in ESWA
“Our paper ‘Decision support for personalized therapy in implantable medical devices: A digital twin approach’ was published in ESWA.”
Haochen Yang, Zhihao Jiang
Last updated on Dec 9, 2023
Project
Personalized IMD Therapy Article Published in ESWA
Patent Granted by CNIPA
Our patent “Driving Assistance Method and System, Medium and Terminal” was granted by CNIPA.
Zhihao Jiang, Renzhi Tang
Aug 30, 2022
Project
Patent Granted by CNIPA
ICD Parameter Personalization Paper Published in EMBC'22
Our paper on ICD parameter personalization was presented in EMBC'22.
Haochen Yang, Mincai Lai, Jicheng Gu, Xinye Chen, Zhihao Jiang
Jul 11, 2022
Project Conference Link
ICD Parameter Personalization Paper Published in EMBC'22
Two Class 2019 MS students have graduated
Renzhi Tang and Mincai Lai have graduated with MS degree
Renzhi Tang, Mincai Lai
Last updated on May 27, 2022
Two Class 2019 MS students have graduated
Patent Granted by CNIPA
Our patent “Clinical Assist System for Cardiac Ablation” was granted by CNIPA.
Zhihao Jiang, Yutong Wu, Renzhi Tang
Nov 12, 2021
Project
Patent Granted by CNIPA
See all posts

Featured Publications

Ethics by Design in Autonomous Driving: Developing a Model-based Liability Determination Framework
A Model-based Liability Determination Framework for traffic accidents.
Yichuan Yu, chenyang, Zhihao Jiang
Cite Project DOI
A cognitive digital twin approach to improving driver compliance and accident prevention
Introduce personalized driving assistance using cognitive digital twins.
Yi Gu, Shuhang Li, Bangzheng Fu, Renzhi Tang, lifeng, sen, Zhihao Jiang
Cite Project DOI
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 Patient Evaluation during Stroke Rehabilitation
A digital-twin-based framework for automated patient evaluation and task planning during robotic rehabilitation.
Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang
Cite Project DOI
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
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

Recent Publications

Ethics by Design in Autonomous Driving: Developing a Model-based Liability Determination Framework
Yichuan Yu, chenyang, Zhihao Jiang
Cite Project DOI
A cognitive digital twin approach to improving driver compliance and accident prevention
Yi Gu, Shuhang Li, Bangzheng Fu, Renzhi Tang, lifeng, sen, Zhihao Jiang
Cite Project DOI
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
See all publications

Popular Topics

Arrhythmia ClinicalTrial Cognitive Cognitive Model Diagnosis Digital Twin DigitalTwin FormalMethod Healthcare ICD MedicalDevice ModelChecking Modeling Pacemaker Patents Safety TimedAutomata Uncertainty UPPAAL V&V

Contact

  • jiangzhh at shanghaitech.edu.cn