Nonblocking Hierarchical Control of Decentralized Discrete Event Systems

Date

2008-11-01

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

146
views

0
downloads

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 the overall system. Our main theorem identifies sufficient conditions for this desirable property.

Subject Keywords

Control and Systems Engineering, Electrical and Electronic Engineering, Computer Science Applications

URI

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

Journal

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

DOI

https://doi.org/10.1109/tac.2008.2006817

Collections

Department of Electrical and Electronics Engineering, Article

Suggestions

OpenMETU
Core

A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems Schmidt, Klaus Verner; PERK, SEBASTIAN (2006-03-13) 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 ...
Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems Schmidt, Klaus Verner (Institute of Electrical and Electronics Engineers (IEEE), 2013-09-01) In this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the system must be uniquely identified by the modular component where it occurs and solely based on event observations of that component. Hence, all diagnostic computations for faults to be detected in this architecture can be performed locally on the respective modular component, and the obt...
Simple derivative-free nonlinear state observer for sensorless AC drives Akin, Bilal; Orguner, Umut; Ersak, Aydin; Ehsani, Mehrdad (Institute of Electrical and Electronics Engineers (IEEE), 2006-10-01) In this paper, a new Kalman filtering technique, unscented Kalman filter (UKF), is utilized both experimentally and theoretically as a state estimation tool in field-oriented control (FOC) of sensorless ac drives. Using the advantages of this recent derivative-free nonlinear estimation tool, rotor speed and dq-axis fluxes of an induction motor are estimated only with the sensed stator currents and voltages information. In order to compare the estimation performances of the extended Kalman filter (EKF) and U...
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...
Random Set Methods Estimation of Multiple Extended Objects Granstrom, Karl; Lundquist, Christian; Gustafsson, Fredrik; Orguner, Umut (Institute of Electrical and Electronics Engineers (IEEE), 2014-06-01) Random set-based methods have provided a rigorous Bayesian framework and have been used extensively in the last decade for point object estimation. In this article, we emphasize that the same methodology offers an equally powerful approach to estimation of so-called extended objects, i.e., objects that result in multiple detections on the sensor side. Building upon the analogy between Bayesian state estimation of a single object and random finite set (RFS) estimation for multiple objects, we give a tutorial...

Citation Formats

K. V. Schmidt and S. PERK, “Nonblocking Hierarchical Control of Decentralized Discrete Event Systems,” IEEE TRANSACTIONS ON AUTOMATIC CONTROL, pp. 2252–2265, 2008, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/46833.