A Hierarchical Control Architecture for ω-Languages
In the Supervisory Control Theory according to P.J. Ramadge und W.M. Wonham, the behaviour of a dynamical system is described by sequences of discrete events. Typical applications are production and transportation systems that are operated by programmable logic controllers. A challenge in this area...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Online |
| Idioma: | anglès |
| Publicat: |
FAU University Press
2025
|
| Matèries: | |
| Accés en línia: | ONIX_20250828T094736_9783961470297_27 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| _version_ | 1869531580763996160 |
|---|---|
| author | Agethen, Christine |
| author_browse | Agethen, Christine |
| author_facet | Agethen, Christine |
| author_sort | Agethen, Christine |
| collection | Directory of Open Access Books |
| description | In the Supervisory Control Theory according to P.J. Ramadge und W.M. Wonham, the behaviour of a dynamical system is described by sequences of discrete events. Typical applications are production and transportation systems that are operated by programmable logic controllers. A challenge in this area is the controller design for systems consisting of a large number of components and requiring the coordination of various synchronous processes. The size of a model that describes their synchronous behaviour grows exponentially in the number of components. Hence, monolithic supervisor design using the Supervisory Control Theory in the context of large-scale systems requires a prohibitive amount of computational effort. In order to avoid large monolithic models, several hierarchical and modular procedures have been presented that structure the monolithic control problem vertically and horizontally into manageable synthesis sub-tasks. However, existing approaches are limited to modelling behaviours on a finite-time horizon, using *-languages. Whereas synthesis procedures of the monolithic controller design also include the controller design for behaviours that evolve on an infinite-time axis, so called ω-languages, offering thereby a more general field of application. In this thesis, a hierarchical and modular control approach for ω-languages is developed that is based on the use of abstractions. Therefore, known methods regarding the monolithic controller design for ω-languages are adopted to the hierarchical and modular control context. In addition, dynamical systems are modelled as input/output systems, following the Behavioural Systems Theory of J.C. Willems. For a practical perspective, algorithms to solve the presented hierarchical control problem on the basis of finite-state automata are elaborated and an example from the area of transportation systems is discussed. It demonstrates that the presented approach enables efficient controller design for large-scale systems modelled by ω-languages and reduces the respective computational effort. |
| format | Online |
| id | doab-20.500.12854ir-166261 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | FAU University Press |
| publisherStr | FAU University Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1662612025-10-16T12:55:13Z A Hierarchical Control Architecture for ω-Languages Agethen, Christine Ereignisdiskrete Systeme Formale Sprache Hierarchische Regelung Omega-Sprachen thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes In the Supervisory Control Theory according to P.J. Ramadge und W.M. Wonham, the behaviour of a dynamical system is described by sequences of discrete events. Typical applications are production and transportation systems that are operated by programmable logic controllers. A challenge in this area is the controller design for systems consisting of a large number of components and requiring the coordination of various synchronous processes. The size of a model that describes their synchronous behaviour grows exponentially in the number of components. Hence, monolithic supervisor design using the Supervisory Control Theory in the context of large-scale systems requires a prohibitive amount of computational effort. In order to avoid large monolithic models, several hierarchical and modular procedures have been presented that structure the monolithic control problem vertically and horizontally into manageable synthesis sub-tasks. However, existing approaches are limited to modelling behaviours on a finite-time horizon, using *-languages. Whereas synthesis procedures of the monolithic controller design also include the controller design for behaviours that evolve on an infinite-time axis, so called ω-languages, offering thereby a more general field of application. In this thesis, a hierarchical and modular control approach for ω-languages is developed that is based on the use of abstractions. Therefore, known methods regarding the monolithic controller design for ω-languages are adopted to the hierarchical and modular control context. In addition, dynamical systems are modelled as input/output systems, following the Behavioural Systems Theory of J.C. Willems. For a practical perspective, algorithms to solve the presented hierarchical control problem on the basis of finite-state automata are elaborated and an example from the area of transportation systems is discussed. It demonstrates that the presented approach enables efficient controller design for large-scale systems modelled by ω-languages and reduces the respective computational effort. 2025-08-29T05:07:09Z 2025-08-29T05:07:09Z 2025-08-28T07:59:24Z 2017 book ONIX_20250828T094736_9783961470297_27 https://library.oapen.org/handle/20.500.12657/105783 9783961470297 9783961470280 https://directory.doabooks.org/handle/20.500.12854/166261 eng FAU Forschungen : Reihe B open access image/jpeg image/jpeg n/a n/a https://library.oapen.org/bitstream/20.500.12657/105783/1/9783961470297.pdf https://library.oapen.org/bitstream/20.500.12657/105783/1/9783961470297.pdf FAU University Press 2c600dea-eece-4066-87be-da335e323fdb 9783961470297 9783961470280 AG Universitätsverlage 119 Erlangen open access |
| spellingShingle | Ereignisdiskrete Systeme Formale Sprache Hierarchische Regelung Omega-Sprachen thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes Agethen, Christine A Hierarchical Control Architecture for ω-Languages |
| title | A Hierarchical Control Architecture for ω-Languages |
| title_full | A Hierarchical Control Architecture for ω-Languages |
| title_fullStr | A Hierarchical Control Architecture for ω-Languages |
| title_full_unstemmed | A Hierarchical Control Architecture for ω-Languages |
| title_short | A Hierarchical Control Architecture for ω-Languages |
| title_sort | hierarchical control architecture for ω languages |
| topic | Ereignisdiskrete Systeme Formale Sprache Hierarchische Regelung Omega-Sprachen thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes |
| topic_facet | Ereignisdiskrete Systeme Formale Sprache Hierarchische Regelung Omega-Sprachen thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes |
| url | ONIX_20250828T094736_9783961470297_27 |
| work_keys_str_mv | AT agethenchristine ahierarchicalcontrolarchitectureforōlanguages AT agethenchristine hierarchicalcontrolarchitectureforōlanguages |