Modeling | 江智浩 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/modeling/ Modeling Wowchemy (https://wowchemy.com)zh-HansFri, 02 Feb 2024 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/media/icon_huaece5a3f62dfcc01c7fa45ba0bf4fc69_4933_512x512_fill_lanczos_center_3.png Modeling https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/tag/modeling/ Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/fdeswa24/ Fri, 02 Feb 2024 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/fdeswa24/ Decision support for personalized therapy in implantable medical devices: A digital twin approach https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/dteswa23/ Sat, 09 Dec 2023 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/dteswa23/ Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc22/ Mon, 11 Jul 2022 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc22/ Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/acc22/ Wed, 08 Jun 2022 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/acc22/ Predicting Synthetic Lethality in Human Cancers Via Multi-Graph Ensemble Neural Network https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc21/ Mon, 01 Nov 2021 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc21/ Environment Modeling During Model Checking of Cyber-Physical Systems https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer21/ Sun, 19 Sep 2021 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer21/ Model-based Clinical Assist System for Cardiac Ablation https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps21_medical/ Wed, 19 May 2021 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps21_medical/ Driver's Perception Model in Driving Assist https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/qrsc20/ Sat, 19 Dec 2020 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/qrsc20/ Digital Behavioral Twins for Safe Connected Cars https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/models18/ Sun, 14 Oct 2018 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/models18/ Computer Aided Clinical Trials for Implantable Cardiac Devices https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc18/ Thu, 19 Jul 2018 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc18/ High-level modeling for computer-aided clinical trials of medical devices https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hldvt16/ Fri, 07 Oct 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hldvt16/ In silico pre clinical trials for implantable cardioverter defibrillators https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc16/ Tue, 16 Aug 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc16/ Towards Model Checking of Implantable Cardioverter Defibrillators https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hscc16/ Mon, 11 Apr 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/hscc16/ The Challenges of High-Confidence Medical Device Software https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer16/ Thu, 14 Jan 2016 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/computer16/ High-Confidence Medical Device Software Development https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/fnt15/ Thu, 10 Dec 2015 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/fnt15/ Closed-loop verification of medical devices with model abstraction and refinement https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/sttt13/ Tue, 24 Sep 2013 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/sttt13/ Modeling and Verification of a Dual Chamber Implantable Pacemaker https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/tacas12/ Mon, 16 Apr 2012 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/tacas12/ Modeling cardiac pacemaker malfunctions with the Virtual Heart Model https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc11/ Tue, 30 Aug 2011 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc11/ Cyber Physical Modeling of Implantable Cardiac Medical Devices https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/proc12/ Tue, 16 Aug 2011 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/proc12/ Model Based Closed-Loop Testing of Implantable Pacemakers https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps12/ Tue, 12 Apr 2011 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/iccps12/ Using the Virtual Heart Model to validate the mode switch pacemaker operation https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc10/ Tue, 31 Aug 2010 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/embc10/ Real Time Heart Model for Implantable Cardiac Device Validation and Verification https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/ecrts10/ Tue, 06 Jul 2010 00:00:00 +0000 https://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/zh/publication/ecrts10/