中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件                    
已选(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)  |  收藏  |  浏览/下载：31/7  |  提交时间：2024/04/10
Labeled Petri net  multi-valued decision diagram  networked discrete event system  state-based opacity  
Path-Following Control With Obstacle Avoidance of Autonomous Surface Vehicles Subject to Actuator Faults 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 4, 页码: 956-964
作者:  Li-Ying Hao;  Gege Dong;  Tieshan Li;  Zhouhua Peng
Adobe PDF(3761Kb)  |  收藏  |  浏览/下载：30/13  |  提交时间：2024/03/18
Actuator faults  autonomous surface vehicle (ASVs)  improved artificial potential function  nonlinear state observer  obstacle avoidance  
Protocol-Based Non-Fragile State Estimation for Delayed Recurrent Neural Networks Subject to Replay Attacks 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 249-251
作者:  Fan Yang;  Hongli Dong;  Yuxuan Shen;  Xuerong Li;  Dongyan Dai
Adobe PDF(482Kb)  |  收藏  |  浏览/下载：152/73  |  提交时间：2024/01/02