Deadlock prevention in flexible manufacturing systems using symbolic model checking

被引：0
|
作者：
HartonasGarmhausen, V [1 ]
Clarke, EM [1 ]
Campos, S [1 ]
机构：
[1] CARNEGIE MELLON UNIV,DEPT ENGN & PUBL POLICY,PITTSBURGH,PA 15213
来源：
1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：527 / 532
页数：6
相关论文
共 50 条
  • [1] A deadlock prevention policy for flexible manufacturing systems using siphons
    Huang, YS
    Jeng, MD
    Xie, XL
    Chung, SL
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 541 - 546
  • [2] Deadlock avoidance control synthesis in manufacturing systems using model checking
    Wang, Y
    Wu, ZM
    PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2003, : 1702 - 1703
  • [3] DEADLOCK PREVENTION AND DEADLOCK-AVOIDANCE IN FLEXIBLE MANUFACTURING SYSTEMS USING PETRI NET MODELS
    VISWANADHAM, N
    NARAHARI, Y
    JOHNSON, TL
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1990, 6 (06): : 713 - 723
  • [4] An iterative deadlock prevention policy for flexible manufacturing systems using Petri nets
    Huang, YS
    Chen, CT
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 229 - 234
  • [5] Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
    Li, Z.
    Shpitalni, M.
    IET CONTROL THEORY AND APPLICATIONS, 2009, 3 (03): : 362 - 374
  • [6] Deadlock prevention for flexible manufacturing system
    Gang Xu
    Zhiming Wu
    Journal of Control Theory and Applications, 2005, 3 (4): : 377 - 382
  • [7] Deadlock prevention for flexible manufacturing system
    Gang XU
    JournalofControlTheoryandApplications, 2005, (04) : 377 - 382
  • [8] Maximally permissive deadlock prevention policies for flexible manufacturing systems using control transition
    Row, Ter-Chan
    Pan, Yen-Liang
    ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (07)
  • [9] A channelized deadlock prevention policy for flexible manufacturing systems using Petri net models
    Huang, Yi-Sheng
    Row, Ter-Chan
    MATERIALS AND DESIGN, PTS 1-3, 2011, 284-286 : 1498 - +
  • [10] Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
    Lewis, FL
    Gurel, A
    Bogdan, S
    Doganalp, A
    Pastravanu, OC
    AUTOMATICA, 1998, 34 (09) : 1083 - 1100
12345