CORC

在结果中检索

CORC

浏览/检索结果: 共430条，第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
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
收藏  |  浏览/下载：6/0  |  提交时间：2023/08/10
An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol 期刊论文
SENSORS, 2022, 卷号: 22, 期号: 17
作者:  Wu, Yi;  Feng, Tao
收藏  |  浏览/下载：18/0  |  提交时间：2022/09/22
Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188
作者:  Zhou He;  Ziyue Ma;  Zhiwu Li;  Alessandro Giua
收藏  |  浏览/下载：15/0  |  提交时间：2021/04/09
Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 3, 页码: 812-821
作者:  Jianchao Luo;  Zhiqiang Liu;  Shuogang Wang;  Keyi Xing
收藏  |  浏览/下载：19/0  |  提交时间：2021/03/11
Research and Application of Fuzzy Decision Based on Multi-Agent System 期刊论文
The Journal of Supercomputing, 2020, 卷号: 76, 期号: 162, 页码: 4149–4168
作者:  Zhang WX(张文旭)
收藏  |  浏览/下载：21/0  |  提交时间：2022/03/10
Petri net-based scheduling strategy and energy modeling for the cylinder block remanufacturing under uncertainty 期刊论文
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2019, 卷号: 58, 页码: 208-219
作者:  Peng, Shitong;  Li, Tao;  Zhao, Jiali;  Guo, Yanchun;  Lv, Shengping
收藏  |  浏览/下载：2/0  |  提交时间：2019/11/15
Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets 期刊论文
Journal of Shanghai Jiaotong University (Science), 2019, 卷号: 24, 期号: 2, 页码: 190-195
作者:  Li, Shaoyong;  Wu, Zongli;  Li, Hailin;  Wei, Xianhong;  Cai, Ying
收藏  |  浏览/下载：8/0  |  提交时间：2020/11/14
Robust deadlock control of automated manufacturing systems with multiple unreliable resources 期刊论文
Information Sciences, 2019, 卷号: 479, 页码: 401-415
作者:  Luo, JianChao;  Liu, ZhiQiang;  Zhou, MengChu;  Xing, KeYi;  Wang, XinNian
收藏  |  浏览/下载：21/0  |  提交时间：2019/11/19
Petri net-based scheduling strategy and energy modeling for the cylinder block remanufacturing under uncertainty 期刊论文
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2019, 卷号: 58, 页码: 208-219
作者:  Peng, Shitong;  Li, Tao;  Zhao, Jiali;  Guo, Yanchun;  Lv, Shengping
收藏  |  浏览/下载：22/0  |  提交时间：2019/12/02

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