CASIA OpenIR

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

限定条件    
已选(0)清除 条数/页:   排序方式:
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291
作者:  Yifan Dong;  Naiqi Wu;  Zhiwu Li
Adobe PDF(7338Kb)  |  收藏  |  浏览/下载:87/31  |  提交时间:2024/04/10
Labeled Petri net  multi-valued decision diagram  networked discrete event system  state-based opacity  
Attacks Against Cross-Chain Systems and Defense Approaches: A Contemporary Survey 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 8, 页码: 1647-1667
作者:  Li Duan;  Yangyang Sun;  Wei Ni;  Weiping Ding;  Jiqiang Liu;  Wei Wang
Adobe PDF(2148Kb)  |  收藏  |  浏览/下载:151/43  |  提交时间:2023/07/20
Blockchain  cross-chain  defense  distributed private key control  hash-locking  notary  security threats  sidechain/relay  
A Survey on the Control Lyapunov Function and Control Barrier Function for Nonlinear-Affine Control Systems 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 3, 页码: 584-602
作者:  Boqian Li;  Shiping Wen;  Zheng Yan;  Guanghui Wen;  Tingwen Huang
Adobe PDF(2663Kb)  |  收藏  |  浏览/下载:531/335  |  提交时间:2023/03/02
Control barrier function (CBF)  control Lyapunov function (CLF)  nonlinear-affine control systems  
Toward Data-Driven Digital Therapeutics Analytics: Literature Review and Research Directions 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 1, 页码: 42-66
作者:  Uichin Lee;  Gyuwon Jung;  Eun-Yeol Ma;  Jin San Kim;  Heepyung Kim;  Jumabek Alikhanov;  Youngtae Noh;  Heeyoung Kim
Adobe PDF(2887Kb)  |  收藏  |  浏览/下载:546/357  |  提交时间:2023/01/03
Causal inference  data-driven analytics framework  digital therapeutics (DTx)  mobile and wearable data  technical and behavioral engagement  
Detecting Vulnerability on IoT Device Firmware: A Survey 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 1, 页码: 25-41
作者:  Xiaotao Feng;  Xiaogang Zhu;  Qing-Long Han;  Wei Zhou;  Sheng Wen;  Yang Xiang
Adobe PDF(3134Kb)  |  收藏  |  浏览/下载:539/333  |  提交时间:2023/01/03
Firmware emulation  internet of things (IoT) firmware  network fuzzing  security  static analysis  
MPC-based Motion Planning and Control Enables Smarter and Safer Autonomous Marine Vehicles: Perspectives and a Tutorial Survey 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 1, 页码: 8-24
作者:  Henglai Wei;  Yang Shi
Adobe PDF(10538Kb)  |  收藏  |  浏览/下载:222/27  |  提交时间:2023/01/03
Autonomous marine vehicles (AMVs)  model predictive control (MPC)  motion control  motion planning  
A Distributed Framework for Large-scale Protein-protein Interaction Data Analysis and Prediction Using MapReduce 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 1, 页码: 160-172
作者:  Lun Hu;  Shicheng Yang;  Xin Luo;  Huaqiang Yuan;  Khaled Sedraoui;  MengChu Zhou
Adobe PDF(1993Kb)  |  收藏  |  浏览/下载:279/65  |  提交时间:2021/11/03
Distributed computing  large-scale prediction machine learning  MapReduce  protein-protein interaction (PPI)  
Blockchain-Assisted Secure Fine-Grained Searchable Encryption for a Cloud-Based Healthcare Cyber-Physical System 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 12, 页码: 1877-1890
作者:  null Mamta;  Brij B. Gupta;  Kuan-Ching Li;  Victor C. M. Leung;  Kostas E. Psannis;  Shingo Yamaguchi
Adobe PDF(1923Kb)  |  收藏  |  浏览/下载:216/60  |  提交时间:2021/09/03
Cloud-based cyber-physical systems (CCPS)  data encryption  healthcare information search and retrieval  keyword search  public-key cryptosystems  searchable encryption  
A Review on Representative Swarm Intelligence Algorithms for Solving Optimization Problems: Applications and Trends 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 10, 页码: 1627-1643
作者:  Jun Tang;  Gang Liu;  Qingtao Pan
Adobe PDF(5712Kb)  |  收藏  |  浏览/下载:154/38  |  提交时间:2021/09/03
Ant colony optimization (ACO)  artificial bee colony (ABC)  artificial fish swarm (AFS)  bacterial foraging optimization (BFO)  optimization  particle swarm optimization (PSO)  swarm intelligence  
Generating Adversarial Samples on Multivariate Time Series using Variational Autoencoders 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 9, 页码: 1523-1538
作者:  Samuel Harford;  Fazle Karim;  Houshang Darabi
Adobe PDF(12886Kb)  |  收藏  |  浏览/下载:154/47  |  提交时间:2021/09/03
Adversarial machine learning  deep learning  multivariate time series  perturbation methods