Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata

International Journal of Automation and Smart Technology ◽

10.5875/ausmt.v8i2.1698 ◽

2018 ◽

Vol 8 (2) ◽

pp. 99-105

Author(s):

Yen-Liang Pan

Keyword(s):

Manufacturing Systems ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Finite State ◽

Supervisor Synthesis

Download Full-text

Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata

Formal Methods in Manufacturing ◽

10.1201/9781315216140-6 ◽

2018 ◽

pp. 169-196

Author(s):

Spyros Reveliotis ◽

Ahmed Nazeem

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Download Full-text

Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-9 ◽

2014 ◽

pp. 169-195 ◽

Author(s):

Spyros Reveliotis ◽

Ahmed Nazeem

Keyword(s):

Manufacturing Systems ◽

Deadlock Avoidance ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Download Full-text

Design of Supervisor for Automated Manufacturing Systems Using Finite State Automata

Advanced Science Letters ◽

10.1166/asl.2012.3801 ◽

2012 ◽

Vol 13 (1) ◽

pp. 339-342

Author(s):

Yi-Sheng Huang ◽

Ho-Shan Chiang ◽

Kuang-Hsiung Tan

Keyword(s):

Manufacturing Systems ◽

Finite State Automata ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Download Full-text

Robust supervisor synthesis for automated manufacturing systems using Petri nets

2015 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2015.7294234 ◽

2015 ◽

Author(s):

Yan Cheng ◽

HeSuan Hu ◽

Yang Liu

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis

Download Full-text

Distributed supervisor synthesis for automated manufacturing systems with flexible routes and assembly operations using Petri nets

2016 IEEE International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2016.7487552 ◽

2016 ◽

Author(s):

Chen Chen ◽

Yan Yang ◽

Hesuan Hu

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis ◽

Assembly Operations

Download Full-text

Distributed supervisor synthesis for automated manufacturing systems using Petri nets

2014 IEEE International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2014.6907504 ◽

2014 ◽

Author(s):

HeSuan Hu ◽

Chen Chen ◽

Rong Su ◽

Yang Liu ◽

MengChu Zhou

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis

Download Full-text

Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources

IEEE Access ◽

10.1109/access.2020.2968469 ◽

2020 ◽

Vol 8 ◽

pp. 22411-22424 ◽

Author(s):

Abdulrahman Al-Ahmari ◽

Husam Kaid ◽

Zhiwu Li ◽

Reggie Davidrajuh

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Colored Petri Net ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis

Download Full-text

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets

2013 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2013.6654039 ◽

2013 ◽

Author(s):

HeSuan Hu ◽

MengChu Zhou ◽

Yang Liu

Keyword(s):

Performance Improvement ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis ◽

And Performance

Download Full-text

Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2015.2402619 ◽

2015 ◽

Vol 11 (2) ◽

pp. 450-458 ◽

Author(s):

HeSuan Hu ◽

Yang Liu

Keyword(s):

Performance Improvement ◽

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis ◽

And Performance

Download Full-text

Concurrent design of automated manufacturing systems using knowledge processing technology

Computers in Industry ◽

10.1016/0166-3615(91)90038-b ◽

1991 ◽

Vol 17 (2-3) ◽

pp. 257-267 ◽

Author(s):

George Kovács ◽

István Mezgár ◽

Sándor Kopácsi

Keyword(s):

Manufacturing Systems ◽

Processing Technology ◽

Concurrent Design ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Knowledge Processing

Download Full-text