|
已选(0)清除
条数/页： 排序方式：
|
| 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
  收藏 | 浏览/下载：51/0 | 提交时间：2025/03/11
|
| GSURE-Based Unsupervised Deep Equilibrium Model Learning for Large-Scale Channel Estimation 会议论文
GLOBECOM 2024 - 2024 IEEE GLOBAL COMMUNICATIONS CONFERENCE, Cape Town, South Africa, 8-12 Dec. 2024
作者: Haotian Tian; Lixiang Lian
Adobe PDF(1279Kb) | 收藏 | 浏览/下载：42/2 | 提交时间：2025/03/18
|
| 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) | 收藏 | 浏览/下载：272/3 | 提交时间：2024/07/08
|
| pyUPPAAL: A Python Package for Risk Analysis of CPS 会议论文
ASSOCIATION FOR COMPUTING MACHINERY, San Antonio, TX, United states, May 9, 2023 - May 12, 2023
作者: Guangyao Chen; Linshu Yang; Haochen Yang; Peilin He; Zhihao Jiang
Adobe PDF(918Kb) | 收藏 | 浏览/下载：420/174 | 提交时间：2023/11/20
|
| DSMT-Net: Dual Self-supervised Multi-operator Transformation for Multi-source Endoscopic Ultrasound Diagnosis 期刊论文
IEEE TRANSACTIONS ON MEDICAL IMAGING, 2023, 卷号: PP, 期号: 99, 页码:
1-1
作者: Jiajia Li; Pingping Zhang; Teng Wang; Lei Zhu; Ruhan Liu
Adobe PDF(20632Kb) | 收藏 | 浏览/下载：229/2 | 提交时间：2023/07/21
|
| Ambiguity tube MPC 期刊论文
AUTOMATICA, 2022, 卷号: 146
作者: Wu, Fan; Villanueva, Mario Eduardo; Houska, Boris
Adobe PDF(834Kb) | 收藏 | 浏览/下载：350/0 | 提交时间：2022/11/04
|
