CORC

在结果中检索

CORC

浏览/检索结果: 共168条，第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
收藏  |  浏览/下载：0/0  |  提交时间：2024/04/10
Event-Triggered Sliding-Mode Control for a Discrete-Time Muscle-Driven Musculoskeletal System 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 页码: 15
作者:  Fan, Yerui;  Wu, Yaxiong;  Yuan, Jianbo;  Gao, Jie;  Qiao, Hong
收藏  |  浏览/下载：2/0  |  提交时间：2024/03/27
Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 5, 页码: 953-970
作者:  Samik Basu;  Ratnesh Kumar
收藏  |  浏览/下载：42/0  |  提交时间：2021/04/09
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
收藏  |  浏览/下载：20/0  |  提交时间：2021/04/09
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You
收藏  |  浏览/下载：34/0  |  提交时间：2021/04/09
Event-Triggered Adaptive Critic Control Design for Discrete-Time Constrained Nonlinear Systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 卷号: 50, 期号: 9, 页码: 3158-3168
作者:  Ha, Mingming;  Wang, Ding;  Liu, Derong
收藏  |  浏览/下载：7/0  |  提交时间：2020/09/28
Resilient Fault Diagnosis Under Imperfect Observations–A Need for Industry 4.0 Era 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 5, 页码: 1279-1288
作者:  Alejandro White;  Ali Karimoddini;  Mohammad Karimadini
收藏  |  浏览/下载：11/0  |  提交时间：2021/03/11
Post-Processing Time-Aware Optimal Scheduling of Single Robotic Cluster Tools 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 2, 页码: 597-605
作者:  QingHua Zhu;  Yan Qiao;  NaiQi Wu;  Yan Hou
收藏  |  浏览/下载：9/0  |  提交时间：2021/03/11
Resource allocation methodology based on object-oriented discrete event simulation: A production logistics system case study 期刊论文
CIRP Journal of Manufacturing Science and Technology, 2020, 卷号: 31, 页码: 394-405
作者:  Li GZ(李广振);  Yang SL(杨圣落);  Xu ZG(徐志刚);  Wang JY(王军义);  Ren, Zhaohui
收藏  |  浏览/下载：11/0  |  提交时间：2020/08/29
Bottleneck identification and alleviation in a blocked serial production line with discrete event simulation: A case study 期刊论文
ADVANCES IN PRODUCTION ENGINEERING & MANAGEMENT, 2020, 卷号: 15, 期号: 2, 页码: 125-136
作者:  Li GZ(李广振);  Xu ZG(徐志刚);  Yang SL(杨圣落);  Wang HY(王鸿宇);  Bai XL(白鑫林)
收藏  |  浏览/下载：11/0  |  提交时间：2020/09/12

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