A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems

Date

2006-03-13

Author

Schmidt, Klaus Verner
PERK, SEBASTIAN

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

172
views

0
downloads

This contribution investigates the hierarchical control of decentralized DES which are synchronized by shared events. A multi-level hierarchical control architecture providing hierarchical consistency is introduced. Moreover, it allows for composition of decentralized subsystems on the high-level of the hierarchy, and hence reduces the computational complexity of supervisory control synthesis for language inclusion specifications. In this context, a crucial issue is the nonblocking operation of the overall system. In our main theorem, marked state acceptance and marked state controllability are identified as sufficient conditions for this desirable property.

Subject Keywords

Control systems, Discrete event systems, Computer architecture, Supervisory control, Controllability, Control system synthesis, Computational complexity, Sufficient conditions, Process design, Algorithm design and analysis

URI

https://hdl.handle.net/11511/41597

DOI

https://doi.org/10.1109/.2005.1467134

Collections

Department of Electrical and Electronics Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems Schmidt, Klaus Verner; PERK, SEBASTIAN (Institute of Electrical and Electronics Engineers (IEEE), 2008-11-01) This contribution investigates the hierarchical control of decentralized discrete event systems (DES) that are synchronized by shared events. A hierarchical control architecture providing hierarchical consistency is introduced. Moreover, it allows for composition of decentralized subsystems on the high-level of the hierarchy and hence reduces the computational complexity of supervisory control synthesis for language inclusion specifications. In this context, a crucial issue is the nonblocking operation of t...
Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness Schmidt, Klaus Verner; Cury, José E.r. (null; 2010-12-01) This paper extends previous results on the hierarchical and decentralized control of multitasking discrete event systems (MTDES). Colored observers, a generalization of the observer property, together with local control consistency, allow to derive sufficient conditions for synthesizing modular and hierarchical control that are both strongly nonblocking (SNB) and maximally permissive. A polynomial procedure to verify if a projection fulfills the above properties is proposed and in the case they fail for a g...
A Control System Architecture for Control of Non-Affine in Control, Open-Loop Unstable Underactuated Systems Marangoz, Alp; Kutay, Ali Türker (2017-07-25) In this paper, a control system architecture for control of non-affine in control, open-loop unstable underactuated system is discussed. Passivization of the unactuated (internal) system dynamics achieved through perturbation of trajectories of the actuated states, which are calculated through adaptive dynamic inversion technique, based on Tikhonov's theorem. Performance of the controller is shown through simulation of two open-loop unstable and locally uncontrollable example problems.
Hierarchical and decentralized multitasking control of discrete event systems Schmidt, Klaus Verner; Cury, José E. R. (2007-12-01) In this paper, a hierarchical and decentralized approach for composite discrete-event systems (DES) that have to fulfill multiple tasks is elaborated. Colored marking generators that can distinguish classes of tasks are used as the system model, and a colored abstraction procedure as well as sufficient conditions for nonblocking and hierarchically consistent control are developed. It is shown that the computational complexity for supervisor computation is reduced. A flexible manufacturing system example dem...
Marked-string accepting observers for the hierarchical and decentralized control of discrete event systems Schmidt, Klaus Verner (2006-12-01) The paper extends previous work, where we develop a control theory for nonblocking hierarchical control of decentralized discrete event systems (DES). The results are based on two technical conditions for the hierarchical abstraction: it has to be (i) locally nonblocking and (ii) marked string accepting. In this paper, we investigate the systematic construction of the hierarchical abstraction. Starting from an initial natural projection which need not fulfill (i) and (ii), we provide an algorithm to compute...

Citation Formats

K. V. Schmidt and S. PERK, “A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems,” 2006, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/41597.