CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:  Dan You;  Shouguang Wang
收藏  |  浏览/下载：1/0  |  提交时间：2024/01/02
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
收藏  |  浏览/下载：0/0  |  提交时间：2024/04/10
Innovative Services for Electric Mobility Based on Virtual Sensors and Petri Nets 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 9, 页码: 1845-1859
作者:  Agostino Marcello Mangini;  Michele Roccotelli
收藏  |  浏览/下载：7/0  |  提交时间：2023/08/10
基于平行Petri网的制造系统调度与控制一体化方法 期刊论文
自动化学报, 2023, 卷号: 49, 期号: 4, 页码: 845-856
作者:  李大成;  罗继亮;  孙莎莎;  聂维余;  聂卓赟
收藏  |  浏览/下载：0/0  |  提交时间：2024/05/09
基于Petri网的组合设备建模与调度综述 期刊论文
自动化学报, 2023, 卷号: 49, 期号: 5, 页码: 929-948
作者:  袁凤连;  黄波;  王际鹏;  潘春荣
收藏  |  浏览/下载：0/0  |  提交时间：2024/05/09
An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol 期刊论文
SENSORS, 2022, 卷号: 22, 期号: 17
作者:  Wu, Yi;  Feng, Tao
收藏  |  浏览/下载：21/0  |  提交时间：2022/09/22
An adapted component-connection method for building SBDD encoding a dynamic fault tree 期刊论文
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2022
作者:  Guo, Dingqing;  Wang, Jinkai;  Lin, Jian;  Zhang, Bing;  Yong, Nou
收藏  |  浏览/下载：21/0  |  提交时间：2022/12/23
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
作者:  Dan You;  Oussama Karoui;  Shouguang Wang
收藏  |  浏览/下载：61/0  |  提交时间：2021/11/03
A Safe and Compliant Noncontact Interactive Approach for Wheeled Walking Aid Robot 期刊论文
Computational Intelligence and Neuroscience, 2022, 卷号: 2022, 页码: 1-20
作者:  Zhao, Donghui;  Wang, Wei;  Okonkwo, Moses Chukwuka;  Yang ZH(杨子豪);  Yang, Junyou
收藏  |  浏览/下载：33/0  |  提交时间：2022/04/23
Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 12, 页码: 2151-2160
作者:  Cong Liu
收藏  |  浏览/下载：0/0  |  提交时间：2022/12/02

©版权所有 ©2017 CSpace - Powered by CSpace