中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件    
已选(0)清除 条数/页：   排序方式：
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
Adobe PDF(2222Kb)  |  收藏  |  浏览/下载：92/21  |  提交时间：2021/04/09
Discrete event systems (DES)  non-deterministic plant  μ-calculus  supervisory control  
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;  Kamel Barkaoui;  MengChu Zhou
Adobe PDF(1617Kb)  |  收藏  |  浏览/下载：160/46  |  提交时间：2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
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
收藏  |  浏览/下载：135/0  |  提交时间：2020/09/28
Nonlinear systems  Actuators  Discrete-time systems  Dynamic programming  Optimal control  Adaptive systems  Adaptive dynamic programming (ADP)  control constraints  event-triggered control  heuristic dynamic programming (HDP)  neural networks  nonlinear discrete-time system  
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
浏览  |  Adobe PDF(6170Kb)  |  收藏  |  浏览/下载：138/56  |  提交时间：2021/03/11
Cyber-physical systems  discrete event systems  fault diagnosis  imperfect communication  imperfect observation  Industry 4.0  resilience  
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
浏览  |  Adobe PDF(3300Kb)  |  收藏  |  浏览/下载：128/47  |  提交时间：2021/03/11
Cluster tool  discrete event systems  optimization  robotic systems  scheduling  
Quantifying Heuristics in the Ordinal Optimization Framework 期刊论文
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 卷号: 20, 期号: 4, 页码: 441-471
作者:  Shen, Zhen;  Zhao, Qian-Chuan;  Jia, Qing-Shan
浏览  |  Adobe PDF(523Kb)  |  收藏  |  浏览/下载：162/58  |  提交时间：2015/08/12
Discrete Event Dynamic Systems  Ordinal Optimization  Heuristic  Hypothesis Testing  
State feedback stabilization and majorizing achievement of min-max-plus systems 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 卷号: 50, 期号: 12, 页码: 2027-2033
作者:  Tao, YG;  Liu, GP
收藏  |  浏览/下载：133/0  |  提交时间：2015/11/06
Desired Eigenvalue Area  Discrete-event Systems  Majorizing Achievement  Min-max-plus Systems  State Feedback Stabilization  
A modified reachability tree approach to analysis of unbounded Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2004, 卷号: 34, 期号: 1, 页码: 303-308
作者:  Wang, FY;  Gao, YQ;  Zhou, MC
浏览  |  Adobe PDF(184Kb)  |  收藏  |  浏览/下载：250/115  |  提交时间：2015/11/06
Analysis Method  Discrete Event Systems  Petri Nets  Reachability Tree