Fault-tolerant control of discrete-event systems with lower-bound specifications

Date

2015-06-01

Author

Moor, Thomas
Schmidt, Klaus Verner

Metadata

Show full item record

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

Item Usage Stats

77
views

0
downloads

Fault-tolerant control addresses the control of dynamical systems such that they remain functional after the occurrence of a fault. To allow the controller to compensate for a fault, the system must exhibit certain redundancies. Alternatively, one may relax performance requirements for the closedloop behaviour after the occurrence of a fault. To achieve fault tolerance for a hierarchical control architecture, a combination of both options appears to be advisable: on each individual level of the hierarchy, the controller may compensate the fault as far as possible, and then pass on responsibility to the next upper level. This approach, when further elaborated for discrete-event systems represented by formal languages, turns out to impose a hard lower-bound inclusion specification on the closed-loop behaviour. The present paper discusses the corresponding synthesis problem and presents a solution.

Subject Keywords

Hierarchical control, fault-tolerant control, Supervisory control, Discrete-event systems

URI

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

DOI

https://doi.org/10.1016/j.ifacol.2015.06.488

Collections

Department of Electrical and Electronics Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Abstraction-based supervisory control for recon-gurable manufacturing systems ? Khalid, Harith M.; Kirik, Mustafa Sancay; Schmidt, Klaus Verner (2013-10-21) Reconfiguration control for discrete event systems (DES) is concerned with the realization of different system configurations by modification of the supervisory control loop. In this paper, we study the reconfiguration supervisor design for reconfigurable manufacturing systems (RMS) that comprise multiple components. We construct a modular supervisor for each configuration and system component in order to realize each active configuration and to quickly change between configurations. Different from the exis...
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...
Redundant tasks in multitasking control of discrete event systems Schmidt, Klaus Verner (null; 2009-12-01) This paper addresses the control of multitasking DES that allow for dealing with liveness properties in the case where multiple classes of tasks have to be independently completed by the system. Colored marking generators (CMG) have been previously introduced as a model to consider multitasking control. The computational cost of the supervisor synthesis for multitasking DES grows with the number of classes of tasks. In this paper we investigate conditions under which removing tasks of the DES model does not...
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems Schmidt, Klaus Verner (2012-12-01) The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Dif...
Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs Acar, Ayşe Nur; Schmidt, Klaus Verner (2015-10-07) This paper considers the supervisory control of discrete event systems (DES) that are subject to faults. To this end, an existing method for the fault-recovery and repair of single faults is extended to the case of different faults. As a result, we obtain a supervisor that follows the specified nominal system behavior in the fault-free case, converges to a desired degraded behavior for each fault type and recovers the nominal behavior after repair. The results of the paper are illustrated by a small example.

Citation Formats

T. Moor and K. V. Schmidt, “Fault-tolerant control of discrete-event systems with lower-bound specifications,” 2015, vol. 28, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/35767.