引用次数
引用: 1,114
H-指数: 14
I10-指数 : 18
出版物: 65
Model Checking Implantable Cardioverter Defibrillators
Houssam Abbas , Kuk Jin Jang , Zhihao Jiang , Rahul Mangharam
arXiv preprint arXiv:1512.08083
1
2015
Virtual Heart Model Technical Report
Zhihao Jiang , Miroslav Pajic , Allison Connolly , Sanjay Dixit
Digital behavioral twin system for intersection management in connected environments
Chung-Wei Lin , Zhihao Jiang
3
2021
Vehicle data reservation service
BaekGyu Kim , Zhihao Jiang
2021
Zn2+-dependent association of cysteine-rich protein with virion orchestrates morphogenesis of rod-shaped viruses
Ning Yue , Zhihao Jiang , Qinglin Pi , Meng Yang
PLoS pathogens 20 ( 6) e1012311 -e1012311
1
2024
Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning
Chenyang Zhu , Wen Si , Jinyu Zhu , Zhihao Jiang
Proceedings of the AAAI Conference on Artificial Intelligence 38 ( 16) 17618 -17627
2024
Model-based Closed-loop Testing of Implantable Pacemakers
Zhihao Jiang , Miroslav Pajic , Rahul Mangharam
Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on 131 -140
57
2011
Environment modeling during model checking of cyberphysical systems
Guangyao Chen , Zhihao Jiang
Computer 54 ( 9) 49 -58
9
2021
Decision support for personalized therapy in implantable medical devices: A digital twin approach
Haochen Yang , Zhihao Jiang
Expert Systems with Applications 243 122883 -122883
4
2024
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation
Yilun Chen , Wentao Wang , Junyu Diao , Daoyu Wang
22 -33
4
2023
Context system for improved understanding of vehicle-to-everything (V2X) communications by V2X receivers
Hiromitsu Kobayashi , Zhihao Jiang
3
2021
Vehicle-to-everything (v2x) full-duplex localization assistance for v2x receivers
Hiromitsu Kobayashi , Zhihao Jiang , Roger Melen
3
2020
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
Guangyao Chen , Peilin He , Ziqi Wang , Zixin Teng
Expert Systems with Applications 247 123371 -123371
1
2024
Cognitive-digital-twin-based driving assistance
Junyu Diao , Renzhi Tang , Yi Gu , Sen Tian
IEEE Robotics and Automation Letters 8 ( 8) 5188 -5195
1
2023
Learning-based modeling of human-autonomous vehicle interaction for enhancing safety in mixed-vehicle platooning control
Jie Wang , Yash Vardhan Pant , Zhihao Jiang
arXiv preprint arXiv:2303.09452
1
2023
Barley stripe mosaic virus γb protein targets thioredoxin h-type 1 to dampen SA-mediated antiviral defenses
Zhihao Jiang , Xuejiao Jin , Meng Yang , Qinglin Pi
bioRxiv 2022.01. 06.475245 -2022.01. 06.475245
1
2022
Model-based pre-clinical trials for medical devices using statistical model checking
Haochen Yang , Jicheng Gu , Zhihao Jiang
arXiv preprint arXiv:2106.11917
1
2021
Model Checking-Based Decision Support System for Fault Diagnosis: A Comprehensive Framework and Application in Electric Power Systems
Guangyao Chen , Peilin He , Zixin Teng , Ziqi Wang
Available at SSRN 4626676
1
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation
Yilun Chen , Zhuo Jian , Yixi Wang , Zhihao Jiang
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) 275 -276
2024
pyUPPAAL: A Python Package for Risk Analysis of CPS
Guangyao Chen , Linshu Yang , Haochen Yang , Peilin He
231 -232
2023