机构

• 自动化研究所 [9]
• 数学与系统科学研究院 [2]
• 沈阳自动化研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [13]

内容类型

• 期刊论文 [11]
• 学位论文 [2]

发表日期

• 2024 [1]
• 2023 [1]
• 2021 [2]
• 2020 [2]
• 2017 [1]
• 2009 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291 作者:  Yifan Dong;  Naiqi Wu;  Zhiwu Li   |  收藏  |   Event-Triggered Sliding-Mode Control for a Discrete-Time Muscle-Driven Musculoskeletal System 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 页码: 15 作者:  Fan, Yerui;  Wu, Yaxiong;  Yuan, Jianbo;  Gao, Jie;  Qiao, Hong   |  收藏  |   Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188 作者:  Zhou He;  Ziyue Ma;  Zhiwu Li;  Alessandro Giua   |  收藏  |   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   |  收藏  |   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   |  收藏  |   Resource allocation methodology based on object-oriented discrete event simulation: A production logistics system case study 期刊论文  OAI收割 CIRP Journal of Manufacturing Science and Technology, 2020, 卷号: 31, 页码: 394-405 作者:  Li GZ(李广振);  Yang SL(杨圣落);  Xu ZG(徐志刚);  Wang JY(王军义);  Ren, Zhaohui   |  收藏  |   The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete 期刊论文  OAI收割 AUTOMATICA, 2017, 卷号: 81, 页码: 217-220 作者:  Zhang, Kuize   |  收藏  |   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   |  收藏  |   Ladder diagram and Petri-net-based discrete-event control design methods 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2004, 卷号: 34, 期号: 4, 页码: 523-531 作者:  Sen Peng, S;  Zhou, MC 收藏  |   Observabilities and reachabilities of nonlinear DEDS and coloring graphs 期刊论文  OAI收割 CHINESE SCIENCE BULLETIN, 2001, 卷号: 46, 期号: 8, 页码: 642-644 作者:  Chen, WD;  Tao, YG   |  收藏  |