中文版 | English

在结果中检索

CASIA OpenIR

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

已选(0)清除 条数/页：   排序方式：
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:  Dan You;  Shouguang Wang
Adobe PDF(855Kb)  |  收藏  |  浏览/下载：64/30  |  提交时间：2024/01/02
Cyber-attacks  cyber-physical system (CPS)  liveness  non-deterministic supervisors  Petri net (PN)  
Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915
作者:  Chuanliang Xia;  Chengdong Li
Adobe PDF(1761Kb)  |  收藏  |  浏览/下载：128/38  |  提交时间：2021/04/09
Modeling  Petri nets  property preservation  subnet  synthesis  
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
作者:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki
Adobe PDF(12009Kb)  |  收藏  |  浏览/下载：135/26  |  提交时间：2021/04/09
Deadlock prevention  Petri nets  robotic manufacturing cells  structure-minimized supervisor  supervisory control  uncontrollability  unobservability  
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)  |  收藏  |  浏览/下载：158/46  |  提交时间：2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188
作者:  Zhou He;  Ziyue Ma;  Zhiwu Li;  Alessandro Giua
Adobe PDF(1634Kb)  |  收藏  |  浏览/下载：134/24  |  提交时间：2021/04/09
Discrete event system  resource allocation  timed Petri net  weighted marked graph  
A Position and Torque Switching Control Method for Robot Collision Safety 期刊论文
International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 2, 页码: 156-168
作者:  Zhi-Jing Li;  Hai-Bin Wu;  Jian-Ming Yang;  Ming-Hao Wang;  Jin-Hua Ye
浏览  |  Adobe PDF(2166Kb)  |  收藏  |  浏览/下载：101/39  |  提交时间：2021/02/23
Human-robot interaction  position control  torque control  switching control  robot collision safety.  
基于视觉传感系统的中厚板焊接机器人研究 学位论文
, 中国科学院大学: 中国科学院大学, 2017
作者:  KIDDEE PRASARN
Adobe PDF(12176Kb)  |  收藏  |  浏览/下载：177/3  |  提交时间：2017/12/06
中厚板焊缝  十宇线结构光  视觉传感器标定  焊缝特征检测  焊缝跟踪控制  
Protocol Design and Performance Analysis for Manufacturing Message Specification: A Petri Net Approach 期刊论文
IEEE Transactions on Industrial Electronics, 1994, 卷号: 41, 期号: 6, 页码: 641-653
作者:  Fei-Yue Wang;  Kevin Gildea;  Hauke Jungnitz;  David Chen
浏览  |  Adobe PDF(1177Kb)  |  收藏  |  浏览/下载：206/87  |  提交时间：2017/03/17
Manufacturing Message Specification  
A life cycle engineering approach to development of flexible manufacturing systems 期刊论文
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 卷号: 19, 期号: 3, 页码: 465-473
作者:  Yan, PT;  Zhou, MC
收藏  |  浏览/下载：105/0  |  提交时间：2015/11/08
Flexible Manufacturing System (Fms)  Integrated Product And Process Development  Life Cycle Engineering  
Control of elementary and dependent siphons in Petri nets and their application 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 1, 页码: 133-148
作者:  Li, Zhiwu;  Zhou, MengChu
收藏  |  浏览/下载：128/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Control  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System  Petri Net