中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页: 排序方式:
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  
Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You
  |  收藏  |  浏览/下载:36/0  |  提交时间:2021/04/09
Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 5, 页码: 953-970
作者:  
Samik Basu;  Ratnesh Kumar
  |  收藏  |  浏览/下载:9/0  |  提交时间:2021/04/09
Event-Triggered Adaptive Critic Control Design for Discrete-Time Constrained Nonlinear Systems 期刊论文  OAI收割
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 卷号: 50, 期号: 9, 页码: 3158-3168
作者:  
Ha, Mingming;  Wang, Ding;  Liu, Derong
  |  收藏  |  浏览/下载:30/0  |  提交时间:2020/09/28
Post-Processing Time-Aware Optimal Scheduling of Single Robotic Cluster Tools 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 2, 页码: 597-605
作者:  
QingHua Zhu;  Yan Qiao;  NaiQi Wu;  Yan Hou
  |  收藏  |  浏览/下载:30/0  |  提交时间:2021/03/11
Resilient Fault Diagnosis Under Imperfect Observations–A Need for Industry 4.0 Era 期刊论文  OAI收割
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 5, 页码: 1279-1288
作者:  
Alejandro White;  Ali Karimoddini;  Mohammad Karimadini
  |  收藏  |  浏览/下载:27/0  |  提交时间:2021/03/11
Assembly transport optimization for a reconfigurable flow shop based on a discrete event simulation 期刊论文  OAI收割
ADVANCES IN PRODUCTION ENGINEERING & MANAGEMENT, 2020, 卷号: 15, 期号: 1, 页码: 69-80
作者:  
Yang SL(杨圣落);  Xu ZG(徐志刚);  Li GZ(李广振);  Wang JY(王军义)
  |  收藏  |  浏览/下载:25/0  |  提交时间:2020/04/23
Distributed optimisation design with triggers for disturbed continuous-time multi-agent systems 期刊论文  OAI收割
IET CONTROL THEORY AND APPLICATIONS, 2017, 卷号: 11, 期号: 2, 页码: 282-290
作者:  
Deng, Zhenhua;  Wang, Xinghu;  Hong, Yiguang
  |  收藏  |  浏览/下载:24/0  |  提交时间:2018/07/30
Quantifying Heuristics in the Ordinal Optimization Framework 期刊论文  OAI收割
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 卷号: 20, 期号: 4, 页码: 441-471
作者:  
Shen, Zhen;  Zhao, Qian-Chuan;  Jia, Qing-Shan
收藏  |  浏览/下载:22/0  |  提交时间:2015/08/12
a petri net-based model for verification of obligations and accountability in cooperative systems 期刊论文  OAI收割
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308
Du YuYue; Jiang ChangJun; Zhou MengChu
  |  收藏  |  浏览/下载:16/0  |  提交时间:2011/03/18
a polynomial dynamic system approach to software design for attractivity requirement 期刊论文  OAI收割
INFORMATION SCIENCES, 2007, 卷号: 177, 期号: 13, 页码: 2712-2725
Wang Xiang-Yun; Zhang Wenhui; Li Yong-Chao; Cai Kai-Yuan
  |  收藏  |  浏览/下载:16/0  |  提交时间:2011/07/01