已选(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![](/image/person.jpg)
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 |