×
验证码:
换一张
忘记密码?
记住我
切换中国科技网通行证登录
×
切换中国科技网通行证登录
登录
中文版
|
English
中国科学院自动化研究所机构知识库
Knowledge Commons of Institute of Automation,CAS
登录
注册
ALL
ORCID
题名
作者
导师
学科领域
关键词
资助项目
文献类型
出处
会议名称
收录类别
出版者
发表日期
存缴日期
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
知识图谱
新闻&公告
在结果中检索
研究单元&专题
学术期刊 [4]
多模态人工智能系统全... [2]
09年以前成果 [2]
毕业生 [1]
作者
沈震 [1]
王鼎 [1]
王飞跃 [1]
文献类型
期刊论文 [8]
学位论文 [1]
发表日期
2021 [2]
2020 [3]
2010 [1]
2005 [1]
2004 [1]
1995 [1]
更多...
语种
英语 [4]
中文 [1]
出处
IEEE/CAA J... [4]
DISCRETE E... [1]
IEEE TRANS... [1]
IEEE TRANS... [1]
IEEE TRANS... [1]
资助项目
Beijing Na... [1]
Early Care... [1]
National N... [1]
National N... [1]
National N... [1]
收录类别
SCI [4]
导师
毛绪瑾 [1]
郑应平 [1]
资助机构
Beijing Na... [1]
Early Care... [1]
National N... [1]
×
知识图谱
CASIA OpenIR
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共9条,第1-9条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
WOS被引频次升序
WOS被引频次降序
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