A Modular Supervisory Control Scheme for the Safety of an Automated Manufacturing System
- Resource Type
- Conference
- Authors
- Kouvakas, Nikolaos D.; Koumboulis, Fotis N.; Fragkoulis, Dimitrios G.; Markou, Konstantinos
- Source
- 2022 2nd International Conference on Robotics, Automation and Artificial Intelligence (RAAI) Robotics, Automation and Artificial Intelligence (RAAI), 2022 2nd International Conference on. :105-112 Dec, 2022
- Subject
- Robotics and Control Systems
Computational modeling
Automata
Process control
Computer architecture
Supervisory control
Controllability
Safety
discrete event systems
supervisory control
manufacturing processes
- Language
The analytic finite deterministic automata models of the subsystems of an automated manufacturing system in circular mode are presented. The total model of the manufacturing system is determined. The safety specifications of the system are formulated in the form of rules. The rules are translated to appropriate desired regular languages. The languages are realized in analytic forms of finite deterministic supervisor automata. A modular supervisory control scheme based on the supervisor automata, is proposed. The satisfactory performance of the controlled automaton is proven, through the computation of the marked language of the controlled automaton and the proof the nonblocking property of the controlled automaton as well as the proof of the controllability of the languages, realized by the supervisor automata. The complexity of the proposed supervisor scheme is computed.