机构

• 自动化研究所 [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   |  收藏  |  浏览/下载：24/0  |  提交时间：2024/04/10 Labeled Petri net  multi-valued decision diagram  networked discrete event system  state-based opacity   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   |  收藏  |  浏览/下载：21/0  |  提交时间：2024/03/27 Musculoskeletal system  bio-inspired muscle model  discrete-time system  event-triggered control  sliding mode controller   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   |  收藏  |  浏览/下载：34/0  |  提交时间：2021/04/09 Discrete event system  resource allocation  timed Petri net  weighted marked graph   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 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 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 卷号: 50, 期号: 9, 页码: 3158-3168 作者:  Ha, Mingming;  Wang, Ding;  Liu, Derong   |  收藏  |  浏览/下载：30/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   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   |  收藏  |  浏览/下载：27/0  |  提交时间：2020/08/29 Resource allocation  Production logistics system  Object-oriented discrete event simulation  Decision making  Case studylant Simulation software   The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete 期刊论文  OAI收割 AUTOMATICA, 2017, 卷号: 81, 页码: 217-220 作者:  Zhang, Kuize   |  收藏  |  浏览/下载：213/0  |  提交时间：2018/07/30 Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness   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 Accountability  cooperative systems  discrete event system  formal model  obligations  Petri nets   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 收藏  |  浏览/下载：20/0  |  提交时间：2015/11/06 discrete event control system (DECS)  ladder diagram (LD)  Petri nets (PN)  programmable logic controller (PLC)   Observabilities and reachabilities of nonlinear DEDS and coloring graphs 期刊论文  OAI收割 CHINESE SCIENCE BULLETIN, 2001, 卷号: 46, 期号: 8, 页码: 642-644 作者:  Chen, WD;  Tao, YG   |  收藏  |  浏览/下载：27/0  |  提交时间：2018/07/30 discrete event dynamic system  nonlinear  coloring graph  reachability  observability