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 foundations for Human-Cyber-Physical Systems (HCPSs). In safety-critical domains like medical devices and automotives, human experts cannot be fully replaced by machines for safety considerations. Software in these HCPSs should focus on achieving semi-autonomy by understanding and complementing domain experts. By working at the intersection of applied formal methods, system identification and artificial intelligence, I focus on creations of mathematical models, system identification algorithms, and HCPS applications. My research improves human-machine collaboration in safety-critical Human-Cyber-Physical Systems (HCPSs).

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
Adaptive Deep Brain Stimulation
Distinguish patient conditions and deliver appropriate therapy while achieving optimal power consumption.
Zhihao Jiang, Yilun Chen, Wentao Wang
Adaptive Deep Brain Stimulation
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

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
A Cognitive-digital-twin-based Driving Assistance System (CDAS) that issues warnings tailored to the driver’s perception of the driving environment and driving style.
Junyu Diao, Renzhi Tang, Yi Gu, Sen Tian, 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

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
See all publications

Popular Topics

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

Contact

  • jiangzhh at shanghaitech.edu.cn