4.6 Article

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets

Related references

Note: Only part of the references are listed.
Article Automation & Control Systems

Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets

Nan Du et al.

Summary: This article focuses on robust deadlock control in automated manufacturing systems with multiple unreliable resources, utilizing Petri nets and integer linear programming to detect and prevent deadlocks effectively. By developing a robust deadlock supervisor, the controlled system can continue to operate smoothly even in the event of resource failures, showing more permissive states with a simpler structure.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2021)

Article Automation & Control Systems

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation

Benyuan Yang et al.

Summary: This article discusses enforcing GMECs on live PN models by using critical places and marking estimation. It defines GMECs on critical places and develops a control strategy to prevent transition firings that violate the GMECs based on estimated markings. It also presents procedures for dealing with decision deadlocks induced by one-sided decisions made by controllers. Global GMECs are implemented through local observation and control of processes without additional information.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2021)

Article Automation & Control Systems

A Robust Control Approach to Automated Manufacturing Systems Allowing Multitype and Multiquantity of Resources With Petri Nets

Xiaojun Wang et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2020)

Article Automation & Control Systems

A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources

Nan Du et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2020)

Article Automation & Control Systems

Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets

Nan Du et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2020)

Article Automation & Control Systems

Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources

Hao Yue et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2020)

Article Automation & Control Systems

On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets

Chen Chen et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)

Article Automation & Control Systems

A Robust Control Approach to Automated Manufacturing Systems Combining Absorbing and Distributing Characteristics

Xiaojun Wang et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2020)

Article Automation & Control Systems

Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs

Gaiyun Liu et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2019)

Article Automation & Control Systems

Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets

Nan Du et al.

IET CONTROL THEORY AND APPLICATIONS (2019)

Article Computer Science, Information Systems

Robust deadlock control of automated manufacturing systems with multiple unreliable resources

JianChao Luo et al.

INFORMATION SCIENCES (2019)

Article Computer Science, Information Systems

Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources

Yanxiang Feng et al.

INFORMATION SCIENCES (2019)

Article Automation & Control Systems

A Petri Net Based Deadlock Avoidance Policy for Flexible Manufacturing Systems With Assembly Operations and Multiple Resource Acquisition

JianChao Luo et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2019)

Article Automation & Control Systems

Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification

Chen Chen et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)

Article Automation & Control Systems

Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets

Chen Chen et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2018)

Article Computer Science, Information Systems

Resource failure and buffer space allocation control for automated manufacturing systems

Hao Yue et al.

INFORMATION SCIENCES (2018)

Proceedings Paper Engineering, Electrical & Electronic

Evolving Graph Based Power System EMS Real Time Analysis Framework

Guangyi Liu et al.

2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) (2018)

Article Engineering, Industrial

Scheduling of deadlock and failure-prone automated manufacturing systems via hybrid heuristic search

Jian Chao Luo et al.

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2017)

Article Automation & Control Systems

Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources

Yanxiang Feng et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2017)

Article Automation & Control Systems

Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets

Hesuan Hu et al.

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2016)

Article Automation & Control Systems

Deadlock and blockage control for manufacturing systems with failure-prone workstations

Hao Yue et al.

IET CONTROL THEORY AND APPLICATIONS (2016)

Article Computer Science, Information Systems

Robust deadlock control for automated manufacturing systems with an unreliable resource

Yunchao Wu et al.

INFORMATION SCIENCES (2016)

Article Computer Science, Information Systems

A robust deadlock prevention control for automated manufacturing systems with unreliable resources

Feng Wang et al.

INFORMATION SCIENCES (2016)

Proceedings Paper Computer Science, Hardware & Architecture

Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding

Guanjun Liu et al.

ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2016 (2016)

Article Automation & Control Systems

Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets

Hesuan Hu et al.

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2015)

Article Automation & Control Systems

A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems with Assembly Operations

Hesuan Hu et al.

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2015)

Article Automation & Control Systems

Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis

Hesuan Hu et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2014)

Article Engineering, Industrial

Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources

Hao Yue et al.

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2014)

Article Computer Science, Information Systems

Robustness of deadlock control for a class of Petri nets with unreliable resources

G. Y. Liu et al.

INFORMATION SCIENCES (2013)

Article Automation & Control Systems

Robust Supervisory Control for Product Routings With Multiple Unreliable Resources

Song Foh Chew et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2009)

Article Computer Science, Cybernetics

Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems

Keyi Xing et al.

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2009)

Article Computer Science, Cybernetics

An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems

Murat Uzam et al.

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2007)

Article Automation & Control Systems

Robust supervisory control for production systems with multiple resource failures

Song Foh Chew et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2006)

Article Automation & Control Systems

Robustness of deadlock avoidance algorithms for sequential processes

FS Hsieh

AUTOMATICA (2003)

Article Engineering, Industrial

Control of deadlock and blocking for production systems with unreliable workstations

MA Lawley

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH (2002)

Article Automation & Control Systems

Robust supervisory control policies for manufacturing systems with unreliable resources

MA Lawley et al.

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2002)