Deadlock Resolution in Computer-Integrated Systems最新文献

Models Used in Static Analysis for Deadlocks of Ada Tasking Programs by M. Tiusanen and T. Murata M. Tiusanen和T. Murata在Ada任务程序死锁静态分析中的应用模型

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-23

引用次数: 0

Deadlock Avoidance in Automated Manufacturing Systems Using Finite Automata and State Space Search 基于有限自动机和状态空间搜索的自动化制造系统死锁避免

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-8

A. Yalcin, T. Tai, T. Boucher

{"title":"Deadlock Avoidance in Automated Manufacturing Systems Using Finite Automata and State Space Search","authors":"A. Yalcin, T. Tai, T. Boucher","doi":"10.1201/9781315214665-8","DOIUrl":"https://doi.org/10.1201/9781315214665-8","url":null,"abstract":"An approach to deadlock avoidance based on finite automata is reviewed in this chapter. This approach begins from the framework introduced by Ramadge and Wonham (R&W) for modeling and control of discrete event systems based on formal languages generated by finite automata. We apply this framework to the problem of dynamic scheduling and control of automated manufacturing systems. A typical automated manufacturing system is composed of multiple machines and workstations that perform various operations on a part, and a material handling system that interconnects these machines and workstations. Parts are processed to completion by routing them through various machines and workstations according to their individual process plans. After processing is complete, the part leaves the system. Deadlock occurs when parts enter a \"circular wait\" condition where, in order to continue processing, a set of two or more parts require resources that are held by parts of the same set. Our approach to avoiding deadlock is unique in the following contributions: 1) A simple and natural way of formulating the \"requirements model\" of the R&W framework from the part routing plans, 2) An ability to handle parts with multiple routing plans within the framework, 3) a solution that guarantees that the resulting controller is both deadlock-free and maximally permissive, and 4) An ability to dynamically reevaluate the controller logic as the active part mix in the manufacturing system changes. The direct application of the R&W framework can involve a large search space as problem size grows. Extensions of our approach have addressed the problems of scalability, state space search, and execution time. This has been accomplished through the introduction of more effective state space search algorithms. These extensions and the relative efficiency of algorithms is also discussed and demonstrated in this chapter.","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128537263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

The Effect of Modeling and Control Techniques on the Management of Dead locks in FMS by L. Ferrarmi and L. Piroddi 建模和控制技术对FMS中死锁管理的影响[j]

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-18

引用次数: 0

Siphon-Based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems by S. Reveliotis S. Reveliotis基于虹吸的活动性表征和活动性强制监督顺序资源分配系统

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-15

引用次数: 0

Deadlock Detection and Prevention of Automated Manufacturing Systems Using Petri Nets and Siphons by M. D. Jeng, and X. Xie 基于Petri网和虹吸管的自动化制造系统死锁检测与预防[j] .郑明德

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-14

引用次数: 9

Deadlock Models for a Multi-Service Medium Access Protocol Employing a Slotted Aloha or Q-ary Tree Based Signaling Channel 采用开槽Aloha或Q-ary树信令通道的多业务介质访问协议的死锁模型

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-20

引用次数: 0

Deadlock Avoidance and Dynamic Routing Flexibility in Automated Manufacturing Systems 自动化制造系统中的死锁避免和动态路由灵活性

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-10

引用次数: 0

Deadlock Resolution in Large-Scale Internet Computing by J. Park 大规模互联网计算中的死锁解析[j]

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-22

引用次数: 0

Deadlock-Free TCP Over High-Speed Internet by Rocky K. C. Chang, H. Y. Chan and A. W. Yeung 高速网际网路上无死锁的TCP协议，张国昌，陈海英，杨亚伟

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-21

引用次数: 0

Deadlock Characterization and Resolution in Interconnection Networks by T. M. Pinkston 互连网络中的死锁表征与解决

Deadlock Resolution in Computer-Integrated Systems Pub Date : 2018-10-08 DOI: 10.1201/9781315214665-19

引用次数: 0