江智浩

示例报告

Sat, 01 Jun 2030 13:00:00 +0000

点击上方 Slides 按钮可查看内置幻灯片（幻灯片内容可为英文示例）。

Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems

Wed, 11 Mar 2026 00:00:00 +0000

Ethics by Design in Autonomous Driving: Developing a Model-based Liability Determination Framework

Fri, 09 May 2025 00:00:00 +0000

A cognitive digital twin approach to improving driver compliance and accident prevention

Tue, 07 Jan 2025 00:00:00 +0000

Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems

Fri, 02 Feb 2024 00:00:00 +0000

Decision support for personalized therapy in implantable medical devices: A digital twin approach

Sat, 09 Dec 2023 00:00:00 +0000

个性化 IMD 治疗论文发表于 ESWA

Sat, 09 Dec 2023 00:00:00 +0000

Cognitive-Digital-Twin-Based Driving Assistance

Sun, 23 Jul 2023 00:00:00 +0000

Your browser does not support the video tag.

Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation

Tue, 09 May 2023 00:00:00 +0000

Your browser does not support the video tag.

国家知识产权局授权专利

Tue, 30 Aug 2022 00:00:00 +0000

Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators

Mon, 11 Jul 2022 00:00:00 +0000

ICD 参数个性化论文发表于 EMBC'22

Mon, 11 Jul 2022 00:00:00 +0000

Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles

Wed, 08 Jun 2022 00:00:00 +0000

祝贺 2019 级两位硕士研究生毕业

Thu, 26 May 2022 00:00:00 +0000

唐仁智负责驾驶辅助认知数字孪生方向，毕业后加入深信科创（GuardStrike）担任开发工程师。

赖民才从事基于数字孪生的 ICD 参数个性化研究，毕业后加入字节跳动。

再次祝贺两位同学！

国家知识产权局授权专利

Fri, 12 Nov 2021 00:00:00 +0000

Predicting Synthetic Lethality in Human Cancers Via Multi-Graph Ensemble Neural Network

Mon, 01 Nov 2021 00:00:00 +0000

Environment Modeling During Model Checking of Cyber-Physical Systems

Sun, 19 Sep 2021 00:00:00 +0000

《Computer》封面推荐论文

Sun, 12 Sep 2021 00:00:00 +0000

论文 “Environment Modeling During Model Checking of Cyberphysical Systems” 获 Computer 杂志封面推荐。

人机物融合系统实验室搬迁

Sun, 12 Sep 2021 00:00:00 +0000

实验室随 SMIRC 中心迁入信息学院 3 号楼，新地址为 3-403B。平面布局示意如下：

装修仍在进行，欢迎通过下图“云参观”：

国家自然科学基金青年项目获批

Tue, 31 Aug 2021 00:00:00 +0000

该项目将支持临床辅助系统方向研究，周期三年。

心脏消融临床辅助系统

Fri, 27 Aug 2021 00:00:00 +0000

心脏消融是治疗心律失常的有效手段：医师通过射频能量切断心脏内异常传导路径以终止心动过速。术中医师需在脑中持续可视化并更新对心脏状态的判断，认知负荷高。本方向将心脏电生理形式化到生理模型中，把术中的诊断问题刻画为模型参数辨识与状态估计，并提出基于模型的临床辅助系统：通过“数字孪生”枚举疑似心脏状态，提供更严谨、直观的心电理解，减轻医师在低层推理上的负担，从而提高消融的准确性与效率。

多项美国专利获 USPTO 授权

Sat, 31 Jul 2021 00:00:00 +0000

以下专利在 Toyota ITC 工作期间申请，近期获得授权（条目与论文列表页与英文版一致）：

Z Jiang, S Shiraishi, BG Kim, “Collision avoidance for a connected vehicle based on a digital behavioral twin”, US Patent 10,843,689
BG Kim, Z Jiang, “Vehicle data reservation service”, US Patent 10,911,412
CW Lin, Z Jiang, “Digital behavioral twin system for intersection management in connected environments”, US Patent 11,043,122
H Kobayashi, Z Jiang, “Context system for improved understanding of vehicle-to-everything (V2X) communications by V2X receivers”, US Patent 10,969,456

US Patent: Digital behavioral twin system for intersection management in connected environments

Tue, 22 Jun 2021 00:00:00 +0000

ICCPS'21 最佳论文提名

Fri, 21 May 2021 00:00:00 +0000

论文入选 ICCPS'21 最佳论文奖最终提名（三篇之一）。

Model-based Clinical Assist System for Cardiac Ablation

Wed, 19 May 2021 00:00:00 +0000

智能驾驶辅助中的认知建模

Tue, 27 Apr 2021 00:00:00 +0000

在可预见的未来，人类驾驶员难以被 AI 完全替代，高级辅助驾驶需注重与人协同。可从行为推断驾驶员认知状态，从而改善人机协作与行车安全。您的浏览器不支持视频标签。

US Patent: Context system for improved understanding of vehicle-to-everything (V2X) communications by V2X receivers

Tue, 06 Apr 2021 00:00:00 +0000

US Patent: Vehicle data reservation service

Tue, 02 Feb 2021 00:00:00 +0000

信息物理系统的闭环模型检测

Sun, 27 Dec 2020 00:00:00 +0000

CPS 的物理环境变化范围大，保障安全与有效性具有挑战。模型检测广泛用于 CPS 验证，但用户常因不熟悉形式化方法而构建过于具体（无法覆盖环境变化）或过于抽象（反例难以解释）的环境模型。本工作提出与环境领域无关的抽象与精化框架，在覆盖环境行为的同时提供可解释反例，使系统开发者与领域专家无需成为形式化专家也能严谨、有效地使用模型检测；并以汽车领域简单案例展示框架可行性与抽象规则的可靠性。

Driver's Perception Model in Driving Assist

Sat, 19 Dec 2020 00:00:00 +0000

US Patent: Collision avoidance for a connected vehicle based on a digital behavioral twin

Tue, 24 Nov 2020 00:00:00 +0000

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices

Tue, 16 Apr 2019 00:00:00 +0000

幻灯片示例

Tue, 05 Feb 2019 00:00:00 +0000

使用 Wowchemy 以 Markdown 编写幻灯片

Wowchemy | 文档

功能

用 Markdown 高效编写幻灯片
一套内容：撰写、演示与发布
支持演讲者备注
移动端友好

操作

下一张：Right Arrow 或 Space
上一张：Left Arrow
开始：Home
结束：End
概览：Esc
演讲者备注：S
全屏：F
缩放：Alt + Click

代码高亮

行内代码：variable

代码块：

porridge = "blueberry"
if porridge == "blueberry":
    print("Eating...")

数学公式

行内：$x + y = z$

块级：

$$ f\left( x \right) = ;\frac{{2\left( {x + 4} \right)\left( {x - 4} \right)}}{{\left( {x + 4} \right)\left( {x + 1} \right)}} $$

片段（Fragments）

使内容逐步显示

{{% fragment %}} 一 {{% /fragment %}}
{{% fragment %}} **二** {{% /fragment %}}
{{% fragment %}} 三 {{% /fragment %}}

按 Space 播放！

一 **二** 三

演讲者备注

{{% speaker_note %}}
- 仅演讲者可见
- 按 `S` 查看
{{% /speaker_note %}}

按 S 查看备注！

主题示例

black / white / league / beige / sky …

自定义幻灯片

{{< slide background-image="/media/boards.jpg" >}}

问题？

讨论区

文档

HCPS 实验室团队

Tue, 01 Jan 2019 00:00:00 +0000

HCPS 实验室招聘

Tue, 01 Jan 2019 00:00:00 +0000

Digital Behavioral Twins for Safe Connected Cars

Sun, 14 Oct 2018 00:00:00 +0000

Property-Driven Runtime Resolution of Feature Interactions

Wed, 19 Sep 2018 00:00:00 +0000

Computer Aided Clinical Trials for Implantable Cardiac Devices

Thu, 19 Jul 2018 00:00:00 +0000

High-level modeling for computer-aided clinical trials of medical devices

Fri, 07 Oct 2016 00:00:00 +0000

In silico pre clinical trials for implantable cardioverter defibrillators

Tue, 16 Aug 2016 00:00:00 +0000

中风康复中的患者评估

Wed, 27 Apr 2016 00:00:00 +0000

中风康复帮助患者恢复因脑损伤丧失的运动控制。机器人辅助康复可减轻治疗师负担并提高效率。团队基于神经肌肉骨骼模型构建患者数字孪生，利用康复机器人采集的运动轨迹与力信息推断可能的肌肉激活序列，从定性与定量角度评估患者动态与静态运动控制，并据此建议新的运动目标以降低不确定性、提升康复效果。您的浏览器不支持视频标签。

安全且个性化的植入式心脏器械

Wed, 27 Apr 2016 00:00:00 +0000

植入式心脏器械（如 ICD）在几乎无需人工干预的情况下诊断生理状态并自主治疗。自主性带来及时干预与更好生活质量，也对安全性与有效性提出独特挑战。与其他领域不同，ICD 与人机生理交互，个体差异大、机理复杂，设计阶段无法穷举所有生理情境，因而可能存在“按设计运行却未按意图运行”的罕见情形，导致严重伤害。当前医疗 CPS 的安全评估多依赖昂贵且非穷尽的临床试验。本方向通过生理建模与形式化框架，将形式化方法与基于模型的设计引入医疗 CPS 的安全与有效性分析，提供可解释的、带生理情境的仿真，辅助医学专家判断系统是否按意图工作。

Towards Model Checking of Implantable Cardioverter Defibrillators

Mon, 11 Apr 2016 00:00:00 +0000

The Challenges of High-Confidence Medical Device Software

Thu, 14 Jan 2016 00:00:00 +0000

High-Confidence Medical Device Software Development

Thu, 10 Dec 2015 00:00:00 +0000

Safety-critical medical device development using the UPP2SF model translation tool

Tue, 01 Apr 2014 00:00:00 +0000

Closed-loop verification of medical devices with model abstraction and refinement

Tue, 24 Sep 2013 00:00:00 +0000

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study

Mon, 16 Apr 2012 00:00:00 +0000

Modeling and Verification of a Dual Chamber Implantable Pacemaker

Mon, 16 Apr 2012 00:00:00 +0000

Modeling cardiac pacemaker malfunctions with the Virtual Heart Model

Tue, 30 Aug 2011 00:00:00 +0000

Cyber Physical Modeling of Implantable Cardiac Medical Devices

Tue, 16 Aug 2011 00:00:00 +0000

Model Based Closed-Loop Testing of Implantable Pacemakers

Tue, 12 Apr 2011 00:00:00 +0000

Using the Virtual Heart Model to validate the mode switch pacemaker operation

Tue, 31 Aug 2010 00:00:00 +0000

Real Time Heart Model for Implantable Cardiac Device Validation and Verification

Tue, 06 Jul 2010 00:00:00 +0000