消息
×
loading..
中文版 | English

在结果中检索

KMS
（本次检索基于用户作品认领结果）

浏览/检索结果: 共32条，第1-10条 帮助

限定条件        
已选(0)清除 条数/页：   排序方式：
A cognitive digital twin approach to improving driver compliance and accident prevention 期刊论文
ACCIDENT ANALYSIS AND PREVENTION, 2025, 卷号: 211
作者:  Gu, Yi;  Li, Shuhang;  Qi, Ji;  Fu, Bangzheng;  Tang, Renzhi
Adobe PDF(5669Kb)  |  收藏  |  浏览/下载：141/12  |  提交时间：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
收藏  |  浏览/下载：66/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)  |  收藏  |  浏览/下载：77/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
收藏  |  浏览/下载：70/0  |  提交时间：2025/03/11
Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework 会议论文
PROCEEDINGS OF THE 16TH ANNUAL ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, ICCPS 2025, null,Irvine,CA, MAY 06-09, 2025
作者:  Yu, Yichuan;  Mao, Chenyang;  Jiang, Zhihao
Adobe PDF(1691Kb)  |  收藏  |  浏览/下载：30/1  |  提交时间：2025/06/17
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247
作者:  Chen, Guangyao;  He, Peilin;  Wang, Ziqi;  Teng, Zixin;  Jiang, Zhihao
Adobe PDF(2200Kb)  |  收藏  |  浏览/下载：437/5  |  提交时间：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(江智浩)
收藏  |  浏览/下载：342/0  |  提交时间：2024/05/23
Improving Safety in Mixed Traffic: A Learning-based Model Predictive Control for Autonomous and Human-Driven Vehicle Platooning 期刊论文
KNOWLEDGE-BASED SYSTEMS, 2024, 卷号: 293
作者:  Jie Wang;  Zhihao Jiang;  Yash Vardhan Pant
Adobe PDF(3290Kb)  |  收藏  |  浏览/下载：380/1  |  提交时间：2024/03/26
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)  |  收藏  |  浏览/下载：335/2  |  提交时间：2024/04/26
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)  |  收藏  |  浏览/下载：296/3  |  提交时间：2024/07/08
  • 首页
  • 上一页
  • 1
  • 2
  • 3
  • 4
  • 下一页
  • 末页