Kiểm Soát Tối Ưu Hệ Thống Sản Xuất Tự Động

Trường đại học

Xidian University

Người đăng

Ẩn danh

Thể loại

monograph

2012

206
0
0

Phí lưu trữ

40.000 VNĐ

Mục lục chi tiết

Preface

Acknowledgements

1. Introduction

1.1. Automated Manufacturing Systems

1.2. Supervisory Control of Automated Manufacturing Systems

1.4. Bibliographical Remarks

1.5. References

2. Preliminaries

2.2. Binary Decision Diagrams

2.3. Binary Decision Diagrams

2.4. Bibliographical Remarks

2.5. References

3. Symbolic Computation and Analysis of Petri Nets

3.1. Conversely Firing Policy

3.2. Symbolic Modeling of Bounded Petri Nets

3.3. Efficient Computation of a Reachability Set

3.4. Symbolic Analysis of a Reachability Graph

3.5. Efficient Computation of Minimal Siphons

3.5.1. Symbolic Representation of Siphons

3.5.2. Symbolic Extraction of Minimal Siphons

3.5.3. An Illustrative Example

3.5.4. Experimental Results

3.7. Bibliographical Remarks

3.8. References

4. Supervisor Design Based on the Theory of Regions

4.2. The Theory of Regions

4.3. An Illustrative Example

4.5. Bibliographical Remarks

4.6. References

5. Maximally Permissive Supervisors

5.1. Control Place Computation for a Place Invariant

5.2. Optimal Control Place Synthesis

5.3. Vector Covering Approach for Place Invariant Control

5.4. Symbolic Computation of the Vector Covering Approach

5.5. Deadlock Prevention Policy

5.8. Bibliographical Remarks

5.9. References

6. Most Permissive Supervisors

6.2. Best Control Place Synthesis

6.3. Deadlock Prevention Policy

6.6. Bibliographical Remarks

6.7. References

7. Structurally Minimal Supervisors

7.2. Synthesis of Minimum Control Places

7.3. Deadlock Prevention Policy

7.6. Bibliographical Remarks

7.7. References

8. Behaviorally Optimal and Structurally Simple Supervisors

8.2. Control Place Synthesis for FBMs

8.3. Deadlock Prevention Policy

8.6. Bibliographical Remarks

8.7. References

9. Forbidden State Problems

9.1. Reachability Graph Generation under Forbidden States

9.2. Forbidden State Problems

9.3. Optimal Monitor Synthesis

9.4. Vector Covering Approach for a Minimal Supervisory Structure

9.5. Structurally and Behaviorally Optimal Supervisor

9.6. Most Permissive Supervisor Design

9.8. Bibliographical Remarks

9.9. References

10. Conclusions and Open Problems

10.1. Siphons in an S3PR

10.2. Iterative Deadlock Control Approach

10.3. Optimal Supervisor Design Problem

10.4. Supervisor Design with Minimized Costs

10.5. Elementary Siphons in CPN or ROPN

10.6. Fault-tolerate Deadlock Control

10.7. Existence of Optimal Supervisors

10.8. Deadlock Avoidance with Polynomial Complexity

10.9. References

Glossary

Index

Acronyms

Authors

Optimal supervisory control of automated manufacturing systems

Bạn đang xem trước tài liệu:

Optimal supervisory control of automated manufacturing systems