|
已选(0)清除
条数/页： 排序方式：
|
| A cognitive digital twin approach to improving driver compliance and accident prevention 期刊论文
ACCIDENT ANALYSIS AND PREVENTION, 2025, 卷号: 211
作者:
 Adobe PDF(5669Kb) |  收藏 | 浏览/下载：106/8 | 提交时间：2025/02/12
|
| PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis and Fault Management in Safety-Critical Systems 会议论文
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
作者: Guangyao Chen ; Ziqi Wang; Chenyang Zhu; Zhihao Jiang
收藏 | 浏览/下载：32/0 | 提交时间：2025/03/11
|
| Closed-Loop Testing of Autonomous Driving Systems: A Safety-Critical, Effective, and Realistic Evaluation Using the Adversarial Cognitive Driver Model 期刊论文
ACCIDENT ANALYSIS AND PREVENTION, 2025, 卷号: -, 期号: -, 页码:
-
作者: Ji Qi; Chenyang Mao; Shuhang Li; Lifeng Yang; Sen Tian
Adobe PDF(20094Kb) | 收藏 | 浏览/下载：38/2 | 提交时间：2025/03/14
|
| Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems 期刊论文
FORMAL ASPECTS OF COMPUTING, 2025
作者: Guangyao Chen; Zeyu Li; Jicheng Gu; Yining She; Chenyang Zhu
收藏 | 浏览/下载：37/0 | 提交时间：2025/03/11
|
| Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247, 期号: 123371
作者: Chen, Guangyao; He, Peilin; Wang, Ziqi; Teng, Zixin; Jiang, Zhihao
Adobe PDF(2200Kb) | 收藏 | 浏览/下载：398/4 | 提交时间：2024/02/23
|
| Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development 会议论文
2024 46TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), Orlando, FL, USA, 15-19 July 2024
作者: Gu JC(顾吉成); Cai PH(蔡佩珩); Jiang ZH(江智浩)
收藏 | 浏览/下载：303/0 | 提交时间：2024/05/23 |
| Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation 会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者: Yilun Chen; Zhuo Jian; Yixi Wang; Zhihao Jiang
Adobe PDF(1220Kb) | 收藏 | 浏览/下载：251/2 | 提交时间：2024/07/08
|
| Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems 会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者: Guangyao Chen; Zhihao Jiang
Adobe PDF(971Kb) | 收藏 | 浏览/下载：262/3 | 提交时间：2024/07/08
|
| Learning-based modeling of human-autonomous vehicle interaction for improved safety in mixed-vehicle platooning control 期刊论文
TRANSPORTATION RESEARCH PART C: EMERGING TECHNOLOGIES, 2024, 卷号: 162
作者: Wang, Jie; Pant, Yash Vardhan; Jiang, Zhihao
Adobe PDF(1865Kb) | 收藏 | 浏览/下载：296/2 | 提交时间：2024/04/26
|
| Improving Safety in Mixed Traffic: A Learning-based Model Predictive Control for Autonomous and Human-Driven Vehicle Platooning 期刊论文
KNOWLEDGE-BASED SYSTEMS, 2024, 卷号: 293, 期号: 111673
作者: Jie Wang; Zhihao Jiang; Yash Vardhan Pant
Adobe PDF(3290Kb) | 收藏 | 浏览/下载：349/1 | 提交时间：2024/03/26
|
