CASIA OpenIR

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

已选(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)  |  收藏  |  浏览/下载:106/22  |  提交时间: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)  |  收藏  |  浏览/下载:182/51  |  提交时间:2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
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)  |  收藏  |  浏览/下载:156/62  |  提交时间: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)  |  收藏  |  浏览/下载:144/53  |  提交时间:2021/03/11
Cluster tool  discrete event systems  optimization  robotic systems  scheduling  
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
收藏  |  浏览/下载:167/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  
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
收藏  |  浏览/下载:146/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)  |  收藏  |  浏览/下载:269/120  |  提交时间:2015/11/06
Analysis Method  Discrete Event Systems  Petri Nets  Reachability Tree  
混杂系统控制理论与方法研究及其在间歇过程控制中的应用 学位论文
, 中国科学院自动化研究所: 中国科学院自动化研究所, 1995
作者:  吴锋
收藏  |  浏览/下载:196/0  |  提交时间:2015/09/02
混杂系统  离散事件系统  连续变量系统  过程控制  定性/定量性能  集成优化  自动机  Petri网  Hybrid Systems  Discrete Event Systems  Continuous Time Systems  Process Control  Qualitative/quantitative Performance  Integrated Op  
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)  |  收藏  |  浏览/下载:178/61  |  提交时间:2015/08/12
Discrete Event Dynamic Systems  Ordinal Optimization  Heuristic  Hypothesis Testing