Computation of supervisors for fault-recovery and repair for discrete event systems

Date

2014-01-01

Author

Sülek, Ayşe Nur
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

183
views

0
downloads

In this paper, we study the fault-recovery and repair of discrete event systems (DES). To this end, we first develop a new method for the fault-recovery of DES. In particular, we compute a fault-recovery supervisor that follows the specified nominal system behavior until a fault-occurrence, that continues its operation according to a degraded specification after a fault and that finally converges to a desired behavior after fault. We next show that our method is also applicable to system repair and we propose an iterative procedure that determines a supervisor for an arbitrary number of fault occurrences and system repairs. We demonstrate our method with a manufacturing system example.

Subject Keywords

Discrete Event Systems , Supervisory Control , Failure-Recovery , Repair

URI

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

DOI

https://doi.org/10.3182/20140514-3-fr-4046.00106

Collections

Department of Electrical and Electronics Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Applied supervisory control for a flexible manufacturing system Moor, Thomas; Schmidt, Klaus Verner; Perk, Sebastian (2010-12-01) This paper presents a case study in the design and implementation of a discrete event system (DES) of real-world complexity. Our DES plant is a flexible manufacturing system (FMS) laboratory model that consists of 29 interacting components and is controlled via 107 digital signals. Regarding controller design, we apply a hierarchical and decentralised synthesis method from earlier work in order to achieve nonblocking and safe closed-loop behaviour. Regarding implementation, we discuss how digital signals tr...
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.
Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems Nooruldeen, Anas; Schmidt, Klaus Verner (2019-11-01) This paper develops a new modeling technique for the supervisory control of FMS in the framework of discrete event systems (DES). In particular, we consider the general case of an FMS, where different product types can share production components and production components can hold multiple products. We first point out that a suitable model for such production component needs to keep track of the product type and the order of products entering and leaving production components. Then, we develop a general met...
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...
Hierarchical control with partial observations: Sufficient conditions Boutin, Olivier; Komenda, Jan; Masopust, Tomas; Schmidt, Klaus Verner; Van Schuppen, Jan H. (2011-12-01) In this paper, hierarchical control of both monolithic and modular discrete-event systems under partial observations is studied. Two new conditions, called observation consistency and local observation consistency, are proposed. These conditions are sufficient for the preservation of observability between the original and the abstracted plant. Moreover, it is shown that both conditions are compositional, that is, they are preserved by the synchronous product. This property makes it possible to use hierarchi...

Citation Formats

A. N. Sülek and K. V. Schmidt, “Computation of supervisors for fault-recovery and repair for discrete event systems,” 2014, vol. 9, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/48110.