Modeling

Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems
This paper presents a model-checking-based decision-support framework for fault management in partially observable multi-agent systems. …
Guangyao Chen, Peilin He, ziqi, zixin, 江智浩
引用 项目 DOI
Decision support for personalized therapy in implantable medical devices: A digital twin approach
This work presents a digital-twin-based decision-support framework for personalized therapy in implantable medical devices. It combines …
Haochen Yang, 江智浩
引用 项目 DOI
Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators
This paper proposes a reinforcement-learning framework for online personalization of implantable cardioverter defibrillator parameters. …
Mincai Lai, Haochen Yang, Jicheng Gu, Xinye Chen, 江智浩
引用 项目 DOI
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles
This paper studies emergency-braking interactions between autonomous platoons and nearby human-driven vehicles. It derives head-to-tail …
M. Pirani, Yining She, Renzhi Tang, 江智浩, Y. Pant
引用 项目 DOI
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles
Predicting Synthetic Lethality in Human Cancers Via Multi-Graph Ensemble Neural Network
This paper proposes a multi-graph ensemble neural network for predicting synthetic lethality relationships in cancer. By combining …
Mincai Lai, Guangyao Chen, Haochen Yang, J. Yang, 江智浩, M. Wu, J. Zheng
引用 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, 江智浩
引用 项目 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, 江智浩
引用 项目 DOI
Model-based Clinical Assist System for Cardiac Ablation
Driver's Perception Model in Driving Assist
Identify driver’s perception model from observing behaviors to provide more accurate driving assistance.
Renzhi Tang, 江智浩
引用 项目 DOI
Driver's Perception Model in Driving Assist
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, 江智浩
引用 项目 DOI
Digital Behavioral Twins for Safe Connected Cars
Computer Aided Clinical Trials for Implantable Cardiac Devices
This paper develops a computer-aided clinical-trial framework for implantable cardiac devices by combining physiological models, prior …
K Jang, J Weimer, H Abbas, 江智浩, J Liang, S Dixit, R Mangharam
引用 项目 DOI
Computer Aided Clinical Trials for Implantable Cardiac Devices