Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach
In the context of automated manufacturing systems, we propose a class of time-varying systems which enable different working modes at different time intervals. This paper provides a comprehensive and comparative study on invariant-based linear constraints in supervisory control of time-varying syste...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8641271/ |
| _version_ | 1819276286057512960 |
|---|---|
| author | Chen Chen Hesuan Hu |
| author_facet | Chen Chen Hesuan Hu |
| author_sort | Chen Chen |
| collection | DOAJ |
| description | In the context of automated manufacturing systems, we propose a class of time-varying systems which enable different working modes at different time intervals. This paper provides a comprehensive and comparative study on invariant-based linear constraints in supervisory control of time-varying systems. First, generalized linear constraints (GLCs) which contain both marking and firing vectors are used to prevent the illegal event from firing at the critical good marking, so as not to reach any deadlock. Supervisor simplification on GLCs is presented in order to remove the dependent ones while retaining the independent ones. Then, weight coefficients are introduced to linear constraints to enhance our specifications' expressivity capability in these iterative approaches. It shows that such specifications have an obvious advantage in improving permissiveness for the systems whose processes can accommodate more tokens. Above linear constraints can be implemented via place invariants in Petri net, and solve the forbidden state problem and event/state separation problem. The experimental studies illustrate the application of time-varying systems and the effectiveness of invariant-based control methods. |
| first_indexed | 2024-12-23T23:37:48Z |
| format | Article |
| id | doaj.art-86aeeb4998fa41d78f26b017f1f5d2c7 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-23T23:37:48Z |
| publishDate | 2019-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-86aeeb4998fa41d78f26b017f1f5d2c72022-12-21T17:25:49ZengIEEEIEEE Access2169-35362019-01-017231492316210.1109/ACCESS.2019.28991908641271Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net ApproachChen Chen0https://orcid.org/0000-0001-5295-7486Hesuan Hu1School of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaIn the context of automated manufacturing systems, we propose a class of time-varying systems which enable different working modes at different time intervals. This paper provides a comprehensive and comparative study on invariant-based linear constraints in supervisory control of time-varying systems. First, generalized linear constraints (GLCs) which contain both marking and firing vectors are used to prevent the illegal event from firing at the critical good marking, so as not to reach any deadlock. Supervisor simplification on GLCs is presented in order to remove the dependent ones while retaining the independent ones. Then, weight coefficients are introduced to linear constraints to enhance our specifications' expressivity capability in these iterative approaches. It shows that such specifications have an obvious advantage in improving permissiveness for the systems whose processes can accommodate more tokens. Above linear constraints can be implemented via place invariants in Petri net, and solve the forbidden state problem and event/state separation problem. The experimental studies illustrate the application of time-varying systems and the effectiveness of invariant-based control methods.https://ieeexplore.ieee.org/document/8641271/Automated manufacturing systemsPetri netsinvariant-based controlsupervisor simplification |
| spellingShingle | Chen Chen Hesuan Hu Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach IEEE Access Automated manufacturing systems Petri nets invariant-based control supervisor simplification |
| title | Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach |
| title_full | Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach |
| title_fullStr | Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach |
| title_full_unstemmed | Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach |
| title_short | Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach |
| title_sort | time varying automated manufacturing systems and their invariant based control a petri net approach |
| topic | Automated manufacturing systems Petri nets invariant-based control supervisor simplification |
| url | https://ieeexplore.ieee.org/document/8641271/ |
| work_keys_str_mv | AT chenchen timevaryingautomatedmanufacturingsystemsandtheirinvariantbasedcontrolapetrinetapproach AT hesuanhu timevaryingautomatedmanufacturingsystemsandtheirinvariantbasedcontrolapetrinetapproach |