Formal Design and Implementation of Supervisory Controller for a Didactic Manufacturing Cell
| Autor: | Carlos Teixeira, L. D. James, André B. Leal |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Supervisory control theory
Computer science Event (computing) business.industry Ladder logic ComputerApplications_COMPUTERSINOTHERSYSTEMS 020206 networking & telecommunications Control engineering 02 engineering and technology Modular design Formal design Control theory 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Manufacturing cell business Avalanche effect |
| Zdroj: | ICIT |
| DOI: | 10.1109/icit.2019.8755130 |
| Popis: | This paper presents an application of supervisory control theory (SCT) of discrete event systems to the formal design of a controller for a didactic manufacturing cell. The local modular approach is used to synthesise the supervisors, and the obtained solution is translated to ladder diagram (LD) language. The methodology utilises a strategy to counter the choice problem and presents an approach to counter the avalanche effect, which are well-known challenges when converting SCT results into a PLC application program. The working solution is implemented successfully in the target manufacturing cell. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|